My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
Rearchitecting Vector Search: A Migration from MongoDB Atlas to Qdrant
pub.towardsai.net·1d
🚂Cranelift Backend
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.com·2h
💬Smalltalk VMs
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.com·4h
🪢Rope Data Structures
Flag this post
Dynamic Adaptive Traffic Signal Control via Hybrid Reinforcement Learning and Bayesian Optimization
🚂Error Propagation
Flag this post
AI and Data Virtualization: A Symbiotic Relationship For Smart Data Management
↔️Bidirectional Sync
Flag this post
Issue 496
haskellweekly.news·2d
👑Dependent Haskell
Flag this post
Reinforcement learning driven adaptive graph construction for fault diagnosis of chemical processes
sciencedirect.com·2h
✨Effect Inference
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🔬programming language theory
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
Making BtM - Procedurally Generated Puzzles
🎭Erlang OTP
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🔍ML Language
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
💬Interactive REPLs
Flag this post
I built Solveig, it turns any LLM into an assistant in your terminal. Think Claude Code with trust issues
📚Self-Documenting Code
Flag this post
Nonmonotonic Logic
⚖️Inference Rules
Flag this post
Learning C As An Intermediate
🎓Teaching Compilers
Flag this post
Loading...Loading more...