max-amb

6 ms·

1.
by max-amb 2mo ago
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.
2.
by max-amb 2mo ago
Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)
3.
by max-amb 2mo ago
Feel free to ask any questions etc. here :)
4.
An introduction to formal proof verification and the Curry-Howard Correspondence(max-amb.github.io)
27 points by max-amb 2mo ago|6 comments
5.
Curry-Howard Correspondence – How proof assistants work [pdf](cklixx.people.wm.edu)
1 points by max-amb 2mo ago|0 comments
6.
by max-amb 2mo ago
Thank you very much brna-2, feel free to email me :)
7.
by max-amb 2mo ago
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.
8.
Zero Knowledge Tolstoyan Art(max-amb.github.io)
40 points by max-amb 2mo ago|22 comments
9.
Some Intuition Behind the Contrapositive(max-amb.github.io)
1 points by max-amb 3mo ago|0 comments
10.
Celebrated British artist David Hockney dies aged 88(bbc.co.uk)
6 points by max-amb 3mo ago|0 comments
11.
by max-amb 4mo ago
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!
12.
by max-amb 4mo ago
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 indi
13.
Turing Machines and Formal Computation(max-amb.github.io)
1 points by max-amb 6mo ago|0 comments
14.
by max-amb 9mo ago
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.
15.
by max-amb 9mo ago
This website seems really well made, and the posts are interesting, thanks for sharing!