> After doing a bit of research, we decided that the most common real world use cases of zero-knowledge proofs (age verification, crypto, etc) aren’t particularly interesting to us.
Here are real-world uses that I find interesting:
* Gun control opponents sometimes oppose it because of privacy concerns. A ZK proof of good mental health and gun handling skills could be implemented in such a way as to disclose no other information.
* An online ZK identity provider might prove to a new site that a user really exists, without revealing any private information
* Here's an already-implemented use: Kagi uses a zero-knowledge token to allow users access to their tools in such a way that doesn't expose which user they are to Kagi.
I think we don't need to give up privacy to have good things. ZK proofs are one tool that could help that happen
The move away from income taxes (typically progressive) to sales tax (inherently regressive) is a terrible step towards more economic inequality. This sort of regressive taxation is what the political right and left unified AGAINST 115 years ago when the 16th amendment was passed and the US implemented an income tax. The move towards regressive taxation is the worst part of right-wing ideology; it hurts everyone.
States with more progressive income taxes include California, Hawaii, Idaho, Vermont, and DC. DC has the most credits for low-income workers, while CA has the highest rate on high-income earners.
Alaska, Floria, New Hampshire, and Texas have no income tax.
Alabama has a regressive income tax. They didn't even bother to get rid of the income tax to hide the fact that they are going for regressive taxation.
I guess "IR" is "intermediate representation" while "MLIR" [1] ("Multi-Level Intermediate Representation") is an IR from Chris Lattner/LLVM that is designed to be modular and extensible. For the uninitiated, I think [2] shows how the current Julia IR is generated and used in the Julia JIT compilation process
Yes, except these are the devdocs for the current IR: https://docs.julialang.org/en/v1/devdocs/ssair/. I wrote that system about 10 years ago, but it was a bit of a rush job in the lead up to Julia 1.0 in order to be able to do some optimizations that we desperately needed to do. It's held up reasonably well, but it's definitely hit its limitations as Julia's popularity has continued to grow. There've been multiple downstream attempts to use it to do compiler-y things and they've all had middling success (including my own). I think the jankiness of the IR API played a role in that, so this is my attempt to try to start cleaning that up.
I did not see _alternator_'s comment as asinine. I like a venue where people who have some expertise feel comfortable enough to share it, and are not criticized for doing so
I'm no soccer/football expert, but it seems to me that the most common TV camera shots are from the sideline at midfield. The (effective) camera for these shots are from high above one corner of the field, and the field is (effectively) tilted. This camera-on-the-corner shot may be good in some cases, but when showing the live back-and-forth, I'd prefer it to be in in the standard position of midfield, so as to not favor one team or another
One aspect of Huckleberry Finn (the novel) that I think is relevant today is the spectacularly stupid zero-sum conflict between the Grangerfords and the Shepherdsons. It seems relevant to the US's politics and many international conflicts
Definitely Twain and it's not even close. Huckleberry Finn even has the episodic flavor of The Odyssey.
For books you have "The Innocents Abroad", "Roughing It", "The Adventures of Tom Sawyer", "A Tramp Abroad", "The Prince and the Pauper", "Life on the Mississippi", "Adventures of Huckleberry Finn", and "A Connecticut Yankee in King Arthur’s Court".
That's a hell of a lineup and includes a LOT of the flavor of the US as a young country.
I don't see how it's not him, Whitman (the timing of his work is a strong point in his favor, being so concerned with the civil war and that apparently-neveaending struggle in America's metaphorical soul), or maybe Melville though I think he's the weakest of those three. Most other plausible answers are too late in the country's history to take that particular title, for one thing. Irving and Poe are early enough but I don't think either's even close to the combo of clout, staying-power, influence, quality, and breadth of coverage of, specifically, Americanness that one would expect for this (and I like both of them!).
I would agree with other posters that if we allow the search to stretch into the 20th century, odds are we'd end up with a filmmaker or songwriter, but I think we've got our all-around best options already, and they're all (basically) 19th century.
I did. I read some of Twain in high school but didn't really "get it", in hindsight. Then as I grew older and began reading many of Twain's endless quotes it made me want to go read more of his works, and I'm glad I did.
I think high school readings are quite pointless in general, because most kids either aren't mentally developed enough, or aren't going to have the focus, to actually "get" what's being said - at least not beyond the point of cramming enough stuff down to be able to puke it back up on a test/report.
That was certainly the case for me and I think this is extremely common given there are plenty of people that think Huck Finn is a racist book, when the entire underlying message is a never-ending mockery of racism.
> because most kids either aren't mentally developed
I've gone back and read so many books I was supposed to have read in HS and college. I don't think at the time I had the life experience to fully grasp many of the message(s). It's one thing for a teacher or guide to explain in abstract the underlying messages, it's another to have dealt with them in your own life and see yourself in the characters [1].
[1] I always read like I'm one or more of the characters and not simply an observer.
I was raised where Sam Clemens was raised. People not only read the books. They tour his home. They tour the cave from Tom Sawyer. They attend the annual National Tom Sawyer days. They come from all over the world.
Plato (who came long after Homer) complained about "kids these days" not memorizing poetry (like the old farts did) and using that new fangled technology called "writing".
Here are real-world uses that I find interesting:
* Gun control opponents sometimes oppose it because of privacy concerns. A ZK proof of good mental health and gun handling skills could be implemented in such a way as to disclose no other information.
* An online ZK identity provider might prove to a new site that a user really exists, without revealing any private information
* Here's an already-implemented use: Kagi uses a zero-knowledge token to allow users access to their tools in such a way that doesn't expose which user they are to Kagi.
I think we don't need to give up privacy to have good things. ZK proofs are one tool that could help that happen
reply