Generalized ADTs, Type Equality, Phantom Types, OCaml

Max Number of Simultaneous Key-Press (N-Key Rollover, NKRO, Ghosting)
xahlee.info·5h·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Hou Tu Pranownse Inglish
zompist.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·7h·
🔧Unikernel Development
Flag this post
Writing a DOS Clone in 2019
medium.com·21h·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·11h·
Discuss: Hacker News
🔤Language Design
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·3d·
Discuss: Hacker News
📦OPAM
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·20h
🔲Cellular Automata
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·1d·
Discuss: DEV
🤖Robotics
Flag this post
Active transfer learning for structural health monitoring
arxiv.org·20h
📚Automata Learning
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·16h·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·20h
🧩Parser Combinators
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·9h
📚Automata Learning
Flag this post
How Powerful AI Gets Cheap
lesswrong.com·7h
🔀Brzozowski Derivatives
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·1d·
📚Automata Learning
Flag this post
Enhanced Slater Determinant Calculation via Hybrid Tensor Decomposition & Adaptive Mesh Refinement
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·2d·
Discuss: Substack
🧩Parser Combinators
Flag this post
Revisiting Model Interpolation for Efficient Reasoning
dev.to·21h·
Discuss: DEV
🧩Separation Logic
Flag this post