📐 Mathematical Logic - bassam_exe · Scour

The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems 🔢Homomorphic Encryption

Sadhguru explains how being cheated on can be a blessing in disguise 🎭Steganography

timesofindia.indiatimes.com·2d

Assessing large language model responses to pediatric depression FAQs: a cross-sectional study on readability, accuracy, and sentiment 🧬Cognitive Science

frontiersin.org·1d

Gödel, Escher, Bach, Wallace: The "O's, D's and P's" in Infinite Jest 🧠Polymath

chiply.dev·6d·Hacker News

Neuro-psychologist seeking advice on studying logic 📊Mathematics

leiterreports.com·17h

Redesign peer-review rubric with RELAI cycle dimensions and AI collaboration quality · Issue #4 · meleantonio/ludwitt-openclaw ✅Formal Verification

Animated Logical Graphs • 1 ✅Formal Verification

stream.syscoi.com·14h

The 7 Sages of Ancient Greece and Their Quotes of Wisdom 🧠Polymath

thecollector.com·6d

Why Math’s Final Axiom Proved So Controversial 📊Mathematics

quantamagazine.org·1d·Hacker News

Numbers No Machine Can Reach 📊Mathematics

darkomulej.substack.com·9h·Substack

All Rationality is Bounded 🎯Game Theory

philsci-archive.pitt.edu·12h

Explore 30,000+ Olympiad Math Problems 📊Mathematics

mathnet.mit.edu·3h

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda ✅Formal Verification

kid logicus 🤔Philosophy

betweentheskyscrapers.bearblog.dev·2h

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 🌐Complex Systems

philarchive.org·16h·Hacker News

Building an RL Theorem-Proving Workflow on Modal ✅Formal Verification

📊 Patterns Everywhere: Math, Statistics, and the World Around Us 📊Mathematics

news.kapiolani.hawaii.edu·21h

On This Day in Math 📊Mathematics

pballew.blogspot.com·2d·Blogger

Issue 522 🔢Homomorphic Encryption

haskellweekly.news·21h

an education in argument 🤔Philosophy

modernagejournal.com

·2d

Log in to enable infinite scrolling