News

All news items from monitored sources.

Xavier Leroy on programming, languages and formal verification
2026-07-26 16:01 - https://lobste.rs/rss
 
Functional programming from first principles, part 1 – motivation
2026-07-27 09:24 - https://lobste.rs/rss
 
A Fast Path for Fixed-Length Lists in Parquet
2026-07-27 10:25 - https://lobste.rs/rss
 
The Design of Everyday Cryptography
2026-07-27 10:25 - https://lobste.rs/rss
 
Memory Safety Absolutists
2026-07-25 20:47 - https://news.ycombinator.com/rss
 
What are you doing this week?
2026-07-27 11:26 - https://lobste.rs/rss
 
A Voice From Nowhere
2026-07-27 10:25 - https://lobste.rs/rss
 
Teaching Kids Forth
2026-07-26 20:05 - https://lobste.rs/rss
 
Maybe we should revisit microkernels
2026-07-25 22:48 - https://lobste.rs/rss
 
Make Reviews Possible Again With This One Simple Trick
2026-07-27 09:24 - https://lobste.rs/rss
 
Most Googlebots are fake
2026-07-27 11:26 - https://lobste.rs/rss
 
'KVM Chainsaw' Expected to Hit Linux 7.3 For Dealing with 'God Data Structure'
2026-07-27 12:27 - https://rss.slashdot.org/Slashdot/slashdotMain
 
AI-Equipped Garbage Trucks Could Soon Start Spying On People in the US
2026-07-26 18:02 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Comic-Con 2026 Debuts Trailers for 'Coyote vs Acme' Movie, Plus 'Neuromancer' and 'Blade Runner 2099' Series
2026-07-26 07:54 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Typo-Squatting Scammers Con South Carolina Town Out of $545K
2026-07-26 15:00 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Three Astronauts Safely Return from Space Station, Landing in Kazakhstan Steppe
2026-07-26 16:01 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Wildfires, Evacuations, and Smoke Hit Europe and North America
2026-07-26 19:03 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Is Huawei Building Its Own DRAM Fab?
2026-07-26 17:01 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Google's Anti-search-scraping Lawsuit Dismissed
2026-07-26 20:05 - https://rss.slashdot.org/Slashdot/slashdotMain
 
32 of 35 Students Caught Using Hilariously Wrong AI-Generated Answers for Professor's Midterm
2026-07-26 03:51 - https://rss.slashdot.org/Slashdot/slashdotMain
 
Filter