returningfory2

7 ms·

1.
by returningfory2 6d ago
Yes, you need to manually verify the statement of the theorem of interest of formalized correctly. But you don't need to anything more than this: you can rely on the proof being correct. And the proof is overwhelmingly the most amount
2.
by returningfory2 7d ago
Yeah I think the verb "removed" is not the right verb here, because the paper in question is OpenAI's hypothetical paper which Alpöge is not on in the first place.
3.
by returningfory2 9d ago
NYC zoning is less limiting than LA, but still extremely limiting.
4.
by returningfory2 9d ago
I agree; that’s why I think we need a moratorium on human drivers while we figure this all out.
5.
by returningfory2 11d ago
Awesome, thank you for sharing!
6.
by returningfory2 11d ago
Very nice. As a follow up would be interesting to also reverse engineer the structure of the vtable itself. I guess it’s a list of pointers to the method implementations?
7.
by returningfory2 1mo ago
I think the issue is that you knew there was a bug to be found in the write and checkpoint interactions, which then determined which workload you built. My understanding is that this workload is very uncommon: the Tailscale blog says they u
8.
by returningfory2 1mo ago
Yep realized this after that my second solution (push a 0 if n is incremented) has the same branch prediction problem. I think yours works. Alternatively in the loop: if out.len() < n { out.push(0); } out[n] = x;
9.
by returningfory2 1mo ago
I disagree in the sense that you can rewrite the code to use the trick and also not allocate in advance. Nothing about the trick requires you to allocate up front: before writing to out[n] you can extend the vector if it’s out of bounds. Or
10.
by returningfory2 2mo ago
Yes the night before you look at your calendar and figure out what time you need to be online at. In general if you want a no-internet 1 hour in the morning, organize yourself to wake up 1 hour earlier (maybe going to sleep 1 hour earlier).
11.
by returningfory2 2mo ago
Consider turning off the internet before you go to bed and not turning it on for at least 1 hour after you wake up. I think I got this idea from Craig Mod (who I believe does no internet until after lunch). I've been doing this for a f
12.
by returningfory2 2mo ago
Nice!
13.
by returningfory2 2mo ago
This information about the NYT is out of date; it's now easy to unsubscribe from anywhere.
14.
by returningfory2 2mo ago
Same with leap days though? The point is that it's weird that we handle a day every 4 years off in a different way to a couple of second being off.
15.
by returningfory2 2mo ago
As one HN comment said years ago: I feel leap seconds have always lived in the wrong abstraction layer. They should live in the same abstraction layer that does leap days and daylight savings: the time zones.
16.
by returningfory2 3mo ago
Fair point. Mainly I agree with the sibling comment: the revealed preference of many people around the world, including many people from the richest countries in Europe, is to move the United States and then settle permanently. I think that
17.
by returningfory2 3mo ago
But the success hasn't ended since the unused land became taken; in fact, the US became a superpower after the westward expansion era. My point is that looking at conditions today, the US still continues to succeed (by some definition
18.
by returningfory2 3mo ago
Given the US is one of the most (the most?) successful countries in recent human history, shouldn't it be the other way around? Shouldn't the 95% be looking at the US and seeing what to copy?
19.
by returningfory2 3mo ago
I've been building a bunch of UIs for my project Texcraft: https://hyphenate.dev and https://ligkern.dev . Texcraft is an attempt to re-implement TeX with a modular/LLVM software architecture. These UIs take
20.
by returningfory2 3mo ago
Thank for the suggestion, implemented it! Now all suggestions have at least one hyphen and one position where the patterns disagree (one pattern says hyphenate, another to not hyphenate). I discovered you don't necessarily need long wo
21.
Show HN: Hyphenate.dev: illustration of TeX's hyphenation algorithm(hyphenate.dev)
5 points by returningfory2 3mo ago|2 comments
22.
by returningfory2 3mo ago
This product is for Postgres deployments that are so large they need to be sharded. For these use cases, I think 20TB is about normal.
23.
by returningfory2 3mo ago
Recently the Supreme Court has curtailed these nationwide injuctions: https://www.scotusblog.com/2025/06/supreme-court-sides-with-...
24.
by returningfory2 4mo ago
Thanks for this great comment! The motivation behind METAFONT is amusing to me because it seems to have some of the same hubris of the most extreme AI proponents nowadays: we can replace art by technology. I'm fascinated with TeX (and
25.
by returningfory2 4mo ago
Your annoyance is understandable, but it's worth remembering: he is not your slave. He does not exist to do things for you. His providing you with something good for a time does not obligate him to provide it to you forever. Because he
26.
by returningfory2 5mo ago
In my experience turning off my phone solves the temptation to check it. The friction of having to turn on my phone is small but apparently enough.
27.
by returningfory2 6mo ago
Or old code referencing the bucket _writes_ data to it, and the attacker can now read it.
28.
by returningfory2 7mo ago
No, Karen overstayed previously by 4 years when visiting Bill, that's why she had B-2.
29.
by returningfory2 7mo ago
These stories usually have some non-trivial factor that is missing in the article. In this case there's a small visible red flag: the two tourists are British but traveling on B visas, rather than using the visa waiver program. Why? We
30.
by returningfory2 8mo ago
Isn't it well known that the "protestors are foreign agents" line is just extremely transparent bs that governments use to silence dissent?

More ›