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

YHacker Newsscreenshots

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

First screen, captured 9 months ago.

Looks similar

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

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

148 points by ot 2 years ago | 102 comments

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: Locality, and Temporal-Spatial Hypothesis

Locality, and Temporal-Spatial Hypothesis (brooker.co.za)

8 points by jandrewrogers 1 year ago | 0 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: Not Just Scale

Not Just Scale (brooker.co.za)

37 points by eatonphil 2 years ago | 19 comments

Screenshot of brooker.co.za: You Are Here

You Are Here (brooker.co.za)

55 points by mltvc 8 months ago | 68 comments