Introduction to Pragmatic Formal Modeling

2022-06-21

An infographic about the etymology of personal computer names

2022-06-21

Ask HN: How to learn mathematical proofs from scratch?

2022-06-19

Toward a Formal Scholarly Understanding of Blockchain-Mediated Decentralization

2022-06-19

Bundle: Armchair Traveler Quarto Books

2022-06-19

Ask HN: UX tips for displaying large numbers formatted

2022-06-18

Show HN: Unclutter — A new approach to reader mode

2022-06-18

Show HN: Using formal methods to write better requirements

2022-06-18

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

2022-06-17

Ask HN: Any good print programming magazines

2022-06-17