Stories by nextos

My favorite device is a Chromebook

The Hitchhiker's Guide to Logical Verification [pdf] (2023)

Applied Regression and Causal Inference

Finding the Truth in Science

Creusot, a deductive verifier for Rust code

Maybe Haskell

Dorothy Bishop on the prevalence of scientific fraud

How to handle a hands-off supervisor

Functional Data Structures and Algorithms: A Proof Assistant Approach

Simple Haskell

CausalPy – causal inference for quasi-experiments

Rich Hickey's Clojure Bookshelf

Key-Locked Rank One Editing for Text-to-Image Personalization

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

1
2
3