Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·39m·
Discuss: Hacker News
🔗Lexical Scoping
Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
🔗Concatenative Theory
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·11h
🐍CPython Internals
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🎯Type Theory
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·15h
⏭️Skip Lists
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·6h·
Discuss: DEV
🏗️Cranelift
Folks, we have the best π
lcamtuf.substack.com·12h·
Discuss: Substack
🧮Combinator Calculus
ALIGNS: Unlocking nomological networks in psychological measurement through a large language model
arxiv.org·15h
🔍ML Language
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
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
The success of artificial selection for collective composition hinges on initial and target values
elifesciences.org·19h
🗺️Region Polymorphism
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·13m·
Discuss: r/programming
🚀Tokenizer Performance
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🎭Racket Modules
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·5h
📊Pratt Parsers
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory