The Shadows Lurking in the Equations
gods.art·9h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
The limits of zero-knowledge for age-verification
brave.com·1d
🔐Cryptography
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
NEW: Get a lifetime subscription to 1ForAll AI for only $29.99
neowin.net·3h
🧫Cellular Automata
Flag this post
Think DSP second edition
allendowney.com·1d
⚙Functional Programming
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·1d
🧫Cellular Automata
Flag this post
Q&A: How mathematics can reveal the depth of deep learning AI
phys.org·11h
📊Information Theory
Flag this post
Optimizing Datalog for the GPU
dl.acm.org·5h·
Discuss: Lobsters
🗄️Database Theory
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·8h
🔗Parser Combinators
Flag this post
Managing long contexts in agentic coding systems
cto.new·7h·
Discuss: Hacker News
🧠Memory Management
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·19h
🧩Theorem Proving
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Flag this post
MammoClean: Toward Reproducible and Bias-Aware AI in Mammography through Dataset Harmonization
arxiv.org·19h
🎲Probabilistic Programming
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·2d
🧩Theorem Proving
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·19h
🎲Probabilistic Programming
Flag this post
Formal Verification’s Value Grows
semiengineering.com·16h
🧩Theorem Proving
Flag this post