Four Ways to Use Wolfram Notebook Assistant This Semester
blog.wolfram.comยท8h
๐Ÿ“Proof Assistants
Friday 18 July, 2025
memex.naughtons.orgยท2h
๐Ÿ›๏ธPhilosophy
ChatGPT is not AI
newsletter.techworld-with-milan.comยท10h
๐ŸŽ™๏ธWhisper
What can we expect of LLMs as Software Engineers?
chelseatroy.comยท3d
๐Ÿ“Text Parsing
Good binding data is all you need
leashbio.substack.comยท1dยท
Discuss: Substack
๐Ÿ—‚๏ธVector Databases
A New Geometry for Einsteinโ€™s Theory of Relativity
quantamagazine.orgยท1dยท
Discuss: Hacker News
๐ŸŒ€Differential Geometry
A distributed systems reliability glossary
antithesis.comยท2dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Archive Fixity
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.ioยท3dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
The Impact of Prompt Bloat on LLM Output Quality
mlops.communityยท14hยท
Discuss: Hacker News
โœจEffect Handlers
Grappling with the Existential Panic over AI
easydns.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.comยท11hยท
Discuss: Hacker News
โš–๏ธEmulation Ethics
Recurrent U-Net-Based Graph Neural Network (RUGNN) for Accurate Deformation Predictions in Sheet Material Forming
arxiv.orgยท21h
๐ŸŒ€Riemannian Computing
Spent the week at one of the top AI research conferences
aol.comยท5hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
๐Ÿง  MCP Servers โ€” The Quiet Engineers Behind Smarter AI
dev.toยท10hยท
Discuss: DEV
๐Ÿ Homelab Archaeology
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Machine Learning Fundamentals: dimensionality reduction
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Linear Algebra
[D] is V-JEPA2 the GPT-2 moment?
reddit.comยท16hยท
Discuss: r/MachineLearning
๐Ÿค–Tape Automation
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.orgยท2d
๐Ÿ”ฒProof Irrelevance
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.orgยท21h
โš–๏ธFeed Ranking
Machine Learning Fundamentals: dropout
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠStream Processing