Stored and transmitted data also has to be decoded. With modern datacenter hardware bottleneck is often CPU rather than network or disk (SSD). It depends on specific properties of the data. (I used to work on search…
You should use emacsclient, so file will be actually shared. Or better yet - use GUI emacs with its ability to have multiple frames.
While obviously super-impressive, it is clearly not maintanable without AI agent. It has spinel_codegen.rb is 21k lines of code with up to 15 levels of nesting in some methods. Compilers code was never pretty, but even…
Ok, let me call you out more explicitly. It is clear that most of the code is not written by you. Commit history shows that first a large feature appears out of the blue, then you have a followup series of commits…
https://github.com/whispem/minikv/blob/main/src/coordinator/... Nice, you are the first person I have seen who cares to type in unicode arrow instead of "->" in comments.
Fil-C aborts your program if it detects unsafe memory operations. You very much can write code that is not memory safe, it will just crash. Also it has significant runtime cost. Rust tries to prevent you from writing…
> Once you add static linking to the toolchain (in all of its forms) things get really fucking slow. Could you expand on that, please? Every time you run dynmically linked program, it is linked at runtime. (unless it…
That is exactly what you want to evaluate the thechnology. Not make a buggy commit into softwared not used by nobody and reviewed by an intern. But actually review it by domain professionals, in real world very…
It is called experimentation. That is how people evaluate new technology. By trying to do small things with it first. And if it doesn't work well - retrying later, once bigger issues are fixed.
Hot take: CPython is not an important project for Microsoft, and it is not lead by them. The faster CPython project had questionable acheivement on top of that. Half of Microsoft (especially server-side) still runs on…
This is Stephen Toub, who is the lead of many important .NET projects. I don't think he is worried about losing job anytime soon. I think, we should not read too much into it. He is honestly exploring how much this tool…
> A 15,000-line proof is going to have a mistake somewhere. If this proof is formal, than it is not going to. That is why writing formal proofs is such a PITA, you actually have to specify every little detail, or it…
Thank you. These 2 are well-known, as well as plenty others. But I wanted to see answer from the author of the comment to which I replied. Apart from tests (of which both sqlite and curl have plenty, and that is…
Can you please provide an example of good C code? I agree that absence of tests isn't great, and is very common with many C-based projects. But the rest of your comments reads like "ooh, it's C, disgusting!". I hope,…
Unrelated to suckless, there's a project (confusingly) named stal/IX: https://stal-ix.github.io/ It is also a statically linked Linux distribution. But it's core idea is reproducible nix-style builds (including…
Did you notice that you just devided kids in Loudoun and Baltimore in 2 groups, giving them as examples of different environments? You do not object to premise, only to granularity of defining environment geographically.
Sabotaging any infrastracture harms people. Transitioning to clean energy can be (and is being) sped up by actual peaceful actions. The second talk is especially ridiculous when the speaker suggests to sabotage…
No, it cant. These 2 are semantically not eqivalent, because in async version caller of f1() is resumed only once fetch has completed. In your callback version it will be resumed immediately. Also think how this should…
It's not about syntax. There is a huge difference in implementation and semantics between stackful coroutines (which go uses) and stackless coroutines (which most languages with async/await use). For all practical…
> The community would like to get absolute power so it can just make decisions about military sponsorships beforehand. There is no such thing as "community" when talking about power. Certain people will have power.…
This does not sound as bad as you want it to. Last time I checked, Boeing was responsible roughly for the half of all flights worldwide and fligths are 3 orders of magnitude safer than car trips.
Small correction. Judging by here LinkedIn page (I will not provide link, but it is public), she is not Israeli, she is an american Jew. I think, it is important to point it out since Israeli jews (including Google…
My point is that Twitter is not spiraling out of control into irrelevance, as demonstrated by you and me discussing a twit. And twitter is running relatively fine, as demonstrated by our ability to open pages on that…
You are replying in a thread about a twit though.
I had a brief look at Gates Foundation spending and it does not look like tax dodge to me: https://www.gatesfoundation.org/about/financials/annual-repo... It spent about 10% of its endowment for charity last year.
Stored and transmitted data also has to be decoded. With modern datacenter hardware bottleneck is often CPU rather than network or disk (SSD). It depends on specific properties of the data. (I used to work on search…
You should use emacsclient, so file will be actually shared. Or better yet - use GUI emacs with its ability to have multiple frames.
While obviously super-impressive, it is clearly not maintanable without AI agent. It has spinel_codegen.rb is 21k lines of code with up to 15 levels of nesting in some methods. Compilers code was never pretty, but even…
Ok, let me call you out more explicitly. It is clear that most of the code is not written by you. Commit history shows that first a large feature appears out of the blue, then you have a followup series of commits…
https://github.com/whispem/minikv/blob/main/src/coordinator/... Nice, you are the first person I have seen who cares to type in unicode arrow instead of "->" in comments.
Fil-C aborts your program if it detects unsafe memory operations. You very much can write code that is not memory safe, it will just crash. Also it has significant runtime cost. Rust tries to prevent you from writing…
> Once you add static linking to the toolchain (in all of its forms) things get really fucking slow. Could you expand on that, please? Every time you run dynmically linked program, it is linked at runtime. (unless it…
That is exactly what you want to evaluate the thechnology. Not make a buggy commit into softwared not used by nobody and reviewed by an intern. But actually review it by domain professionals, in real world very…
It is called experimentation. That is how people evaluate new technology. By trying to do small things with it first. And if it doesn't work well - retrying later, once bigger issues are fixed.
Hot take: CPython is not an important project for Microsoft, and it is not lead by them. The faster CPython project had questionable acheivement on top of that. Half of Microsoft (especially server-side) still runs on…
This is Stephen Toub, who is the lead of many important .NET projects. I don't think he is worried about losing job anytime soon. I think, we should not read too much into it. He is honestly exploring how much this tool…
> A 15,000-line proof is going to have a mistake somewhere. If this proof is formal, than it is not going to. That is why writing formal proofs is such a PITA, you actually have to specify every little detail, or it…
Thank you. These 2 are well-known, as well as plenty others. But I wanted to see answer from the author of the comment to which I replied. Apart from tests (of which both sqlite and curl have plenty, and that is…
Can you please provide an example of good C code? I agree that absence of tests isn't great, and is very common with many C-based projects. But the rest of your comments reads like "ooh, it's C, disgusting!". I hope,…
Unrelated to suckless, there's a project (confusingly) named stal/IX: https://stal-ix.github.io/ It is also a statically linked Linux distribution. But it's core idea is reproducible nix-style builds (including…
Did you notice that you just devided kids in Loudoun and Baltimore in 2 groups, giving them as examples of different environments? You do not object to premise, only to granularity of defining environment geographically.
Sabotaging any infrastracture harms people. Transitioning to clean energy can be (and is being) sped up by actual peaceful actions. The second talk is especially ridiculous when the speaker suggests to sabotage…
No, it cant. These 2 are semantically not eqivalent, because in async version caller of f1() is resumed only once fetch has completed. In your callback version it will be resumed immediately. Also think how this should…
It's not about syntax. There is a huge difference in implementation and semantics between stackful coroutines (which go uses) and stackless coroutines (which most languages with async/await use). For all practical…
> The community would like to get absolute power so it can just make decisions about military sponsorships beforehand. There is no such thing as "community" when talking about power. Certain people will have power.…
This does not sound as bad as you want it to. Last time I checked, Boeing was responsible roughly for the half of all flights worldwide and fligths are 3 orders of magnitude safer than car trips.
Small correction. Judging by here LinkedIn page (I will not provide link, but it is public), she is not Israeli, she is an american Jew. I think, it is important to point it out since Israeli jews (including Google…
My point is that Twitter is not spiraling out of control into irrelevance, as demonstrated by you and me discussing a twit. And twitter is running relatively fine, as demonstrated by our ability to open pages on that…
You are replying in a thread about a twit though.
I had a brief look at Gates Foundation spending and it does not look like tax dodge to me: https://www.gatesfoundation.org/about/financials/annual-repo... It spent about 10% of its endowment for charity last year.