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·1d
🗺️Region Inference
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·6h
📜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·6h
🌳Tree Algorithms
How we integrate best practices in Java
dev.to·31m·
Discuss: DEV
🔧API Design
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·17h·
Discuss: Hacker News
🦉Swift Interpreters
Algebraic Types are not Scary
blog.aiono.dev·2d·
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·6h
🪜Recursive Descent
List of 87 Programming Ideas for Beginners
inventwithpython.com·13h·
Discuss: r/programming
🌱Tiny Languages
SevenDB : a reactive and scalable database
reddit.com·10h·
Discuss: r/programming
💾Minimal Databases
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·22h·
Discuss: r/rust
🦀Rust Macros
Solving a Wooden Puzzle Using Haskell
glocq.github.io·4h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Compiling with Continuations
swatson555.github.io·6h·
Discuss: Hacker News
🔬programming language theory
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Finite Automata
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·2d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·16h
🔗Category Theory
Inference will win ultimately
i.redd.it·19h·
Discuss: r/LocalLLaMA
⚖️Inference Rules
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·3h
🛡️Parser Security