Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2018 (2)
20082026
  1. ▲ 3
    Supercompilation for free with the abstract algorithm
    story by LightMachine · 2018-04-13 · 0 comments
  2. ▲ 1
    Theorem proving VS testing (with a simple example)
    story by LightMachine · 2018-03-22 · 0 comments
  3. ▲ 6
    The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms
    story by LightMachine · 2017-07-30 · 0 comments