Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·5h
🔐Cryptography
Flag this post
Me consuming five different forms of media at once to minimize the chance of a thought occurring
lesswrong.com·19h
🔢Mathematical Logic
Flag this post
"Can GPT-4 co-author a sacred text? A symbolic experiment in prompting AI
scribd.com·13h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
‘A lot of this is speculative’: faith and fear mix amid $3tn global datacentre boom - The Guardian
news.google.com·15h
🌍Distributed Systems
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
AI Decoded : BBCNEWS : November 2, 2025 10:30pm-11:00pm GMT
archive.org·5h
🔌Network Programming
Flag this post
Automated Starlink Installation Procedure Validation via Bayesian Network Inference
dev.to·23h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
FG-CLIP 2: A Bilingual Fine-grained Vision-Language Alignment Model
paperium.net·2h·
Discuss: DEV
🔗Parser Combinators
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·15h·
Discuss: Hacker News
🧫Cellular Automata
Flag this post
The first thing I did in my new home was set up a 10 GbE LAN
xda-developers.com·13h
🔌Network Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·17h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Handbook of Satisfiability (2021)
iospress.com·16h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·22h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
William H. Gass: Interviewed by Thomas LeClair – With John Gardner (1979)
medium.com·6h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Synthetic Media and Deepfakes: Navigating the Truth Crisis in 2025
thetasvibe.blogspot.com·20h
🤝Protocol Design
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·11h·
Discuss: Hacker News
🔐Cryptography
Flag this post
Unlock Autonomy: Next-Gen LLMs Learn to Decode Themselves by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🔗Parser Combinators
Flag this post
George Boole, Boolean Logic and Computing
i-programmer.info·9h
🔢Mathematical Logic
Flag this post
EP187: Why is DeepSeek-OCR such a BIG DEAL?
blog.bytebytego.com·1d
🤝Protocol Design
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·20h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post