Ask a techspert: What is inference?
blog.google·2d
📊Quantization
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Guide to the Foundation Models Framework
azamsharp.com·7h·
Discuss: Hacker News
λLambda Formalization
Godel's Incompleteness Theorem
news.ycombinator.com·4h·
Discuss: Hacker News
🔤Type Theory
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·6h·
Discuss: Substack
🦀Rust Macros
Machine Learning Fundamentals: active learning project
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
✓Automated Theorem Proving
BNFGen: A random text generator based on context-free grammars
baturin.org·3h·
Discuss: Hacker News
🌳Context free grammars
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Briefing on Logistic Regression
blog.engora.com·8h·
Discuss: Hacker News
🧠Machine Learning
daily quizzz
dev.to·7h·
Discuss: DEV
λLambda Encodings
Why Dyad?: A Perspective for Modelica Users
juliahub.com·6h·
Discuss: Hacker News
💧Liquid Types
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·13h·
Discuss: DEV
📐Error Bounds
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·17h
🔗Topological Sorting
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·10h·
Discuss: Hacker News, r/programming
🔗Lisp