Problem-solving is fundamental to human nature
freethink.com·11h
🔲Cellular Automata
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
What Problems to Solve – By Richard Feynman
genius.cat-v.org·12h·
Discuss: Hacker News
⚛️Information Physics
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·20h·
Discuss: Hacker News
📐Proof Assistants
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·2d
🎯Performance Proofs
Mastering Laravel's MVC: A Practical Guide for Cleaner Code
dev.to·6h·
Discuss: DEV
🔬Refinement Types
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·1h
🧠Intelligence Compression
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
daily quizzz
dev.to·16h·
Discuss: DEV
λLambda Encodings
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·1h
🧠Machine Learning
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity
Learning from Anatomy: Supervised Anatomical Pretraining (SAP) for Improved Metastatic Bone Disease Segmentation in Whole-Body MRI
arxiv.org·1d
🧠Machine Learning
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
StrataScratch's Advanced 25 Hard SQL Questions
dev.to·2d·
Discuss: DEV
🧠Query Planners
LeetCode 2040 Beginner friendly explanation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity