YHacker Newsscreenshots

hirrolot.github.io on Hacker News

4 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of hirrolot.github.io: Solving SAT via Positive Supercompilation

Solving SAT via Positive Supercompilation (hirrolot.github.io)

138 points by Hirrolot 2 years ago | 29 comments

Screenshot of hirrolot.github.io: Why Static Languages Suffer from Complexity (2022)

Why Static Languages Suffer from Complexity (2022)(hirrolot.github.io)

115 points by mpweiher 3 years ago | 96 comments

Screenshot of hirrolot.github.io: Compiler Development: Rust or OCaml?

Compiler Development: Rust or OCaml?(hirrolot.github.io)

135 points by bshanks 3 years ago | 90 comments

Screenshot of hirrolot.github.io: How to keep lambda calculus simple

How to keep lambda calculus simple (hirrolot.github.io)

92 points by azhenley 3 years ago | 33 comments