Can’t Get Enough of the Louvre Heist? Try These Fantasy Books
nytimes.com·3h
🧩Theorem Proving
Flag this post
checking in - october/november
blog.avas.space·19h
🔐Cryptography
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·20h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Think DSP second edition
allendowney.com·21h
⚙Functional Programming
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·20h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
With 80th consecutive 20-point game, Thunder star Shai Gilgeous-Alexander passes Oscar Robertson
nytimes.com·7h
🧫Cellular Automata
Flag this post
Who’s in charge here anyway
anniemueller.com·1d
💭Prolog
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔗Parser Combinators
Flag this post
Modelling beliefs about sets
emiruz.com·6d·
Discuss: Hacker News, Hacker News
🎲Probabilistic Programming
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·1d
⚖Algorithmic Game Theory
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·8h
🔗Parser Combinators
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·8h
🎲Probabilistic Programming
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·8h
🧭SMT Solvers
Flag this post
Automated Figure-Text Alignment & Knowledge Extraction for Scientific Literature
dev.to·14h·
Discuss: DEV
📊Information Theory
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
🔐Cryptography
Flag this post