sumi.news
Search
Following
Sign in
← Back to news
L
Lobsters
RSS Feed
lobste.rs
lobste.rs/rss
Follow
Latest
Sat Aug 1
Fuzzing The Gleam Compiler
6d
L
maiao: Gerrit-style stacked diffs for GitHub, Cursor Origin, GitLab, Codeberg and more
6d
L
AI At Home Part 2: Multi GPU Drifting
6d
L
AI Review Loops Don't Always Stabilise
6d
L
The Sync Heap: Delete First, Ask Questions Later
6d
L
The Move to Python 3 Begins
6d
L
Thinking Is Slow. Copying Is Fast. | Michael Gomes Vieira
6d
L
Run OpenBSD on DigitalOcean for $4/month
6d
L
C2PA Cameras Do Not Survive Contact With Reality
6d
L
I stabilized never type
6d
L
Feature comparison of ack, ag, git-grep, grep and ripgrep
6d
L
Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster
6d
L
50 years of proof assistants
6d
L
US data centers tripled water use to 17 billion gallons
6d
L
The XY Problem
6d
L
Adding CPU affinity in a 24-core build machine made builds take longer
6d
L
Hunting Down a Go Runtime Bug on 32-bit Embedded Systems
6d
L
An interactive introduction to the spanning tree protocol
6d
L
MNT Station - A modular, open hardware desktop computer and server
6d
L
Another look at SQLite's WAL-Reset bug
6d
L
Migrating from Codeberg Pages to an OpenBSD VPS
6d
L
Understanding and implementing a simple big unsigned integer library (2020)
6d
L
Porffor goes alpha August 11th
6d
L
Galaxium, a WebGPU universe explorer
6d
L
Solving the 1+N query problem
1w
L
A Design Space Exploration of Async/Await
1w
L
Haskell diagrams: Tessellations
1w
L
Making the Impossible Possible (Again): Ten Years of Flexible Paxos
1w
L
POP-2000, a lingua-franca POP-2 dialect
1w
L
Hot Chips 2026: CUDA targets RISC-V
1w
L
Sloc Cloc and Code 4.0 (scc) - Finding the files that need the most attention
1w
L
distributed identity
1w
L
kudu - easily manage VMs on Linux
1w
L
Jabber/XMPP: 25 Years of Digital Independence
1w
L
Routeup – stable local HTTPS URLs and opt-in public tunnels
1w
L
Verifying (simple) C in Isabelle/HOL with AutoCorres
1w
L
Intent to Ship: JPEG XL
1w
L
AI Coding will Prevent Expertise
1w
L
Can a blog post be handwritten?
1w
L
I cannot survive from burnout
1w
L
The changing role of finite-state model checking
1w
L
IPython is All You Need
1w
L
Atkinson Hyperlegible appears a little smaller than some other fonts at the same font size
1w
L
Perspec 1.0: A Haskell desktop app for perspective correction of document photos
1w
L
Dynamically Naming Servers
1w
L
Micro language implementation: Calcium
1w
L
Control and complexity: tension in systems design
1w
L
Emacs 31.1 released
1w
L
Tiny, Untyped Monads (2024)
1w
L
3 constraints before I build anything
1w
L
More →