YHacker Newsscreenshots

fitzgen.com on Hacker News

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

Screenshot of fitzgen.com: Synthesizing Loop-Free Programs with Rust and Z3 (2020)

Synthesizing Loop-Free Programs with Rust and Z3 (2020)(fitzgen.com)

16 points by karelpeeters 1 month ago | 0 comments

Screenshot of fitzgen.com: Garbage Collection Without Unsafe Code

Garbage Collection Without Unsafe Code (fitzgen.com)

101 points by foota 6 months ago | 48 comments