Stories by signa11

A neat technique for custom output iterators

Hash Based Trees and Tries

A Primer on Formal Verification and TLA+

Should we stop writing functions?

How to assert for fun and profit (2022)

What Is an Invariant?

Shell tip: print JSON with printf

Tips on how to structure your home directory

Why Git Is Hard

Minor Advances in Knowledge Are Still a Worthwhile Goal

Shift Happens: A book about keyboards

Is Software Engineering Real Engineering?

Safety vs. Performance. A case study of C, C++ and Rust sort implementations

FreeBSD Unix Wallpapers

The Terminal Escapes: Engineering Unexpected Execution from CLI

The 300% Production Problem

Build reliable and secure C++ programs

Choose Boring Technology (2018)

People experience ‘new dimensions of reality' when dying: study

45
46
47
48
49
50
51
52
53
54