Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧩Algorithms
Flag this post
Even Numbers Are Tautologies
risingentropy.com·4h·
Discuss: Hacker News
🧮Math
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🧮Math
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧩Algorithms
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·9h·
Discuss: Hacker News
🧩Algorithms
Flag this post
Dynamical Complexity of Non-Gaussian Many-Body Systems with Dissipation
journals.aps.org·49m
🧩Algorithms
Flag this post
Making Sense of Word Problems
kgmathminds.com·10h
🧮Math
Flag this post
Inquiries-Week 5: Triangles Emerge
fractalkitty.com·17h
🧩Algorithms
Flag this post
Book Review: ‘The Great Math War,’ by Jason Socrates Bardi
nytimes.com·15h
🧮Math
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
paperium.net·1h·
Discuss: DEV
📝Note Taking
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·10h·
Discuss: Hacker News
🧮Math
Flag this post
Marden's Theorem
en.wikipedia.org·12h·
Discuss: Hacker News
🧮Math
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·1d·
Discuss: Hacker News
⏰Time Management
Flag this post
A QOJ week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Algorithms
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·1d
💻Programming
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·2d
🧩Algorithms
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·4d·
Discuss: Hacker News
🧩Algorithms
Flag this post
Bit counting and geometric series
veitner.bearblog.dev·6h
🧩Algorithms
Flag this post
Can LLMs subtract numbers?
arxiv.org·1d·
Discuss: Hacker News
🧮Math
Flag this post
California Board of Education Approves Takeoff by IXL, California Edition
prnewswire.com·4h
📝Note Taking
Flag this post