Stories by fanf2

How to Take the Inverse of a Type (2022)

Bidirectional Typing

Syntactic musings on match expressions in Rust

Hokusai Moyo Gafu: an album of dyeing patterns

Zero-cost 'tagless initial' in Rust with GADT-style enums

Nanowar of Steel – HelloWorld.java

The ATS programming language: unleashing the potential of types and templates

A simple ray tracer written in the meson.build language

DejaGNU (2011)

Jujutsu and Magit

AA-56: an astronomical ephemeris calculator program

Roons: Modular Marble Logic

Silent bugs matter: a study of compiler-introduced security bugs

WASM SpecTec has been adopted

Implementation of Dependent Types

Displaying Korean Text Efficiently

Faster remainder by multiplication, with applications to compilers and software

When should a Java JIT compiler expand garbage collection barriers?

Crossness pumping station: seduced by symmetry

40
41
42
43
44
45
46
47
48
49