Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·3h
🧠Intelligence Compression
Problem-solving is fundamental to human nature
freethink.com·1h
🔲Cellular Automata
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·5h
📊Graph Databases
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
What Problems to Solve – By Richard Feynman
genius.cat-v.org·2h·
Discuss: Hacker News
⚛️Information Physics
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·5h·
Discuss: DEV
✓Automated Theorem Proving
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·1d
🎯Performance Proofs
BNFGen: A random text generator based on context-free grammars
baturin.org·2h·
Discuss: Hacker News
🌳Context free grammars
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·19h·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·5h·
Discuss: DEV
📏Code Metrics
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·15h
📐Compression Bounds