sumi.news
Search
Following
Sign in
← Back to news
L
Lobsters
RSS Feed
lobste.rs
lobste.rs/rss
Follow
Latest
Wed Jul 1
Why every Wikimedian should be a toolmaker
1d
L
The Project of Software is Complete
1d
L
Atomarine · Offshore Power & Compute Infrastructure
1d
L
Trellis: workspace tooling for Gleam monorepos
1d
L
deskhop: Fast Desktop Switching Device
1d
L
C++ float-to-int conversion can be undefined behavior
2d
L
The Difference Between a Button and a Link
2d
L
Man and the Computer - John G. Kemeny (1972)
2d
L
What side projects have you enjoyed the most?
2d
L
The strain in your brain
2d
L
First CHERIoT Silicon
2d
L
Formal methods with Hillel Wayne
2d
L
Setting timers in simple games (feat. the frame rule)
2d
L
const_cast: A Necessary Evil
2d
L
basebrowserproject
2d
L
xy is very fast and customizable charting library for Python
2d
L
Some notes about Anthropic’s new results
2d
L
Flycheck 38: Might & Magic
2d
L
A field day for Gleam’s language server | Gleam v.1.18.0 release
2d
L
PostgreSQL MVCC: tradeoffs compared to other engines
2d
L
Overengineered calculator: Zig + QBE
2d
L
It doesn’t matter whether “Matz is nice”
2d
L
GNU Hyperbole Implicit Buttons: Build your Hyperverse
2d
L
The Dark Night of Mathematics
2d
L
Copilot will propagate a malicious worm from one Word document to another
2d
L
AI Mania Is Eviscerating Global Decision-Making
2d
L
Streaming the IETF MoQ sessions with MoQ… kinda
2d
L
Sovereignty is a substrate
2d
L
Safety in an unsafe world
2d
L
User Interfaces of the Demo Scene
2d
L
C++26: Reducing undefined behaviour
2d
L
Writing Toy Software Is A Joy (2025)
3d
L
Manganin: tools matter
3d
L
CP/M-68K emulator
3d
L
Lobste.rs on Spinel
3d
L
Proof types in Dart: Using final classes as computational witnesses
3d
L
Why Rocq is better than Lean for program verification
3d
L
State of multi-player Wayland
3d
L
Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident
3d
L
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes
3d
L
The mean means nothing
3d
L
You Could Have Come Up With Kimi Delta Attention
3d
L
Starling, a Linux Desktop written from scratch
3d
L
Destructive Convenience
3d
L
Bastillion 5.1: single-JAR SSH gateway now audits and replays every session
3d
L
Dependency Cultures - Richard Feldman (Software Should Work Conf 2026)
3d
L
Parallel JSON parsing on the GPU with compute shaders
3d
L
Where are the third places for learners?
3d
L
Inside Zig's Incremental Compilation
3d
L
I Designed A Custom PCB To Avoid Pressing A Button Three Times
3d
L
More →