What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🧮Theorem Provers
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·2h·
Discuss: Hacker News
🔗Lexical Scoping
Greyscale-box test-driven development
blog.ploeh.dk·2h
🧪Compiler Testing
Effective Software Engineering with Claude Code
reddit.com·8h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·17h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·48m·
Discuss: DEV
🎲Test Generators
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Algebraic Types are not Scary
blog.aiono.dev·11h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·7h·
Discuss: Hacker News
🏛️Elm Architecture
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·17h
🎲Parser Fuzzing
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
🗂️Type Indexing
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·20h·
Discuss: DEV
🌊Dataflow Languages
SOLID Principles for Python Developers
dev.to·6h·
Discuss: DEV
🎭Racket Modules
OpenAI Model Spec
model-spec.openai.com·19h·
Discuss: Hacker News
🛡️Error Boundaries
GuitarPie: Electric Guitar Fretboard Pie Menus
andreasfender.com·6h·
Discuss: Hacker News
💾Register Pressure