codeflo

7 ms·

91.
by codeflo 1y ago
Or btrfs. I also think that filesystem snapshots are underrated backup strategy, assuming your data fits on one disk (which should be the case for almost all applications outside of FAANG).
92.
by codeflo 1y ago
I wonder to what extent this might be a case where the base model (the pure token prediction model without RLHF) is "taking over". This is a bit tongue-in-cheek, but if you see a chat protocol where an assistant makes 15 random wr
93.
by codeflo 1y ago
I also like the recursion. In essence, you're making a meta-proof about what PA proves, and given that you trust PA, you also trust this meta-proof. > I think just PA+"PA is consistent" is enough? It's not clear to me
94.
by codeflo 1y ago
I'm seriously fed up with all this fact-free AI hype. Whenever an LLM regurgitates training data, it's heralded as the coming of AGI. Whenever it's shown that they can't solve any novel problem, the research is in bad fa
95.
by codeflo 1y ago
I can't shake the feeling that this a dream that was pursued by people who (at least for a time) didn't need the income, and not technology that was under any pressure to actually work. Something like a lifestyle business, but in
96.
by codeflo 1y ago
> have an NPC brief the player on how to find the level exit No, please, no.
97.
by codeflo 1y ago
It isn’t, arguably easier than installing Go (no GOPATH). Rust compile times are really slow compared to Zig or Go though. (Edit: As this seems to trigger some people: I code in Rust. I’m just stating the facts.)
98.
by codeflo 1y ago
I don’t get the difference. In both C and Rust you can have pointers to uninitialized memory. In both languages, you can’t use them except in very specific circumstances (which are AFAIK identical). There are two actual differences in this
99.
by codeflo 1y ago
Is there any advantage to this approach over publishing a separate "zod4" package? That would be just as opt-in and incremental, not bloat download sizes forever, and make it easier to not accidentally import the wrong thing.
100.
by codeflo 1y ago
That's not explaining ownership, that motivating it. Which is fine. The thing that's hard to explain and learn is how to read function signatures involving <'a, 'b>(...) -> &'a [&'b str] or wha
101.
by codeflo 1y ago
This is an issue that plagues modern open-source libraries in general, but the ones you mention, Winit and Wgpu, are particularly awful examples of this disease. Winit turning the event loop inside out might have had a reason on some platfo
102.
by codeflo 1y ago
As I said, >> It was home consoles on televisions where people get the idea from that all CRTs were blurry. The video you linked shows a PS1 game, which proves my point. It's possible you're too young to remember the big di
103.
by codeflo 1y ago
To quote my post that you reply to, it's > a bad approximation that can only result in unnecessarily blurry images
104.
by codeflo 1y ago
> I don't think it has anything to do with display technologies though. I think your two examples nicely illustrate that it's all about the display technology. > The computer is running a service that is resizing images from
105.
by codeflo 1y ago
Good PC monitors (especially in 1995) displayed pixels as almost perfect discrete squares. It was home consoles on televisions where people get the idea from that all CRTs were blurry.
106.
by codeflo 1y ago
This classic article is wrong, BTW, there's no nicer way to put it. It applies the wrong theory. It was already wrong in 1995 when monitors where CRTs, and it's way wrong in 2025 in the LCD/OLED era where pixels are truly dis
107.
by codeflo 1y ago
Ah, the prequels, famous for their kid-friendly themes like senatorial debates and child murder. Nostalgia is a powerful drug, but I think there are objective ways in which the originals were more competently made than the prequels were th
108.
by codeflo 1y ago
Just to be clear, that "speed-up" is not a good thing: Those 100 years were a lot less deadly in total . The World Wars were even shorter and much deadlier still. A possible next full-blown conflict between major powers will only
109.
by codeflo 1y ago
Looking at the green screen shots of that Mustafar fight in Episode III: If that was the actual lighting of the in-camera scene, then it's not a mystery at all that everything in that movie looked so fake.
110.
by codeflo 1y ago
Amplifying stupid can be very deadly, though. In some sense, the printing press caused the 30-year war, and radio brought us World War II. Eventually, society will adapt. I just wish we could find a way to adapt faster than the bad actors d
111.
by codeflo 1y ago
Can't wait to learn the three-letter Tailwind names for these things!
112.
by codeflo 1y ago
It's actually very clear, and there's nothing wrong with admitting you're unfamiliar with the terminology, we all were at some point.
113.
by codeflo 1y ago
Everything about this seems so arbitrary. You look at the powers of an arbitrary number (here, 2), you pick an arbitrary base (here, 10) in which to express those powers, and ask for a random property of its digits (whether they belong to t
114.
by codeflo 2y ago
> Motte: "They got caught getting benchmark data under the table" > Bailey: "one is free to trust their "verbal agreement" that they did not train their models on that, but access they did have." 1. You’r
115.
by codeflo 2y ago
I have a feeling that idea 2 is a recipe for disaster: > Add the tag and the exact string you signed to the object, validate the signature and then validate that the JSON object is the same as the one you got. In cryptographic practice,
116.
by codeflo 2y ago
At first glance, this seems to be in the JodaTime/NodaTime/Js-Joda tradition of representing different "granularities" of date and time information with distinct types, e.g. with and without timezone information. I'
117.
by codeflo 2y ago
That would be great. Instead, we got an article vaguely demanding "transparency" for "untracked" objects, when the motivating example for the article is an object that was actually very well tracked and was launched with
118.
by codeflo 2y ago
I think that's exactly the point. And maybe from a business perspective, that's the correct (if cynical) decision -- the behavior of "activist" groups and/or public outrage seems to be driven purely by optics and sc
119.
by codeflo 2y ago
What's your point?
120.
by codeflo 2y ago
Linux probably has enough eyeballs on its source to make attacks like that unlikely anyway, but Git isn't just used by Linux.

More ›