What works (and doesn't) selling formal methods (galois.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of galois.com: What works (and doesn't) selling formal methods

First screen, captured 1 year ago.

Looks similar

Screenshot of jakob.space: What I've Learned About Formal Methods in Half a Year

What I've Learned About Formal Methods in Half a Year (jakob.space)

149 points by todsacerdoti 3 years ago | 59 comments

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

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

93 points by Thom2503 2 months ago | 66 comments

Screenshot of martinalderson.com: Figma's woes compound with Claude Design

Figma's woes compound with Claude Design (martinalderson.com)

80 points by martinald 6 months ago | 70 comments

Screenshot of gmays.com: Business questions worth asking

Business questions worth asking (gmays.com)

140 points by gmays 3 years ago | 23 comments

Screenshot of harryglaser.com: What I learned selling my company

What I learned selling my company (harryglaser.com)

215 points by hglaser 2 years ago | 66 comments

Screenshot of dactyl.dev: How Dactyl Works

How Dactyl Works (dactyl.dev)

60 points by anorak27 1 month ago | 12 comments