11 Most Important Works by Michelangelo
thecollector.com·3h
Concurrency
Flag this post
The Shadows Lurking in the Equations
gods.art·13h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Think DSP second edition
allendowney.com·1d
Functional Programming
Flag this post
Q&A: How mathematics can reveal the depth of deep learning AI
phys.org·14h
📊Information Theory
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·1d
🧫Cellular Automata
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·2d
🧩Theorem Proving
Flag this post
Programming Languages Lie: Variables Aren’t What You Think They Are
dev.to·3h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·1d
🧮Programming Language Theory
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·22h
🎲Probabilistic Programming
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.to·3h·
Discuss: DEV
🔗Parser Combinators
Flag this post
Formal Verification’s Value Grows
semiengineering.com·19h
🧩Theorem Proving
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·22h
🔗Parser Combinators
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.org·22h
📊Information Theory
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·22h
🎲Probabilistic Programming
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·22h
🎲Probabilistic Programming
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·3h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post