Viewing profile — the-lazy-guy

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 …

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. Com…

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 …

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. Ru…

> 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,…

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 pro…

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 issu…

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 (…

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 i…

> 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…

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 an…

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…

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 reproducib…

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…

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 th…

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 i…

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 as…

> 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 powe…

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 …

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 si…

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 …

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…