I would not be so opinionated, modern coding agents derive from chatbot technology. Very different problem domain. They share language but language is universal so that doesn't say much. Then they figured out that the…
Sadly the bullshit asymmetry principle has been supercharged in the AI era though I think many imagined it would be the AI's doing rather than jealous, paranoid humans. Now we have incorrect but widely applied folk…
It also failed to properly model the physics of knights riding wyverns into battle.
There's a large logical leap from "we have very useful raw research data" to "we should give this data only to a small group of people." They explain that "the collaborations empower experts to foster unpacking the…
The tax applies retroactively to the 2026 tax year, even if you moved out sometime this year.
Yes math was my best subject in school, most of my software engineering touches on optimization for automated design. I program various math-flavored things in my spare time.
The only definition given for "we" is "the type of nerds who were attracted to math and software". I can assure you that includes me.
> the type of nerds who were attracted to math and software were into it because we saw it as an art-form Discusses more than their own feelings, they generalize it to any nerd who was attracted to math or software.
AI methods are improving all the time. People think that modern chess engines are more powerful due to hardware advances but search refinements are enough - SF on a Pentium II would destroy even Kasparov and Deep Blue.…
In some amount of time (centuries? decades? years?) it will be trivial for any shmuck to train their own automated theorem prover. If people think they are competing against monolithic data centers they are wrong. The…
> > Like who are we kidding, the type of nerds who were attracted to math and software were into it because we saw it as an art-form, it was a craft, it was being the only one in your city to be able to solve a…
Right so this goes to the other alternative; there's still useful work for mathematicians after all in dissecting, distilling, and generalizing these results. But according to some we now inhabit an excluded middle…
> I cannot say what was missing from the trial because I do not know what was presented there in detail. Most of those claiming utter certainty, know as little as I do. Okay but can you see how this is a different point…
Your math is pretty good, Tesla actually gave the storage tank capacity as 250kg ETA: this is a horrifying amount of energy to be sitting on top of.
> This aligns with my own lived experiences — I didn’t become a theoretical physicist to learn about the universe or better appreciate the beauty of nature myself (that’s philosophy, which I would never be a doctor of).…
Well I think you hit upon an excellent point and one that I'm rather close to, which is legalization. Adopting a uniform procedure to deal with various cases and accord defendants some recourse is admirable. That…
I don't really think there's a need to be so hostile. I don't really know how I feel about subjecting international citizens to US law to be honest with you. Certainly in some cases it's appropriate. But in others it…
Right and you can imagine how much authority the average Russian lends to an American arrest warrant.
If the point is that anyone can tell anyone else anything, that's vacuously true but a court typically wields the power of a state and its code of laws. For treaty countries ICC is perfectly unproblematic but for…
Seems to be a rather silly, pedantic point if it even passes. GP was clearly talking about sovereignty etc. which is exactly the caveat that you granted - that ICC may have no enforcement power over non-treaty…
> Anyone can decide anything, the question is whether it is on their power to enforce their decisions. You seem to have arrived at a suitable definition of "authority"
Current models have undergone massive amounts of RL to "get shit done." There's incentive toward reasoning, but probably little toward elegance. Every engineer is familiar with the impulse to just hack things together.…
Ah thanks for pointing this out, for some reason I had always equated radix sort and bucket sort in my head. But I learned today that this isn't true!
If you try to radix-sort a list of, say, 256-bit numbers you will need a similarly massive number of buckets.
If you sort n k-bit items for a total time of O(nk logn), that scales more poorly in n than multiplying n-word integers. Of course if k is constant you can do radix sort, but I genuinely don't know under what conditions…
I would not be so opinionated, modern coding agents derive from chatbot technology. Very different problem domain. They share language but language is universal so that doesn't say much. Then they figured out that the…
Sadly the bullshit asymmetry principle has been supercharged in the AI era though I think many imagined it would be the AI's doing rather than jealous, paranoid humans. Now we have incorrect but widely applied folk…
It also failed to properly model the physics of knights riding wyverns into battle.
There's a large logical leap from "we have very useful raw research data" to "we should give this data only to a small group of people." They explain that "the collaborations empower experts to foster unpacking the…
The tax applies retroactively to the 2026 tax year, even if you moved out sometime this year.
Yes math was my best subject in school, most of my software engineering touches on optimization for automated design. I program various math-flavored things in my spare time.
The only definition given for "we" is "the type of nerds who were attracted to math and software". I can assure you that includes me.
> the type of nerds who were attracted to math and software were into it because we saw it as an art-form Discusses more than their own feelings, they generalize it to any nerd who was attracted to math or software.
AI methods are improving all the time. People think that modern chess engines are more powerful due to hardware advances but search refinements are enough - SF on a Pentium II would destroy even Kasparov and Deep Blue.…
In some amount of time (centuries? decades? years?) it will be trivial for any shmuck to train their own automated theorem prover. If people think they are competing against monolithic data centers they are wrong. The…
> > Like who are we kidding, the type of nerds who were attracted to math and software were into it because we saw it as an art-form, it was a craft, it was being the only one in your city to be able to solve a…
Right so this goes to the other alternative; there's still useful work for mathematicians after all in dissecting, distilling, and generalizing these results. But according to some we now inhabit an excluded middle…
> I cannot say what was missing from the trial because I do not know what was presented there in detail. Most of those claiming utter certainty, know as little as I do. Okay but can you see how this is a different point…
Your math is pretty good, Tesla actually gave the storage tank capacity as 250kg ETA: this is a horrifying amount of energy to be sitting on top of.
> This aligns with my own lived experiences — I didn’t become a theoretical physicist to learn about the universe or better appreciate the beauty of nature myself (that’s philosophy, which I would never be a doctor of).…
Well I think you hit upon an excellent point and one that I'm rather close to, which is legalization. Adopting a uniform procedure to deal with various cases and accord defendants some recourse is admirable. That…
I don't really think there's a need to be so hostile. I don't really know how I feel about subjecting international citizens to US law to be honest with you. Certainly in some cases it's appropriate. But in others it…
Right and you can imagine how much authority the average Russian lends to an American arrest warrant.
If the point is that anyone can tell anyone else anything, that's vacuously true but a court typically wields the power of a state and its code of laws. For treaty countries ICC is perfectly unproblematic but for…
Seems to be a rather silly, pedantic point if it even passes. GP was clearly talking about sovereignty etc. which is exactly the caveat that you granted - that ICC may have no enforcement power over non-treaty…
> Anyone can decide anything, the question is whether it is on their power to enforce their decisions. You seem to have arrived at a suitable definition of "authority"
Current models have undergone massive amounts of RL to "get shit done." There's incentive toward reasoning, but probably little toward elegance. Every engineer is familiar with the impulse to just hack things together.…
Ah thanks for pointing this out, for some reason I had always equated radix sort and bucket sort in my head. But I learned today that this isn't true!
If you try to radix-sort a list of, say, 256-bit numbers you will need a similarly massive number of buckets.
If you sort n k-bit items for a total time of O(nk logn), that scales more poorly in n than multiplying n-word integers. Of course if k is constant you can do radix sort, but I genuinely don't know under what conditions…