Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·20h
🗺️Region Inference
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·45m
📜Proof Languages
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
ZTree: A Subgroup Identification Based Decision Tree Learning Framework
arxiv.org·45m
🌳Tree Algorithms
Bricks to Brains: Building AI Accelerators with LEGOs by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🎓Educational VMs
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·11h·
Discuss: Hacker News
🦉Swift Interpreters
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
A Visual Guide to Tuning Gradient Boosted Trees
towardsdatascience.com·1d
🪜Recursive Descent
Metacognitive Reuse: Turning Recurring LLM Reasoning Into Concise Behaviors
arxiv.org·45m
🪜Recursive Descent
List of 87 Programming Ideas for Beginners
inventwithpython.com·7h·
Discuss: r/programming
🌱Tiny Languages
SevenDB : a reactive and scalable database
reddit.com·5h·
Discuss: r/programming
💾Minimal Databases
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·16h·
Discuss: r/rust
🦀Rust Macros
Compiling with Continuations
swatson555.github.io·48m·
Discuss: Hacker News
🔬programming language theory
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·1d
📋Tablegen
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·2d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Inference will win ultimately
i.redd.it·13h·
Discuss: r/LocalLLaMA
⚖️Inference Rules
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·11h
🔗Category Theory
Beware the AI Prophets and their maelstrom of hype, grifters, techno-messiahs, and pseudo-intellectuals
hedgehogreview.com·7h
🌱Minimal ML
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·45m
🧪Parser Testing