max-amb
Re:Type checker may be wrong – Lean and the Curry-Howard correspondence
on Wednesday July 29, 2026 @03:48PM (#49102123)
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.
Re:Type checker may be wrong – Lean and the Curry-Howard correspondence
on Wednesday July 29, 2026 @03:55AM (#49094580)
Yeah sorry about that, was messing with the styles. I have reverted the changes now so hopefully should be ok again :)
Re:Type checker may be wrong – Lean and the Curry-Howard correspondence
on Saturday July 25, 2026 @08:32AM (#49047071)
Feel free to ask any questions etc. here :)
Curry-Howard Correspondence – How proof assistants work [pdf]
Re:Zero Knowledge Tolstoyan Art
on Tuesday July 14, 2026 @01:13PM (#48909996)
Thank you very much brna-2, feel free to email me :)
Re:Zero Knowledge Tolstoyan Art
on Tuesday July 14, 2026 @01:11PM (#48909977)
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.
Zero Knowledge Tolstoyan Art
Some Intuition Behind the Contrapositive
Celebrated British artist David Hockney dies aged 88
Re:Mathematicians issue warning as AI rapidly gains ground
on Wednesday June 03, 2026 @03:36PM (#48388812)
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.
Re:Making Deep Learning Go Brrrr from First Principles
on Saturday May 23, 2026 @09:31AM (#48247527)
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.
Turing Machines and Formal Computation
Re:Non-Zero-Sum Games
on Friday January 02, 2026 @07:18AM (#46464067)
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.
Re:Non-Zero-Sum Games
on Tuesday December 30, 2025 @07:37AM (#46432706)
This website seems really well made, and the posts are interesting, thanks for sharing!