progscrape: borretti.me

Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

The Design Space of Wikis

35 days ago borretti.me

Emacs Microfeature

3 months ago borretti.me emacs

You Need More Constraints

4 months ago borretti.me database

Type Inference Was a Mistake

5 months ago borretti.me plt

Why Checked Exceptions Failed

10 months ago borretti.me java plt

Type Systems for Memory Safety

13 months ago borretti.me plt rust

Why checked exceptions failed

14 months ago borretti.me

Test Against Reality

14 months ago borretti.me testing

Depth-First Procrastination

15 months ago borretti.me culture

Why Lisp Syntax Works

15 months ago borretti.me lisp

Second-Class References

15 months ago borretti.me plt

NixOS for the Impatient

15 months ago borretti.me nix

Sketch of a Post-ORM

15 months ago borretti.me

Language Pragmatics Engineering

15 months ago borretti.me plt

Two Years of OCaml

16 months ago borretti.me ml ocaml

How Capabilities Work in Austral

16 months ago borretti.me plt

Effective Spaced Repetition

17 months ago borretti.me

The Best of Orion's Arm

17 months ago borretti.me arm

And yet It Understands

18 months ago borretti.me

Design of the Austral Compiler

18 months ago borretti.me compiler

Shells are two things

19 months ago borretti.me api plt unix

Languages are not Ecosystems

19 months ago borretti.me plt

Roam, Twenty Years Before Roam

19 months ago borretti.me

A Brief Defense of XML

20 months ago borretti.me xml

How Austral’s Linear Type Checker Works

19 months ago borretti.me plt rust

Astronomical Calculations for Hard SF in Common Lisp

21 months ago borretti.me lisp

Austral: A systems language with linear types and capabilities

20 months ago borretti.me

Unbundling Tools for Thought

21 months ago borretti.me

Simplicity and Survival

24 months ago borretti.me

Lessons from Writing a Compiler

2 years ago borretti.me compiler