Stories by smasher164

Type Inference (Part 1)

Portsh: A batch/shell polyglot that implements a Lisp

Moby: Block io_uring_* syscalls in default profile

vmcache: Virtual-Memory Assisted Buffer Management [pdf]

WASM typed function references and GC are in standardization

The AST Typing Problem

Libui-ng: a portable GUI library for C (fork of libui)

CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]

How to peacefully grow your service

The Keyword Generics Initiative

Spack – A flexible package manager that supports multiple versions

Here We Go Again: Why Is It Difficult for Developers to Learn Another Language?

Are We Sixel Yet?

Project Everest: Provably Secure Communication Software

Better-Engineered Font Formats, Part 1: Boring Expansion

Shrinkwrap: Taming Dynamic Shared Objects

Better-Engineered Font Formats, Part 1: Boring Expansion

Go’s Version Control History

Calcium: Exact real and complex numbers in C

1