Stories by nextos

Concepts, Techniques, and Models of Computer Programming [pdf]

Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor

DeepComputing RISC-V Mainboard

Programming Paradigms for Dummies [pdf]

Simply Logical: Intelligent Reasoning by Example

Sequoia PGP

Emacs Has No Learning Curve [pdf]

The State of Full-Stack OCaml [video]

Poliovirus that infected a Chinese child in 2014 may have leaked from a lab

Apps for GNOME

Automated programming, symbolic computation, machine learning: my personal view

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

1
2
3