[dead]
[flagged]
Pascal's wager was not at all anchored to any specific attestations, you are taking his wager and reinterpreting it to give it some kind of legitimacy that it never originally held. The entire point of the wager was to…
If this claim was in writing then it's legally binding in most U.S. states. Technically it's legally binding even if it's not written but in those cases it's harder to prove.
The OP post is misleading because it makes you think Anthropic has to earn 500bn per year in revenue, but those commitments listed are not yearly commitments, they're commitments over 10 years with contracts that run…
These commitments aren't annual though, most of them amount to 10 billion a year commitments for 10 years. Put another way Anthropic has committed 52 billion dollar a year to these companies and their S-1 indicates they…
Jonathan Blow made his own language and compiler because C++ was slow and miserable. He recently released an indie game using that very language using his own 3D engine. The reviews on Steam are Overwhelimgly Positive…
>The only benefit of them seems to be slightly better error messages if someone misuses a template class/function. The error messages are arguably worse with concepts than without them. The primary benefit of concepts…
It's not even that though. Looks like public utilities are only offered in areas where those utilities are cheap to provide or abundant, and private utilities fill in a gap in harder to reach areas. The study even…
It's pretty well established that this blog is LLM generated. The cpp subreddit has recently banned it, for example.
A debugger can't simply subtract 1 from the instruction pointer whenever it receives a SIGTRAP because traps can be generated by things other than INT3, such as single-stepping in which case subtracting 1 would be…
This is the the release of the Roadster introduced 9 years ago. This is what people who put down a deposit (upwards of 250k) back 9 years ago are in line to receive.
>To the extent the theorems in question are impossible to formalize this means the original proof must be in error. Theorems by definition must be formalizable. A theorem is not simply a true proposition, it's a…
I was skeptical about this article's claim about LLMs so I tried it out myself. Looks like there are several layers of pedantry involved, for example, strictly speaking in base C it's undefined behavior to divide by…
This comment seems to be a hypercorrection, where someone attempts to demonstrate superior linguistic knowledge by correcting something that isn't actually wrong in the first place. You've likely heard somewhere before,…
That paper explicitly states that the implementation is proprietary and the paper is not intended to describe the implementation itself. The paper focuses on the design considerations, technical challenges, and lessons…
Can't speak for C# but in C/C++ the optimization can rarely be applied safely due to aliasing. If any part of the data you're working with involves a char* then C/C++ optimizers refrain from doing these kinds of…
It's not about what is charged, it's about what is recommended. Wealthier people are recommended more expensive products while poorer people are recommended cheaper products. They are different products being…
I was under the impression that solving QP optimization problems (subject to constraints) was largely performed by SMO.
That's kind of the point though. There are a ton of alternative underground music and art, but it's not popular and it's even less popular outside of the various countries from which it originates. The same is true of…
AIs do a good job of maintaining their own code, including refactoring, increasing test coverage, ensuring documentation doesn't become stale, updating dependencies. They've been extensively trained to perform pretty…
This is a really bizare argument for anyone who actually knows about options and trades them. If your thesis is that RAM is in a massive bubble and Micron is going to crash when it bursts, you don't express that thesis…
Since 2025 in the U.S. computer hardware qualifies for 100% depreciation in its first year of service.
C++ implementations don't make any sort of special accommodations for UNIX APIs.
[dead]
[flagged]
Pascal's wager was not at all anchored to any specific attestations, you are taking his wager and reinterpreting it to give it some kind of legitimacy that it never originally held. The entire point of the wager was to…
[dead]
If this claim was in writing then it's legally binding in most U.S. states. Technically it's legally binding even if it's not written but in those cases it's harder to prove.
The OP post is misleading because it makes you think Anthropic has to earn 500bn per year in revenue, but those commitments listed are not yearly commitments, they're commitments over 10 years with contracts that run…
These commitments aren't annual though, most of them amount to 10 billion a year commitments for 10 years. Put another way Anthropic has committed 52 billion dollar a year to these companies and their S-1 indicates they…
Jonathan Blow made his own language and compiler because C++ was slow and miserable. He recently released an indie game using that very language using his own 3D engine. The reviews on Steam are Overwhelimgly Positive…
>The only benefit of them seems to be slightly better error messages if someone misuses a template class/function. The error messages are arguably worse with concepts than without them. The primary benefit of concepts…
It's not even that though. Looks like public utilities are only offered in areas where those utilities are cheap to provide or abundant, and private utilities fill in a gap in harder to reach areas. The study even…
It's pretty well established that this blog is LLM generated. The cpp subreddit has recently banned it, for example.
A debugger can't simply subtract 1 from the instruction pointer whenever it receives a SIGTRAP because traps can be generated by things other than INT3, such as single-stepping in which case subtracting 1 would be…
This is the the release of the Roadster introduced 9 years ago. This is what people who put down a deposit (upwards of 250k) back 9 years ago are in line to receive.
>To the extent the theorems in question are impossible to formalize this means the original proof must be in error. Theorems by definition must be formalizable. A theorem is not simply a true proposition, it's a…
I was skeptical about this article's claim about LLMs so I tried it out myself. Looks like there are several layers of pedantry involved, for example, strictly speaking in base C it's undefined behavior to divide by…
This comment seems to be a hypercorrection, where someone attempts to demonstrate superior linguistic knowledge by correcting something that isn't actually wrong in the first place. You've likely heard somewhere before,…
That paper explicitly states that the implementation is proprietary and the paper is not intended to describe the implementation itself. The paper focuses on the design considerations, technical challenges, and lessons…
Can't speak for C# but in C/C++ the optimization can rarely be applied safely due to aliasing. If any part of the data you're working with involves a char* then C/C++ optimizers refrain from doing these kinds of…
It's not about what is charged, it's about what is recommended. Wealthier people are recommended more expensive products while poorer people are recommended cheaper products. They are different products being…
I was under the impression that solving QP optimization problems (subject to constraints) was largely performed by SMO.
That's kind of the point though. There are a ton of alternative underground music and art, but it's not popular and it's even less popular outside of the various countries from which it originates. The same is true of…
AIs do a good job of maintaining their own code, including refactoring, increasing test coverage, ensuring documentation doesn't become stale, updating dependencies. They've been extensively trained to perform pretty…
This is a really bizare argument for anyone who actually knows about options and trades them. If your thesis is that RAM is in a massive bubble and Micron is going to crash when it bursts, you don't express that thesis…
Since 2025 in the U.S. computer hardware qualifies for 100% depreciation in its first year of service.
C++ implementations don't make any sort of special accommodations for UNIX APIs.