Hacker Newsnew | past | comments | ask | show | jobs | submit | rivetfasten's commentslogin

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 crypto-notarize a third-party wallet token etc blah blah, then it would be interesting.

At the end of the day though, this is about protecting the powerful, not the kids.


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 excited about HE, and I also think we shouldn't be confused that tangible, drastic privacy improvements are an unsolved research problem.

Also the idea of making LLMs consume even more compute is nauseating. This is still good research mind you, but the same effort put into making local LLMs run better/faster on modest hardware would have more social value.


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?


I was under the impression they're doing a chiplet thing to get heterogenous processes for that reason.


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 own.


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.


I use neovim on NixOS and many others do too. I don't see what one has to do with the other.


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!


It blows my mind that most HN users are still impressed by algebraic types but haven't heard about set theoretic types.


They probably just don't know the name. STT is what TypeScript uses, and that's pretty well-known, though a lot of the STT power is considered "advanced typing."

I write a lot in other language that uses ADTs, and I really miss STTs for the ease by which I can construct a "Partial" data type with significantly less boilerplate.

Of course, it also enables laziness, as instead of considerig whether it's proper to have a specific Partial product type, I just create it and move on. Easier to break loosey-goosey on modeling the domain.


There is not much material I can find out, maybe only https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua... that is kind of practical?


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 practice. You're always going to need extras or optimizations.

Rel itself looks really nice, but I have a hard time imagining trying to justify a new query language in business terms. Breaking with SQL completely doesn't seem worth it compared to simply extending or restricting the language like every engine does anyway.

Rel seems to offer more than SQL, it's just hard to assess the value.

A SQL engine whose dialect enforces unique rows and doesn't include NULL isn't even so different from standard.


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 like a serious upgrade since you could install more packages after booting the CD.

I think Knoppix was the original live CD distro though?


I remember running live and then installing from Yggdrasil in the early 90s on 486 with 8MB RAM and 250MB hard disk.

https://en.wikipedia.org/wiki/Yggdrasil_Linux/GNU/X

Really liked Knoppix for a lot of things, though. Used to take it to the county used-sales office and boot the PCs they were selling to test for functionality and Linux compatibility.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: