October 17, 2026
Microsoft 365 Cuts Family OneDrive Storage from 6 TB to 2 TB
techpowerup.com
What mathematicians should know about the Lean Theorem Prover: reliability & AI
terrytao.wordpress.com
Hacker News addiction and taking simple mundane breaks in life
smileplease.mataroa.blog
October 16, 2026
Gitframes
github.com
How to speed up the Rust compiler in September 2026
nnethercote.github.io
Functional Ultrasound Imaging (fUSI) from scratch
neuroai.science
GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design
news.synopsys.com
PlayBook: A Programmable Paper Notebook [video]
youtube.com
October 14, 2026
Our $445M Series D
oxide.computer
Why the Bronze Age Collapsed
worksinprogress.news
Docker has always used microVMs (well since 2016)
dave.recoil.org
CIA Report Warns Israel Could Head Toward Civil War, Total Collapse
dropsitenews.com
The evolution of effective altruism
economist.com
October 13, 2026
Lunatik 5.0: scripting the Linux kernel with Lua, now with eBPF integration
luainkernel.github.io
Telegram Desktop vulnerability allowed any user's file to be stolen
beaksec.github.io
Made by Mechanical Means
felixrieseberg.com
Religious scholars met with Anthropic
nytimes.com
October 12, 2026
Why didn't we get GPT-2 in 2005?
dynomight.net
Font where each token is equal-width
twitter.com
Reasons to Dislike AI Coding
sicpers.info
OpenAI Targets $30B in New Funding at $1.4T Value
bloomberg.com
A statement on the Tor Project's relationship with Mullvad
blog.torproject.org
GPT-6.1 Sol replaces GPT-6 Sol after just 7 days, with near-Astra intelligence
artificialanalysis.ai
Push ifs up and fors down: The idiom, its algebra, and its limits
debasishg.github.io