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

YHacker Newsscreenshots

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

First screen, captured 3 years ago.

Looks similar

Screenshot of brooker.co.za: Formal methods only solve half my problems

Formal methods only solve half my problems (brooker.co.za)

64 points by signa11 9 months ago | 25 comments

Screenshot of austinhenley.com: My 25-year adventure in AI and ML

My 25-year adventure in AI and ML (austinhenley.com)

169 points by ibobev 1 year ago | 30 comments

Screenshot of agentultra.com: How I learned everything I know about programming

How I learned everything I know about programming (agentultra.com)

45 points by speckx 9 months ago | 29 comments

Screenshot of rkirov.github.io: Why formalize mathematics – more than catching errors

Why formalize mathematics – more than catching errors (rkirov.github.io)

210 points by birdculture 1 year ago | 70 comments

Screenshot of yorickpeterse.com: A decade of developing a programming language

A decade of developing a programming language (yorickpeterse.com)

250 points by YorickPeterse 2 years ago | 127 comments

Screenshot of rkirov.github.io: Learning Lean: Part 1

Learning Lean: Part 1 (rkirov.github.io)

117 points by vinhnx 8 months ago | 15 comments