MaiaVictor/articles
Thoughts and stuff
6 best points · 0 comments · 3 Hacker News posts · 73 GitHub stars · View on GitHub
Hacker News discussions
- The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms (6 points, 0 comments, by LightMachine, 2017-07-30)
- Supercompilation for free with the abstract algorithm (3 points, 0 comments, by LightMachine, 2018-04-13)
- Theorem proving VS testing (with a simple example) (1 points, 0 comments, by LightMachine, 2018-03-22)