-- Leo's gemini proxy

-- Connecting to dcreager.net:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;lang=en

Notes


This is my attempt at a creating a digital garden or keeping evergreen notes, inspired by Andy Matuschak.


Building a digital garden

Evergreen notes


Papers


Resizing PDFs to fit the Remarkable

Papers


Front of mind


AI nonsense

Concatenative programming languages

Combinatory logic

Data structures

Distributed systems

Filesystem organization

Formal methods

λ calculus

Languages

LaTeX

Pastry

People

Plan 9

Property-based testing

PyBadge

Redo (make replacement)

Software as craft

Scope graphs

Sets

Stack graphs

Streaming data

Swanson

Theory

Types

-- Response ended

-- Page fetched on Sun May 12 17:00:33 2024