💾 Archived View for dcreager.net › garden.gmi captured on 2024-06-16 at 12:10:42. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-05-26)

➡️ Next capture (2024-08-18)

-=-=-=-=-=-=-

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

Git

λ 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