Formal methods: Just good engineering practice? (brooker.co.za) | HN Screenshots

YHacker Newsscreenshots

Screenshot of brooker.co.za: Formal methods: Just good engineering practice?

First screen, captured 2 years ago.

Looks similar

Screenshot of brooker.co.za: Formal Methods: Just Good Engineering Practice? (2024)

Formal Methods: Just Good Engineering Practice? (2024)(brooker.co.za)

197 points by aiono 1 year ago | 115 comments

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 brooker.co.za: You Are Here

You Are Here (brooker.co.za)

55 points by mltvc 8 months ago | 68 comments

Screenshot of 0x0001.cc: Becoming a Good Engineer

Becoming a Good Engineer (0x0001.cc)

10 points by madmax108 1 year ago | 1 comments

Screenshot of brooker.co.za: What Now? Handling Errors in Large Systems

What Now? Handling Errors in Large Systems (brooker.co.za)

9 points by thundergolfer 11 months ago | 0 comments

Screenshot of brooker.co.za: Invariants: A Better Debugger?

Invariants: A Better Debugger?(brooker.co.za)

59 points by r4um 3 years ago | 37 comments