🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

The iPhone to get this year
theverge.com·7h
🗜️LZW Variants
Game Programming Patterns
gameprogrammingpatterns.com·1d
⚖️Game Preservation Ethics
(2/4) LLM: Data, Transformers, and Relentless Compute
dev.to·1d·
Discuss: DEV
🧠Learned Codecs
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·5h
📼Cassette Linguistics
Another AI configuration nightmare
markjgsmith.com·14h
🏠Homelab Pentesting
Issue 489
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers
Object Reorientation: Generic Functions
gigamonkeys.com·3d·
Discuss: Hacker News
🔗Lisp
My Lobsters Interview
susam.net·2d
⚙️Proof Engineering
DDD Studies: Between Fishermen and Developers Reflections on my initial studies in Domain-Driven Design
blog.codeminer42.com·3d
🔢Denotational Semantics
The Data Backbone of LLM Systems
infoq.com·3d·
Discuss: Lobsters
🔗Constraint Handling
MiniRust
github.com·1d·
Discuss: Hacker News
🔒Linear Types
Joy & Curiosity #54
registerspill.thorstenball.com·14h
⚙️Proof Engineering
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
💧Liquid Types
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·3d
📝ABNF Parsing
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·6h·
Discuss: DEV
🔗Topological Sorting
You should be rewriting your prompts
maxleiter.com·19h
📝Concrete Syntax
The Truth About Bullshit: On Harry Frankfurt
press.princeton.edu·4h·
Discuss: Hacker News
🏛️Philosophy
The Sacred Conspiracy by Georges Bataille (1936)
marxists.org·1d·
Discuss: Hacker News
🏛️Philosophy
Skill Issue Acceptance
mtende.blog·9h·
Discuss: Hacker News
🔐Capability Systems