News

Showing news from: https://lobste.rs/rss

“No AI” Statements Are Much More Than Mere Statements
2026-07-21 18:31 - https://lobste.rs/rss
 
Pinball on 64-bit Alpha AXP Windows NT
2026-07-22 22:52 - https://lobste.rs/rss
 
Introduction to Formal Verification with Lean (Part 1)
2026-07-19 17:46 - https://lobste.rs/rss
 
95 reasons for having your own website
2026-07-21 03:19 - https://lobste.rs/rss
 
Web-based Jujutsu revset explorer & debugger
2026-07-21 18:31 - https://lobste.rs/rss
 
Snake Temple for Oric Atmos, in 10 lines of BASIC (2022)
2026-07-22 14:46 - https://lobste.rs/rss
 
432 Linux kernel CVEs published in the last 24 hours
2026-07-21 04:20 - https://lobste.rs/rss
 
Capture Clauses as Effects
2026-07-21 16:29 - https://lobste.rs/rss
 
Two years of vector search at Notion: 10x scale, 1/10th cost
2026-07-22 13:45 - https://lobste.rs/rss
 
Parallelizing Compilation: In-Process vs Multi-Process
2026-07-21 23:34 - https://lobste.rs/rss
 
Cosy Language
2026-07-21 20:33 - https://lobste.rs/rss
 
libei integrations in the XDG RemoteDesktop and InputCapture portals
2026-07-22 08:40 - https://lobste.rs/rss
 
Your Agentic Workflow's Cache Keepalive Costs 8x Too Much
2026-07-21 21:33 - https://lobste.rs/rss
 
GGG – Declarative SVG badge generation using Guile Scheme and SXML
2026-07-21 13:27 - https://lobste.rs/rss
 
Five moments in snapping history
2026-07-21 14:28 - https://lobste.rs/rss
 
KDE for Enterprise Needs a Strong PIM Infrastructure
2026-07-21 07:22 - https://lobste.rs/rss
 
K2 Reference Manual (1998)
2026-07-21 21:33 - https://lobste.rs/rss
 
Using Nagios for small business infrastructure monitoring
2026-07-21 19:32 - https://lobste.rs/rss
 
AP8L - apl
2026-07-21 21:33 - https://lobste.rs/rss
 
Filter
Clear Filter