Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Evidence on language model consciousness
lesswrong.com·1h
🎲Parser Fuzzing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·11h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Effect Maps: How Stream-Oriented Programming rethinks effect management
dev.to·3d·
Discuss: DEV
⚡Effect Handlers
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Flag this post
Magisterium
isaacbowen.com·11h·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
An underqualified reading list about the transformer architecture
fvictorio.github.io·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
⚖️Inference Rules
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
Exploring PKM concepts
nhlism.bearblog.dev·8h
🌙Lua
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
⚖️Inference Rules
Flag this post
Oops, My UUIDs Collided
alexsci.com·10h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·13h·
Discuss: Hacker News
💾Persistent Heaps
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·1d
✨Effect Inference
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🚂Error Propagation
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
About writing control systems in C
reddit.com·10h·
Discuss: r/embedded
🔀Control Structures
Flag this post