VictorTaelin/articles
View on GitHub ↗ ★ 73 JavaScript
Thoughts and stuff
3 mentions on Hacker News by 1 person: 3 stories, 0 comments · first 2017-07-30 · latest 2018-04-13
20082026
-
▲ 3
Supercompilation for free with the abstract algorithmstory by LightMachine · 2018-04-13 · 0 comments
-
▲ 1
Theorem proving VS testing (with a simple example)story by LightMachine · 2018-03-22 · 0 comments
-
▲ 6
The oracle-free fragment of Lamping's algorithm can evaluate all λ-termsstory by LightMachine · 2017-07-30 · 0 comments