hardmath123

10 ms·

61.
by hardmath123 6y ago
Cool project! Yes, it would be really surprising if this "worked," because SHA256 is meant to be very difficult to reverse. But it's interesting that the failure mode is gradient vanishing as opposed to, say, getting trapped
62.
Conway's Gradient: Reversing Life with differentiable programming(hardmath123.github.io)
28 points by hardmath123 6y ago|2 comments
63.
by hardmath123 6y ago
Once, when I was taking a music theory class, I tried to use the Z3 constraint solver to automatically harmonize melodies… it worked surprisingly well! https://github.com/kach/recreational-rosette/tree/master&
64.
by hardmath123 7y ago
Comfortably Numbered ( http://hardmath123.github.io ) is about how you can learn so much about the world just by thinking deeply about the simplest things — shadows, trees, orchards, laundry, fish. The lesson is to keep your eyes
65.
Hoover Tower Hyperlapse(github.com)
1 points by hardmath123 7y ago|0 comments
66.
Spaghetti's Shadows are Spirali-Shaped (reasoning about PCA on trajectories)(hardmath123.github.io)
4 points by hardmath123 7y ago|0 comments
67.
Words that do Handstands(hardmath123.github.io)
324 points by hardmath123 7y ago|51 comments
68.
Third-Party Dream Cookies(robertheaton.com)
3 points by hardmath123 8y ago|0 comments
69.
(Chromium's) Guidelines for URL Display(chromium.googlesource.com)
1 points by hardmath123 8y ago|0 comments
70.
Proof of Elgamal's semantic security using a reduction to DDH(cryptologie.net)
1 points by hardmath123 8y ago|0 comments
71.
Tuning a Typewriter(hardmath123.github.io)
59 points by hardmath123 8y ago|7 comments
72.
by hardmath123 8y ago
More on this, for the curious: https://codewords.recurse.com/issues/three/algebra-and-calcu...
73.
by hardmath123 8y ago
Ah, we used Morin's excellent book in my undergrad physics class. =)
74.
Physics puzzles(lockhaven.edu)
140 points by hardmath123 8y ago|7 comments
75.
The 9 Lives of Bleichenbacher's CAT: New Cache ATtacks on TLS Implementations(cryptologie.net)
2 points by hardmath123 8y ago|0 comments
76.
by hardmath123 8y ago
Can folks at Stanford come by and watch live? (This is the first I've heard of the Stanford Chess Club…)
77.
In Search of Hess’ Triangle (2014)(chriswhong.com)
53 points by hardmath123 8y ago|8 comments
78.
by hardmath123 8y ago
Oh, wow, beautiful. I wonder if there's a way to rephrase this as a diophantine approximation problem? If one ray must be axis-aligned then of course it's just the convergents for √3, but with two rays it's a little trickier.
79.
I Might Be Spartacus: a differential privacy marketplace(robertheaton.com)
2 points by hardmath123 8y ago|0 comments
80.
by hardmath123 8y ago
> Contactless student ID cards. With contactless student ID cards in Wallet, you can use your iPhone all over campus to access places like your dorm, the library, and events; or pay for laundry, snacks, and dinners. This sounds amazing.
81.
by hardmath123 8y ago
They are the two "Blums" in "Blum Blum Shub."
82.
by hardmath123 8y ago
Frink is like 80% of the reason I passed first-year physics. It's like a typechecker… for science!
83.
In Search of Hess’ Triangle (2014)(chriswhong.com)
2 points by hardmath123 8y ago|0 comments
84.
by hardmath123 8y ago
Hehe, I worked on one of these last year when I took a music theory class! You might enjoy this: https://github.com/kach/recreational-rosette/tree/master/mus...
85.
by hardmath123 8y ago
Yes! SAT solvers are an amazing secret weapon for solving tricky problems. I've been collecting some fun examples of solver-aided programming here: https://github.com/kach/recreational-rosette (also, not in that r
86.
How Tinder keeps your exact location (a bit) private(robertheaton.com)
2 points by hardmath123 8y ago|0 comments
87.
You Cannot Do That(rjlipton.wordpress.com)
2 points by hardmath123 8y ago|0 comments
88.
I Went to Skyrim, Once(robertheaton.com)
1 points by hardmath123 8y ago|0 comments
89.
I Throw Itching Powder at Tulips [pdf] (2014)(dreamsongs.com)
2 points by hardmath123 8y ago|0 comments
90.
by hardmath123 8y ago
I took a physics class taught like that last year, and my experience was the opposite. Because the teaching team expected that students had read and understood the material before class (hint: very few people read it, even fewer understood

More ›