Handbook of Satisfiability (2021)
iospress.com·12h·
Discuss: Hacker News
Formal Verification
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
wired.com·1d·
Discuss: Hacker News
🌡Entropy
Flag this post
Viruses of the Mind
grokipedia.com·10h·
Discuss: Hacker News
Complex ststems
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·1d
Complex ststems
Flag this post
Modelling beliefs about sets
emiruz.com·4d·
Discuss: Hacker News
Formal Verification
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·11h·
Discuss: Hacker News
Complex ststems
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·8h·
Discuss: Hacker News
Formal Verification
Flag this post
Physicists Have Mathematically Proven the Universe Is Not a Simulation
scitechdaily.com·19h·
Discuss: Hacker News
Complex ststems
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·5h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·8h·
Discuss: Hacker News
🦀Rust
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·6h·
Discuss: Substack
📊Streaming ML
Flag this post
The Abode of Salvation
rohanparanjpe.substack.com·2d·
Discuss: Substack
Complex ststems
Flag this post
William H. Gass: Interviewed by Thomas LeClair – With John Gardner (1979)
medium.com·3h·
Discuss: Hacker News
Complex ststems
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·17h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Mind of a Mathematician (2019)
paw.princeton.edu·3d·
Discuss: Hacker News
🧬Computational Biology
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·7h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Magisterium
isaacbowen.com·2d·
Discuss: Hacker News
Complex ststems
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
Formal Verification
Flag this post
Satisficing vs. Maximizing
longform.asmartbear.com·7h·
Discuss: Hacker News
Complex ststems
Flag this post
Nonlinear dynamics of multi-omics profiles during human aging
nature.com·1d·
Discuss: Hacker News
🧬Computational Biology
Flag this post