A Slotted Hash Cons for Alpha Invariance
philipzucker.com·3h·
Discuss: Hacker News
🔗Lexical Scoping
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
Algebraic Types are not Scary
blog.aiono.dev·11h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🎯Finite Automata
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
🗂️Type Indexing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·17h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
SOLID Principles for Python Developers
dev.to·6h·
Discuss: DEV
🎭Racket Modules
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🎭Racket Modules
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·3h
📋Tablegen
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·56m·
Discuss: Hacker News
🏗️Cranelift
A Visual Guide to Tuning Gradient Boosted Trees
towardsdatascience.com·2h
🪜Recursive Descent
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·12h
🪢Rope Data Structures
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·17h
⏭️Skip Lists
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
What Does -> Mean in Python Function Definitions?
realpython.com·7h
🌊Gradual Typing
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