📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Garbed in Silver
mguhlin.org·19h
📝Write-Ahead Log
The Real Stakes, and Real Story, of Peter Thiel’s Antichrist Obsession | WIRED
wired.com·8h
🏛️Politics
The End Of An Era: The Mac division undergoes an inconceivable reorganization
folklore.org·17h·
Discuss: Hacker News
📱New tech trends
Why are Big Tech companies a threat to human rights?
amnesty.org·15h·
Discuss: Hacker News
⚖️Tech Regulation
Trees, targets and trillions: What's on the agenda at COP30?
phys.org·5h
🌍Climate
Oh Loneliness pt.1
dustbunnyarchives.bearblog.dev·18h
🏠Small tech services
Charles Fourier's cybernetic utopia of fulfilled desires
kubicki.org·23h·
Discuss: Hacker News
🎭Claude
Nielsen Norman Group on iOS 26 usability
anderegg.ca·23h·
Discuss: Hacker News
📱New tech trends
The Coming AI Backlash
foreignaffairs.com·10h·
Discuss: Hacker News
🚫Economic Sanctions
The 2025 Semi Industry Forum: On the Road to a $1 Trillion Industry
semiwiki.com·1h
💎Semiconductor Trade
【ライブレポート】＜KOREA SPOTLIGHT Showcase TOKYO＞開催。話題の韓国アーティストが大集結
news.jp·11h
🏷GTLDs
LM Studio + Snapdragon Laptops = Bad experience
reddit.com·3h·
Discuss: r/LocalLLaMA
🕳LLM Vulnerabilities
The US and China are about to launch the next front in their trade war - Politico
news.google.com·3h
🚢Trade
The Hunt for the World’s Oldest Story
newyorker.com·4h·
Discuss: Hacker News
💻Programming languages
Live coverage: SpaceX to launch final Version 2 Starship-Super Heavy from Starbase - Spaceflight Now
news.google.com·16h
⚛️Physics
Esoteric Meaning of the Golden Intersection🧵
threadreaderapp.com·11h
⚛️Physics
West Africa’s trade monitoring system has collapsed - why this is dangerous for food security
theconversation.com·1h
📈Economic Statistics
Telluride Horror Show Day 2 Recap
nordot.app·23h
📡RSS
Voices: ‘I’ll be holidaying outside the EU’: Readers lament as new post-Brexit border checks come into force
nordot.app·1h
🚫Economic Sanctions
Hope Didn’t End With Foreign Aid Cuts
nytimes.com·9h
💰Money and Power