Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·2h
🧠Intelligence Compression
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Fun with Logical Fallacies
fs.blog·3d·
Discuss: Hacker News
🔲Cellular Automata
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
A very short book note
logicmatters.net·5d
⚔️Lean Theorem
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
Oreo's Top K Treats (Bucket Sort)
dev.to·7h·
Discuss: DEV
🌊Streaming Algorithms
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
The Guide to the Foundation Models Framework
azamsharp.com·5h·
Discuss: Hacker News
λLambda Formalization
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·48m·
Discuss: Lobsters
🎼Audio Lambda Calculus
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·9h·
Discuss: DEV
📐Proof Assistants