What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
⚡Algebraic Effects
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
SOLID Principles for Python Developers
dev.to·4h·
Discuss: DEV
🎭Racket Modules
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·51m·
Discuss: Hacker News
🔗Lexical Scoping
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🎯Finite Automata
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
You can't test if quantum uses complex numbers
algassert.com·7h·
Discuss: Hacker News
⚡Control Synthesis
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·6h·
Discuss: DEV
🏗️Cranelift
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·15h
🎲Parser Fuzzing
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
[ Dialectics, Complexity & the Processual ]
threadreaderapp.com·1d
🎯Type Theory
OpenAI Model Spec
model-spec.openai.com·16h·
Discuss: Hacker News
🛡️Error Boundaries
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·5h
📊Pratt Parsers
original ↗
blog.djnavarro.net·1d
📝Rope Editors
Stop LLM Overkill: My 7-Step Reviewer/Refactor Loop
reddit.com·7h·
Discuss: r/ClaudeAI
🚀Code Motion
Algebraic Types are not Scary
blog.aiono.dev·9h·
Discuss: Lobsters, Hacker News
✅Type Checking
Drug discovery is becoming slower and more expensive over time
en.wikipedia.org·1h·
Discuss: Hacker News
✨Effect Inference