Why don't people use formal methods? (2019) (hillelwayne.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hillelwayne.com: Why don't people use formal methods? (2019)

First screen, captured 2 months ago.

Looks similar

Screenshot of hillelwayne.com: Maybe comments should explain 'what' (2017)

Maybe comments should explain 'what' (2017)(hillelwayne.com)

191 points by zahrevsky 9 months ago | 184 comments

Screenshot of hillelwayne.com: Some silly Z3 scripts I wrote

Some silly Z3 scripts I wrote (hillelwayne.com)

29 points by azhenley 8 months ago | 6 comments

Screenshot of hillelwayne.com: Mostly dead influential programming languages (2020)

Mostly dead influential programming languages (2020)(hillelwayne.com)

215 points by azhenley 1 year ago | 135 comments

Screenshot of alexkondov.com: Use databases without putting domain logic in them

Use databases without putting domain logic in them (alexkondov.com)

58 points by PKop 3 years ago | 108 comments

Screenshot of maxleiter.com: Formatting code should be unnecessary

Formatting code should be unnecessary (maxleiter.com)

315 points by MaxLeiter 1 year ago | 421 comments

Screenshot of hillelwayne.com: A Perplexing JavaScript Parsing Puzzle

A Perplexing JavaScript Parsing Puzzle (hillelwayne.com)

40 points by todsacerdoti 1 year ago | 12 comments