Ericson2314

7 ms·

61.
by Ericson2314 9mo ago
Every time I refactor a bunch and then the new feature just falls out for free, I solute Grothendieck. It's baby-mode, but it's still the rising sea method.
62.
by Ericson2314 9mo ago
I know what you are talking about, but there is more to life than just product-market fit. Hardly any of us are working on Postgres, Photoshop, blender, etc. but it's not just cope to wish we were. It's good to think about the nee
63.
by Ericson2314 9mo ago
We don't know what Opus 5.0 will be able to refactor. If argument is "humans and Opus 4.5 cannot maintain this, but if requirements change we can vibe-code a new one from scratch", that's a coherent thesis, but people ne
64.
by Ericson2314 9mo ago
Mercatus Center...Free Press...dropping Scott Alexander amid early modern English bible translations...I get the sense that some nostalgic conservative donors want to bankroll the second coming of William Safire, with just the smallest of u
65.
by Ericson2314 9mo ago
Yes people want to mentally rotate, but that's not correct. This is not a "geometric" coordinate system independent operation. IMO this is a basic risk to graphs. It is great to use imagery to engage the spatial reasoning par
66.
by Ericson2314 9mo ago
Nothing you write here is not compatible with regular version control systems
67.
by Ericson2314 10mo ago
Ah OK, there are workday/weekend and vacation/no-vacation cycles. Gotcha. Well, to the extent the rich country laggards are institutional, then regulation should be more effective!
68.
by Ericson2314 10mo ago
https://www.google.com/intl/en/ipv6/statistics.html it's still going up (we are in some sort of cyclic downturn right now that I don't understand). Next year that chart will finally cross 50%. It wa
69.
by Ericson2314 10mo ago
Yes it is context dependent, but the parent comment was acting as if it was just better. I wanted to correct that.
70.
by Ericson2314 10mo ago
If you use it and stop using it, the OS cannot reclaim the pages, because it doesn't know that you've stopped. At best, it can offload the memory to disk, but this waste disk space, and also time for pointless writes.
71.
by Ericson2314 10mo ago
Morally, I think the US should be involved, but practically, we have shown ourselves to be baffoons, and Europe really needs: 1. A common enemy 2. Reason for further integration (EU-level federation is woefully incomplete) 3. Reason for hea
72.
by Ericson2314 10mo ago
Desalination will be a West Coast thing. The East Coast has abundant fresh water.
73.
by Ericson2314 10mo ago
The writing style here is so belittling, and frankly stupid. E.g. "billion is so big!", uh, I've heard of a billion before, and then comparing the value of a company to a single person's salary, as if that was very relev
74.
by Ericson2314 10mo ago
IMO Go itself encourages slop — whether human- or machine-written, so this guy really has no leg to stand on.
75.
by Ericson2314 10mo ago
That one is good too, yes indeed.
76.
by Ericson2314 10mo ago
If you read the lord of the rings faster, you run out of lord or the rings sooner — there's no away around this. But if you eat faster, you can just eat more food. You can eat just as long, and end up feeling just as full. There is no
77.
by Ericson2314 10mo ago
I love em dashes — they are just so pretty. But the en dash also needs more love. 1 out of every, say, 7–15 of the hyphens I see should be en dashes instead.
78.
by Ericson2314 10mo ago
That's an intentional overcorrection for humor
79.
by Ericson2314 10mo ago
I've long wondered about this ratio! Does anyone know? I wouldn't be surprised if the answer is "no".
80.
by Ericson2314 10mo ago
The Nixpkgs example is not like the others, because it is source code. I don't get what is so bad about shallow clones either. Why should they be so performance sensative?
81.
by Ericson2314 10mo ago
yeah, the story felt fishy without mentioning those.
82.
by Ericson2314 10mo ago
> The answer was as unhelpful as possible Uh I think I think that's way too mean to the email. From a random web form they got some technical information, a useful CC, and offer to have a call. Not bad at all! Also, my basic theory
83.
by Ericson2314 10mo ago
I'm sympathetic to the general point, but with food, you can always just eat more! Best of both worlds!
84.
by Ericson2314 10mo ago
Then I'm surprised you agreed with any of what I wrote!
85.
by Ericson2314 10mo ago
I'm talking great libraries in great languages. Like how the kmettverse revolutionized writing Haskell. Libraries that make you completely reconsider what it is you're trying to do. Most people use shit libraries in shit languages
86.
by Ericson2314 10mo ago
As cars go to shit, I'm more and more glad I live in NYC and mainly use public transportation
87.
by Ericson2314 10mo ago
Formal verification is going mainstream as watercooler weakend project fodder. As someone that has been well-versed in functional programming and depedent types for over a decade, this is a vast improvement. The hobby project to day job met
88.
by Ericson2314 10mo ago
> To me, panic is the most laziest and worst ways to put in a specification. This why the "existing programs don't have specs!" Hand-ringing is entirely premature. Just about every code base today has error modes the autho
89.
by Ericson2314 10mo ago
This blog post is out of its depth - Lean will optimize peano arithmetic with binary bignums underneath the hood - Property based checking and proof search already exist on a continuum, because counterexamples are a valid (dis)proof techniq
90.
by Ericson2314 10mo ago
https://clash-lang.org/ we've already done the research! Circuits are just functional programming (the vast majority of the time). We just need the toolchains to be opened up.

More ›