Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
⚖️Inference Rules
Eclectic English Vocab
404wolf.com·2h
🔄Incremental Lexing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·16h·
Discuss: Hacker News
💬Interactive REPLs
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing
The quotation mark
lesswrong.com·3h
📚Factor
Three Meanings of "To Know"
madhadron.com·13h·
Discuss: Hacker News
📋Backus-Naur Form
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·20h·
Discuss: DEV
🌿Trie Structures
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔗Category Theory
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·14h·
Discuss: DEV
🧮Theorem Provers
ECS Implementation
reddit.com·18h·
Discuss: r/cpp
🤖Embedded Go
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·12h·
Discuss: Hacker News
🌲Tree Rewriting
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
The 'Magic' of LLMs: The Function of Language
lesswrong.com·1d
🔍ML Language
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🔢Algebraic Datatypes
Creating a CLI Tool with Node.js
npmjs.com·2h·
Discuss: DEV
⚡Incremental Parsing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·9h·
Discuss: r/programming
🧠Memory Models
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
Discuss: r/programming, r/rust
🪄C Metaprogramming
A grand week
blog.mitrichev.ch·13h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
The theory of omission
samhawken.com·1d
🔬programming language theory