A Slotted Hash Cons for Alpha Invariance
philipzucker.com·2h·
Discuss: Hacker News
🔗Lexical Scoping
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·17h
⏭️Skip Lists
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·17h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
Power Query Secret Tip to Lightning-Fast Approximate Matches
geeky-gadgets.com·8h
📊Query Optimizers
Rendezvous Hashing Explained (2020)
randorithms.com·1h·
Discuss: Lobsters, Hacker News, r/programming
🔗Hash Algorithms
Day 10 of My Quantum Computing Journey: Where Quantum Magic Really Happens
dev.to·2h·
Discuss: DEV
🏛️Elm Architecture
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·12h
🪢Rope Data Structures
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
From Theory to the Field: Why Side-Channel Protection Defines Post-Quantum Security
design-reuse.com·13h
🏰Capability Machines
Effective Software Engineering with Claude Code
reddit.com·8h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·2h·
Discuss: DEV
🏷️Attribute Grammars
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Unlock 'Magic' Optimization: Smarter Search When Blindfolded by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🔍Fuzzy Indexing
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
🗂️Type Indexing
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
The Monty Hall Problem
i-programmer.info·11h
⏭️Skip Lists
SOLID Principles for Python Developers
dev.to·6h·
Discuss: DEV
🎭Racket Modules
The future of microoptimization
goldenstack.net·2d·
Discuss: Hacker News
🔬Nanopasses