Stories by nextos

Safe and just Earth system boundaries

Oxford University’s other diversity crisis

Britain Is Broken

Why universities are making us stupid

Logic and Proof

Bayesian Learning: Basics, Computation, Approximation, and Futures

A Memristor-Based Bayesian Machine

A Year with Notmuch Mail (2016)

Program Analysis (An Appetizer)

Flâneries

Logic and Computation Intertwined

OCaml 5.0 (prerelease) Manual: Effect handlers

Program = Proof [pdf]

Emacs Version 28.1 Released

Viral by Alina Chan and Matt Ridley Book Review

Let's Prove Leftpad

Program Verification: Vision and Reality

Formal Reasoning About Programs

Program Analysis (An Appetizer)

Program Analysis: An Appetizer

1 2 3