🔤 Typography - nioobers · Scour

LFPL: Revisited and Mechanized λPL Theory

Protect Trans Kids Short Sleeve Shirt 🏗️Brutalist Web

transfigureprintco.com·2d

Erasing Existentials 📐Type Systems

wolfgirl.dev·9h·Lobsters, Hacker News

Thelema λPL Theory

en.wikipedia.org·3h

On the right track in the design of an early typewriter 📼Tech History

·1d

LLemdashes 🔍Tech Criticism

wil.to·10h·Lobsters

Coding on Paper 📝Technical Writing

wickstrom.tech·5d·Lobsters, Hacker News, r/programming

Charlie Holland: Annotate-in-Place Notes with Emacs and org-remark 🌿Digital Gardens

chiply.dev·23h·Lobsters, Hacker News, r/programming

Even More Tagged Union Subsets with Comptime 📐Type Systems

sinclairtarget.com·1d·Lobsters, Hacker News

Saying goodbye to asm.js ⚙️Compilers

spidermonkey.dev·10h·Lobsters, Hacker News

End of the semester λPL Theory

mtendekuyokwa.github.io·1d·Lobsters, Hacker News

Pinchord 🔍Reverse Engineering

Prompts are technical debt too 📝Technical Writing

seangoedecke.com·23h·Lobsters, Hacker News

Type out the code> 💻Programming

haskellforall.com·1d·Lobsters, Hacker News, r/programming

Kaodake ch. 13.2, pg. 9 🎭Cultural Sociology

dynasty-scans.com·6h

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp λPL Theory

hyperpolyglot.org·3d·Lobsters, Hacker News

The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation 🏗️Brutalist Web

smoores.dev·1d·Lobsters, Hacker News, r/javascript, r/webdev

Ordered Adjoint Logic (Extended Version) 📐Type Systems

C++26: More function wrappers λPL Theory

sandordargo.com·1d·Lobsters, Hacker News, r/cpp

A few ways of specifying per-theme colours in only CSS 🏗️Brutalist Web

chrismorgan.info·4d·Lobsters, Hacker News, Hacker News

Log in to enable infinite scrolling