Ericson2314

4 ms·

31.
by Ericson2314 6mo ago
Ah this is very good, both the directionary tracking and getting rid of as much coherence as possible. Yay!
32.
by Ericson2314 6mo ago
Just in time for https://github.com/nix-windows/nix-windows-demo , heh
33.
Show HN: Nix on Windows –- proof-of-concept demo(github.com)
9 points by Ericson2314 7mo ago|0 comments
34.
by Ericson2314 7mo ago
> Before AI, both camps were doing the same thing every day. Writing code by hand. Using the same editors, the same languages, Hell no. I, a craftsman, was going out of my way to use things like Haskell. I was very aware of the divide th
35.
by Ericson2314 7mo ago
There's two possible futures - give up capitalism for information, and rely on UBI and gov grants for art and media - make the market great again with micropayments and subscriptions Both of these have problems, but also both are bette
36.
by Ericson2314 7mo ago
Frankly, if the places that dominate at healthcare delivery efficiency also dominate at research, that could be good for the world. The US having a dogshit healthcare delivery system but so much research means that good vertical integration
37.
by Ericson2314 7mo ago
Came here to say the same thing — 2's abstract claims the exact opposite. Really damning.
38.
by Ericson2314 8mo ago
Yeah I don't think it is incorrect. The NYTimes to me does imply they are running out, because the alternative reasons are a bit more condescending to the users and/ or more subjective. So it begs the question in it looks like the
39.
by Ericson2314 8mo ago
I think the idea was NYT was trying to imply they were running out. To me, "begging the question" doesn't mean assuming the conclusion in particular, it just means that some of the premises used are less obvious than they are
40.
by Ericson2314 8mo ago
My favorite part about Niri is that a bunch of people said that writing a Wayland compositor in Rust was too hard to do for years. Turns out they're wrong!
41.
by Ericson2314 8mo ago
Jon has showed me this before, and I'm very exited! Multiple kernels, one filesystem is the dream. We'll restore competition between kernels by lowering switching costs to zilch, finally solving the problem in the infamous Rob Pik
42.
by Ericson2314 8mo ago
Really need governments to start pushing harder on IPv6 adoption. We need sticks, not just carrots. My favorite is chaos engineering forced IPv4 downtime.
43.
by Ericson2314 8mo ago
No they won't do that, because vibe coding boring tedious shit is easy and looks good to your manager. I'm dead serious, we should be in a golden age of "programming in the large" formal protocols.
44.
by Ericson2314 8mo ago
It's a pity they have to make an entirely new RFC, rather than amend the old RFC. Having independent RFCs and not a single unified "internet standard" under version control is a bit of a bummer in this manner.
45.
by Ericson2314 8mo ago
I think that's just incorrect. There are varying conventions for spaces vs no spaces around em dashes, but all English manuals of style confine to en dashes just to things like "0–10" and "Louisville–Calgary" — at l
46.
by Ericson2314 8mo ago
Also on phones it is really easy to use em dashes. It's quite out in the open whether I posted from desktop or phone because the use of "---" vs "—" is the dead give-away.
47.
by Ericson2314 8mo ago
This is why I think the maximally from source bootstrap that Guix did, and that Nixpkgs is about to do too https://github.com/NixOS/nixpkgs/pull/479322 is so important. These bootstraps essentially speedrun s
48.
by Ericson2314 8mo ago
Framework should get in that same business. I mean, my company buys them, I know at least one other that does too. Both are too technical I think to bother with a hardware support contract. But others might!
49.
by Ericson2314 8mo ago
Solar fucks up the landscape far more than wind
50.
by Ericson2314 8mo ago
US military already has a base there.
51.
by Ericson2314 8mo ago
Every time I read this guy's blog posts, I'm very glad i don't have his career.
52.
by Ericson2314 9mo ago
Mechanism design for better trash economics is hard for the same reasons that making a good linearly typed programming language is hard. I'm not kidding :)
53.
by Ericson2314 9mo ago
Yes I love it too, wish more people appreciated it
54.
by Ericson2314 9mo ago
Stupid populism. Homeownership is bad policy, and I welcome private equity buying it all so we are finally disabused of it. (Of course, they were not buying it all.)
55.
by Ericson2314 9mo ago
I know the customer's couldn't care about the quality of the code they see. But the idea that they don't care about software being bad/laggy/bloated ever, because it "still solves problems", doesn't s
56.
by Ericson2314 9mo ago
The author should try some more modern formal methods. Tools like Lean and Rocq can do arbitrary math — the limit is your time and budget, not the tool. These performance questions can be mathematically defined, so it is possible.
57.
by Ericson2314 9mo ago
Yeah and that's why it's way better than the likes of TLA+.
58.
by Ericson2314 9mo ago
The problem with famous people unretiring and doing something different is they are kind of the nepobaby children of their former career arc selves. I both feel bad for him but am glad he's happier now. Would I would really like bored
59.
by Ericson2314 9mo ago
I didn't mean to do some snide anticaptialism. Making new Postgreses and blenders is really hard. I don't think the startup ecosystem does a very good job, but I don't assume central planning would do a much better job either
60.
by Ericson2314 9mo ago
Grothendieck ended up totally crazy too, unfortunately. Some people might be truthers that his final writings would be made sense of someday, but I don't think that is a responsible hope to carry. The idea that Grothendieck both massiv

More ›