Articles borretti.me

Unbundling Tools for Thought

borretti.me·178w·Hacker News

Austral: A Systems Language with Linear Types and Capabilities

borretti.me·60w·Hacker News

You’re Not Going Anywhere

borretti.me·182w

Simplicity and Survival

borretti.me·191w

First Impressions of Mochi

borretti.me·195w

Lessons from Writing a Compiler

borretti.me·200w

Signed Integers are Asymmetrical

borretti.me·239w

Reading a File in OCaml on Windows

borretti.me·243w

Languages are not Ecosystems

borretti.me·243w

Parsing with Menhir, Part I: Forth

borretti.me·247w

Parsing with Menhir

borretti.me·247w

Linear Types and Exceptions

borretti.me·76w·Lobsters

The Uselessness of the Accept-Language Header

borretti.me·339w

Compiling LLVM IR to Binary

borretti.me·339w

Forth and Complexity

borretti.me·339w

Linear Types and Safety

borretti.me·382w

A Bibliography of 2018

borretti.me·386w

FreeBSD with Encrypted ZFS and X11 on a Laptop

borretti.me·404w

Portable Backups with Duplicity and GnuPG

borretti.me·404w

A Case Study in Propositional Logic

borretti.me·417w

Log in to enable infinite scrolling