Machine Learning Fundamentals: decision trees project
dev.to·12h·
Discuss: DEV
🔗Topological Sorting
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·12h
🌳Context free grammars
Students, here are 5 key things to know when learning how to train large language models
techradar.com·10h
💻Local LLMs
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·10h
🧮Kolmogorov Bounds
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·23h
📊Learned Metrics
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·1d
🌀Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Alignment
languagelog.ldc.upenn.edu·7h
🔄Language Evolution
Asymmetry of Verification and Verifier's Law
jasonwei.net·2h·
Discuss: Hacker News
🔮Proof Search
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Hierarchical Modeling (H-Nets)
cartesia.ai·7h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Historical highlights?
logicmatters.net·16h
🔀Category Theory
A distributed systems reliability glossary
antithesis.com·12h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·12h·
Discuss: Hacker News
🔐CBOR
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·7h·
Discuss: Hacker News
👁️Observatory Systems