Of course, if you sneak in a simple patch that an AI agent wrote for you, nobody might notice. The fact is, maintainers of big OSS projects are increasingly dealing with patches in the 10kLOC range, all at once, coming…
Yeah I see now that P in the original post means a _property_, not a _predicate_. That clears it up :)
Uhm, I can see the desire to simplify, but the passage about "reachability" sounds odd. Sure, TLA+ lets you verify whether P is true in every state of every behavior by checking []P. But a _counterexample_ to that…
> It’s not simply to “provide access to hardware resources”; plenty of embedded systems do that with runtimes that have no business calling themselves an “OS”. No, the core purpose of a modern operating system is to…
At some point Intel was experimenting a Xeon with built-in FPGA, maybe they were just a bit too early to the game :)
Well my comment was half in jest, but No Logo talks at length about the encroachment of megabrands into everyday life, and the replacement of the "public sphere" with controlled spaces that conform to the brand's image.…
Naomi Klein is the most vindicated nonfiction writer in modern history.
Entirely different situation. Polymarket is a gambling website and is subject to regulation. In Italy and (I think) Spain, they may shut down connections to a Google Cloud or AWS server _at the IP level_ if they have a…
Yeah the argument here is clear, also rather silly. Either you must accept that your language allows for completely useless computation, or, if the compiler is so good at detecting "unreal programs" it should also…
I can understand adding the 'unreachable' function to the object file, I can even understand plugging it into the final executable, what I (and most other people) object to is making it the de-facto entry point. This is…
> people who aren't able to write correct code are somehow able to write correct mathematical specifications This describes about one or two thirds of the Theoretical CS academic community (conservative estimate) /s >…
To be frank, it is a quite eccentric way to appoint an executive leader: imagine POTUS being chosen by state governors. > She is no less democratically elected than the prime minister of a parliamentary republic Well I…
O(1) insertion is the amortized worst-case time complexity, actually. (Amortized in the sense that the O(n) cost of copying is paid only during the n-th insertion). Average complexity is a slightly different thing.
Ok there is a non-zero chance that they could face a lawsuit and get fined for billions, but that chance is not 1 either: there is always a chance they get away with it. And even if they don't, if in the meantime they…
Norway (Yes this is a YAML pun)
Of course it is not to everyone's taste, but Ikea definitely has an aesthetics. A Lack coffee table or a Poang chair are instantly recognizable.
I also have a fine experience, but only by switching to the For You feed full-time and mostly sticking to my compsci-academic-tech-programming neck of the woods. Minority or not, the users GP mentions are so obnoxious…
Yeah in theorem provers usually the opposite is true: "We want to put as little stuff as possible in the kernel because that's the part we need to verify by hand"
> he had spent the entire weekend trying and failing to prove it. I, on the other hand, had put all my energy into finding a counterexample and had one within an hour. For a more extreme (although somewhat inverted)…
Better at Go for automated reasoning tools, this means quite a lot of array lookups within tight loops. I asked because I noticed some AI agents quickly want to jump on the "eliminate all bounds checks" wagon as soon as…
> Another lesson that Americans have already learned is the peril of excessive financialization of the economy Don't mean to be blunt, but when did that happen? How has a country where you can finance your burrito [1]…
Question from someone trying to get better at Go: _before_ going all in with unsafe pointer operations, would it make sense to write a function harness & profile it with/without the -B flag to determine the actual…
Sure, but those were likely bugs in the compiler's codebase that in principle could be isolated and fixed. With an LLM there is no bug and there is no fixing procedure: all outcomes are context-driven and (more or less)…
Oof that's not a good look. You can trivially avoid this by just prefixing all variable names with a salt. By the way this (or a variant thereof) is called "avoiding unwanted name capture" if you want to sound all…
> it's more of a problem that it's so heavily dominated by US politics. I agree the default Discovery feed is not great, but you can just switch to a different feed like For You or the recent Eurosky version of it,…
Of course, if you sneak in a simple patch that an AI agent wrote for you, nobody might notice. The fact is, maintainers of big OSS projects are increasingly dealing with patches in the 10kLOC range, all at once, coming…
Yeah I see now that P in the original post means a _property_, not a _predicate_. That clears it up :)
Uhm, I can see the desire to simplify, but the passage about "reachability" sounds odd. Sure, TLA+ lets you verify whether P is true in every state of every behavior by checking []P. But a _counterexample_ to that…
> It’s not simply to “provide access to hardware resources”; plenty of embedded systems do that with runtimes that have no business calling themselves an “OS”. No, the core purpose of a modern operating system is to…
At some point Intel was experimenting a Xeon with built-in FPGA, maybe they were just a bit too early to the game :)
Well my comment was half in jest, but No Logo talks at length about the encroachment of megabrands into everyday life, and the replacement of the "public sphere" with controlled spaces that conform to the brand's image.…
Naomi Klein is the most vindicated nonfiction writer in modern history.
Entirely different situation. Polymarket is a gambling website and is subject to regulation. In Italy and (I think) Spain, they may shut down connections to a Google Cloud or AWS server _at the IP level_ if they have a…
Yeah the argument here is clear, also rather silly. Either you must accept that your language allows for completely useless computation, or, if the compiler is so good at detecting "unreal programs" it should also…
I can understand adding the 'unreachable' function to the object file, I can even understand plugging it into the final executable, what I (and most other people) object to is making it the de-facto entry point. This is…
> people who aren't able to write correct code are somehow able to write correct mathematical specifications This describes about one or two thirds of the Theoretical CS academic community (conservative estimate) /s >…
To be frank, it is a quite eccentric way to appoint an executive leader: imagine POTUS being chosen by state governors. > She is no less democratically elected than the prime minister of a parliamentary republic Well I…
O(1) insertion is the amortized worst-case time complexity, actually. (Amortized in the sense that the O(n) cost of copying is paid only during the n-th insertion). Average complexity is a slightly different thing.
Ok there is a non-zero chance that they could face a lawsuit and get fined for billions, but that chance is not 1 either: there is always a chance they get away with it. And even if they don't, if in the meantime they…
Norway (Yes this is a YAML pun)
Of course it is not to everyone's taste, but Ikea definitely has an aesthetics. A Lack coffee table or a Poang chair are instantly recognizable.
I also have a fine experience, but only by switching to the For You feed full-time and mostly sticking to my compsci-academic-tech-programming neck of the woods. Minority or not, the users GP mentions are so obnoxious…
Yeah in theorem provers usually the opposite is true: "We want to put as little stuff as possible in the kernel because that's the part we need to verify by hand"
> he had spent the entire weekend trying and failing to prove it. I, on the other hand, had put all my energy into finding a counterexample and had one within an hour. For a more extreme (although somewhat inverted)…
Better at Go for automated reasoning tools, this means quite a lot of array lookups within tight loops. I asked because I noticed some AI agents quickly want to jump on the "eliminate all bounds checks" wagon as soon as…
> Another lesson that Americans have already learned is the peril of excessive financialization of the economy Don't mean to be blunt, but when did that happen? How has a country where you can finance your burrito [1]…
Question from someone trying to get better at Go: _before_ going all in with unsafe pointer operations, would it make sense to write a function harness & profile it with/without the -B flag to determine the actual…
Sure, but those were likely bugs in the compiler's codebase that in principle could be isolated and fixed. With an LLM there is no bug and there is no fixing procedure: all outcomes are context-driven and (more or less)…
Oof that's not a good look. You can trivially avoid this by just prefixing all variable names with a salt. By the way this (or a variant thereof) is called "avoiding unwanted name capture" if you want to sound all…
> it's more of a problem that it's so heavily dominated by US politics. I agree the default Discovery feed is not great, but you can just switch to a different feed like For You or the recent Eurosky version of it,…