HNHacker News
TopNewBestAskShowJobs

max-amb

28 karma · joined September 20, 2025

submissionscomments
max-amb··on An introduction to formal proof verification and the Curry-Howard Correspondence
Unfortunately I think it may be just a common typo. I suppose it just looked right to me. Sorry to disappoint.

Edit: And to answer your question, no I did not.

max-amb··on An introduction to formal proof verification and the Curry-Howard Correspondence
Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)
max-amb··on An introduction to formal proof verification and the Curry-Howard Correspondence
Feel free to ask any questions etc. here :)
max-amb··on Zero Knowledge Tolstoyan Art
Thank you very much brna-2, feel free to email me :)
max-amb··on Zero Knowledge Tolstoyan Art
Yeah this is true, I suppose I sort of swipe it under the rug in the post. Another way to say it is: If the art is Tolstoyan, then we have that it is valid to be used in the ZKP.
max-amb··on Mathematicians issue warning as AI rapidly gains ground
This seems like an intentionally reductive view on mathematics, however it is true it can be taught like so.

If you are interested, perhaps check out 3Blue1Brown on youtube, they manage to show some of the (very) real beauty in mathematics!

Edit: Also, theoretical computer science is a subset of mathematics, and considering where we are on the internet, I get the feeling you like computer science.

max-amb··on Making Deep Learning Go Brrrr from First Principles
If you want a written resource I have a blog post about the mathematics behind building a feed forward from scratch, https://max-amb.github.io/blog/the_maths_behind_the_mlp/. Kinda focuses on translation from individual components to matrix operations.
max-amb··on Non-Zero-Sum Games
I just found reading it fun, but I didn't skim it so I can imagine its a bit much when skimming, I am not much of a designer. I like the style of whimsy, but I think its just a matter of preference.
max-amb··on Non-Zero-Sum Games
This website seems really well made, and the posts are interesting, thanks for sharing!