rivetfasten

7 ms·

1.
by rivetfasten 5d ago
Colorado and a few other states have zero knowledge proof apps capable of this. This is fantastic, except that the idea of mandatory government software only available on chosen proprietary platforms feels way worse. If there were a way to
2.
by rivetfasten 9d ago
It seems to me that plenty of privacy-preserving techniques already exist, don't require research level technology, don't take 100x the energy and time... and average people still can't or don't use them. I'm excite
3.
by rivetfasten 18d ago
The discussion about cpu caching challenges etc seems like it's missing the point. Wouldn't it be more likely to DMA the results to a GPU anyway?
4.
by rivetfasten 18d ago
I was under the impression they're doing a chiplet thing to get heterogenous processes for that reason.
5.
by rivetfasten 19d ago
My b&w laser from brother has been working perfectly for over 10 years. No software installation. Wifi, Ethernet, or USB. Everything I need and nothing I don't. Color would be nice but I've never seen it be worth the hassle to
6.
by rivetfasten 22d ago
That works fine for some crypto algorithms, but as stated in the paper not for everything. As I understand it, this proof needs to support conditionals for example.
7.
by rivetfasten 28d ago
I use neovim on NixOS and many others do too. I don't see what one has to do with the other.
8.
by rivetfasten 1mo ago
It blows my mind that Algebraic types are only just breaking into the mainstream. Someone told me Rust invented them, which is funny because Rust wasn't around in 1961!
9.
by rivetfasten 1mo ago
It's very nice that SQL dbs have the same bones such that a migration between them is even reasonable for a small team. That said I've led such a migration, and there's no such thing as "standard SQL" in real practi
10.
by rivetfasten 3mo ago
Knoppix was the first Linux distro I ever tried back in the early 2000s. IIRC it was only a few hundred megs. At the time it didn't have the overlayfs feature which often felt limiting since most directories were read only. Slax felt l
11.
by rivetfasten 3mo ago
Cool, I'll have to try it in the next 18 months before they turn it down.
12.
by rivetfasten 6mo ago
"... the equivalent of a broadcast TV channel that only showed 7 minutes of actual TV content per hour, devoting the other 53 minutes to paid commercials and promotions ... Almost no one would watch such a channel." QVC exists. Th
13.
by rivetfasten 6mo ago
Thanks for the post! Question: While you would want any official arch built natively, maybe an interim stage of emulated vm builds for wip/development/unsupported architectures would still be preferable in this case? Comparing the
14.
by rivetfasten 6mo ago
I don't know the reason TextFormat was invented, but in practice it's way easier to work with TextFormat than JSON in the context of Protos. Consider numeric types - JSON: number aka 64-bit IEEE 754 floating point Proto: signed an
15.
by rivetfasten 7mo ago
This looks really nice! I'm excited to see it and am left with questions from perusing the site. Let me know if I missed it. It's simple and also has an excellent choice of where to invest in powerful features. It looks like an el
16.
by rivetfasten 8mo ago
> Of course, we've been told to never accept a counter offer at your job. Do you have a example article? I haven't encountered the advice, but I'm curious if the reasoning matches my guess.
17.
by rivetfasten 9mo ago
Who reaches for a tool they forgot about? Few organizations invest in solutions only understood by one or two individuals on their team. This is actually what prevents undergraduate cs knowledge from having an impact. It makes me sad. Under
18.
by rivetfasten 11mo ago
I was about to mention this too. Compare: "import a specific lightweight library and wire together as needed" vs "write the whole app in terms of a bloated framework". I've been out of the frontend game for a while,
19.
by rivetfasten 1y ago
The West Wing has such a good clip about this: https://youtu.be/vVX-PrBRtTY?si=05KQjltJ8fVsqMDw
20.
by rivetfasten 1y ago
It's always a matter of chasing the bottleneck. It's fair to say that network isn't the bottleneck for most applications. Heuristically, if you're willing to take on the performance impacts of a GC'd language you&#x