the-lazy-guy

6 ms·

1.
by the-lazy-guy 1mo ago
This is absolutely a JIT-compiler. It compiles code into machine code. This is a surprisingly efficient way to get noticeable speedup relative to interpretation. Also it is much safer than proper optimising compiler. Say ebpf jit-compiler f
2.
by the-lazy-guy 4mo ago
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 index implementation whi
3.
by the-lazy-guy 4mo ago
You should use emacsclient, so file will be actually shared. Or better yet - use GUI emacs with its ability to have multiple frames.
4.
by the-lazy-guy 5mo ago
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 by those standard, I
5.
by the-lazy-guy 9mo ago
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 removing "useless&quo
6.
by the-lazy-guy 9mo ago
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.
7.
by the-lazy-guy 10mo ago
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 memory-unsafe code. But
8.
by the-lazy-guy 1y ago
> 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 explicitly avoids li
9.
by the-lazy-guy 1y ago
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 well-tested project. So they
10.
by the-lazy-guy 1y ago
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.
11.
by the-lazy-guy 1y ago
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 dotnet. And there are
12.
by the-lazy-guy 1y ago
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 can help him to
13.
by the-lazy-guy 1y ago
> 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 doesn't work at
14.
by the-lazy-guy 2y ago
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 obviously good), I don'
15.
by the-lazy-guy 2y ago
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, I&#
16.
by the-lazy-guy 2y ago
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 (includi
17.
by the-lazy-guy 2y ago
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.
18.
by the-lazy-guy 2y ago
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 datacenters, because they use
19.
by the-lazy-guy 2y ago
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 be translated: fu
20.
by the-lazy-guy 2y ago
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 purposes gorouti
21.
by the-lazy-guy 2y ago
> 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. Maybe wider
22.
by the-lazy-guy 2y ago
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.
23.
by the-lazy-guy 3y ago
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 employees I know) have a
24.
by the-lazy-guy 3y ago
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 website.
25.
by the-lazy-guy 3y ago
You are replying in a thread about a twit though.
26.
by the-lazy-guy 3y ago
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.
27.
by the-lazy-guy 4y ago
> In my experience when a smaller company starts to writes tools that solve the imaginary problems of the CTO they are not focusing on solving customer problems and this usually ends badly. Like writing their own web framework in obscur
28.
by the-lazy-guy 4y ago
This is awesome! I use it since initial "gccemacs" announcements. It is still order of magnitude slower than JS. Dynamic binding, ability to redefine or advice any function and fundamentally cache-unfriendly core datastructures (c
29.
by the-lazy-guy 4y ago
I disagree. When I am running a compilation (with output being dumped into a visible buffer) + query magit for large commit. Over tramp. Things noticeably freeze. Technically it all is async. Practically, it is implemented as polling things
30.
by the-lazy-guy 4y ago
As an emacs user I have to say that IntelliJ (and pretty much any modern IDE) feels snappier than emacs configured to do anything comparable (lsp-mode/eglot, corfu/company, tree-sitter etc). While IDEs may require more resources,

More ›