norswap

11 ms·

61.
by norswap 3y ago
There are essentially two use cases for "zero-knowledge" proofs: 1. Zero-knowledge That's proving a statement without revealing information, this is the example your're giving. For instance, you could prove that you have
62.
by norswap 3y ago
Cairo is written in such a way that the execution of a Cairo program can be proven by a zero-knowledge proof. So it optimizes for things that are easier to prove.
63.
by norswap 3y ago
Twitter literally lets you log in to multiple accounts from the same session. You can reuse the same emails & phone numbers too. So contrary to what you say, the practice of having "alts" is pretty much encouraged.
64.
by norswap 4y ago
I thought the headline was about saving millions of lifes and got really confused for a hot minute.
65.
by norswap 4y ago
Shameless plug for my compiler class, fully available on YouTube: https://norswap.com/compilers/
66.
by norswap 4y ago
Switzerland's neutrality is a fact of geopolitics. The geography of Switzerland means a big part of the country is essentially a natural fortress with bunkers cut directly into the mountain and firing down. There is a reason the Nazis
67.
by norswap 4y ago
It's fairly easy to teach the behaviour of LR parsers (though which grammars end up being LR and which end up conflicting is very inintuitive). It's much harder to teach the inner working / implementation of such parsers. T
68.
by norswap 4y ago
Shameless plug: https://www.youtube.com/playlist?list=PLOech0kWpH8-njQpmSNGS... The first half of the course is on parsing. I'm hoping I'm giving a lot of examples and there is some coding (using PEG, which is clo
69.
by norswap 4y ago
This is a pretty neat approach to parsing by hand, and it's probably helpful to build intuition about LR. Basically if you give an explanation of LR including shifts and reduces, then you can show how that maps to the hand-written pars
70.
by norswap 4y ago
The trick is to pass down previous syntax nodes so that you can continue consuming input (via top down recursive descent) but build the syntax tree bottom up still. This is exemplified in the two definitions of `parse_add_addexpr_cont` in t
71.
by norswap 4y ago
SUNSET the employees.
72.
by norswap 4y ago
Could they have done better? Sure. Hindsight is 20/20. Would it have been a reasonable assumption? No. As pointed out in the parent, every bank pretty much works like this, they're all liable to go under in the presence of a big e
73.
by norswap 4y ago
It's important to note that WorldCoin does not get to see the retinas, whose picture never leave the orb (and are deleted after the fact), but only a hash of them. The orb's hardware blueprints and the software is open source too.
74.
by norswap 4y ago
As a seasoned engineer (compiler background), but beginner in frontend, I'm curious aboutthe lack of expressive power that Svelte incurs. Could you (or someone) characterize things that are hard to do in Svelte?
75.
by norswap 4y ago
Some of Google's biggest successes are YouTube and Android, which were both acquisitions.
76.
by norswap 4y ago
I hope he succeeds at making something great. However, I'd have one criticism of this (which I've had of other projects including some I've been associated with), and it's that if you're trying to make something rad
77.
by norswap 4y ago
There's stuff like this on Arte (Franco-German culture TV channel) all the time.
78.
by norswap 4y ago
If you look at the numbers, more crypto market cap (both in % and absolute amounts) was lost before any of the scandals than after.
79.
by norswap 4y ago
> Could this mounting unrest be as a result of the seeming inability of the US Federal bank in checking inflation of the US Dollar. This is completely backwards. The problem right now is that the dollar is too strong , meaning expensive
80.
by norswap 4y ago
Another problem is the bank run that this narrative created.
81.
by norswap 4y ago
Go is a moderately better C. In terms of expressivity, it is ages behind C++. It also has a garbage collector, which while fine for most use cases is not acceptable for some use cases that C/C++ (and now Rust) are being used for.
82.
by norswap 4y ago
It's fully open source still (as it has always been), it just won't be part of OpenJDK.
83.
by norswap 4y ago
So what's the serious laptop choice for the professional, besides Apple? (not that Apple is without its own problems, at least in some generations)
84.
by norswap 4y ago
This won't convince anyone. The truth is that Twitter thread get a ton of engagement that articles don't — even if you post them on Twitter. Leaving the platform, particularly on mobile, is additional friction that readers might n
85.
by norswap 4y ago
Quick notes: - Your website says "Etherium" instead of "Ethereum" btw. - Also "Is there ... fees" instead of "Are there ... fees" - Link to the demo video doesn't work. Otherwise sounds cool, but
86.
by norswap 4y ago
Sane policies like shuttering nuclear (in favour of more coal and reliance on Russia)? Yikes
87.
by norswap 4y ago
Are you sure they're ideologically against it, or where they against it because they were in the opposition and it was convenient for them to be?
88.
by norswap 4y ago
Why do you assume they're holding the money for legimitate reasons? I count as much more likely they're just fucking up and have no idea or don't care enough. Plenty of example of this, event amongst top tech companies: see t
89.
by norswap 4y ago
Also that the protagonist (Wilhelm of Orange) has always respected the Spanish king.
90.
by norswap 4y ago
What are the advantages of this being its own language vs a DSL?

More ›