Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·44m·
Discuss: Hacker News
🔗Lexical Scoping
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·15h
🧠Semantic Parsing
Enterprise Design Patterns: Building Scalable Applications
dev.to·1d·
Discuss: DEV
🎭Racket Modules
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
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
ECMAScript TC39 proposal-pattern-matching
github.com·5h·
Discuss: Hacker News
🎯Pattern Matching
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·18m·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
A Kevin week
blog.mitrichev.ch·22h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·7h
🌱Minimal ML
Computing Pairings on Elliptic Curves with Embedding Degree Two via Biextensions
eprint.iacr.org·3d
🧮Combinator Calculus
Basic Guide to Einsum
ajcr.net·23h·
Discuss: Hacker News
🔄Loop Optimization
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
Muon for Improved Foundation Model Pretraining Data Efficiency
building.nubank.com·1h
📋JSON Parsing
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·6h·
Discuss: DEV
🏗️Cranelift
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures