sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Tue Dec 30
Mon Dec 29
Turning Dafny Sets into Sequences
1d
L
Stenberg: No strcpy either
1d
W
Desktop Classic System — Spacial computing hearkening back to classic Mac OS
1d
L
Xous: A Pure-Rust Rethink of the Embedded Operating System
1d
L
Some flexibility with Go's sumdb
1d
L
A vulnerability in libsodium
1d
L
Conditions in the Intel 8087 floating-point chip's microcode
1d
L
Escaping Containment: A Security Analysis of FreeBSD Jails
1d
L
you’re not burned out, you’ve got context obesity
1d
H
When I Fed Poems to an LLM, I Realized I Was Measuring Temperature with a Screwdriver
1d
H
Django On The Med: A Contributor Sprint Retrospective
1d
L
HackerNoon to AI: We're Here for Answers, Not a Relationship
1d
H
How Visionary Architect Prasad Bhalkikar Transformed Fortune 500 Enterprises
1d
H
The HackerNoon Newsletter: What the Heck is GizmoSQL? (12/30/2025)
1d
H
Memory Safety Is …
1d
L
Building a React App with Formally Verified State
1d
L
The New “Front Door” of Care: What Support Agents Know About Members That Clinics Don’t
1d
H
Inlining
1d
L
FediMeteo: How a Tiny €4 FreeBSD VPS Became a Global Weather Service for Thousands
1d
L
Formally speaking, "Transpiler" is a useless word
1d
L
How Supercell Powers its Massive Social Network with ScyllaDB
1d
H
What Does grantpt() Do?
1d
L
Security updates for Tuesday
1d
W
Restarting systemd services on sustained CPU abuse
1d
L
From Failure Data to Futureproof Design: The Engineer Turning Battery Risks into Predictive Safety
1d
H
Better Code: Concurrency (2017)
1d
L
Hacking washing machines
1d
L
Make-shift shebangs for Go
1d
L
Finding a broken trace on my old Mac with the help of its ROM diagnostics
1d
L
Charm Ruby - Glamorous Terminal Libraries for Ruby
1d
L
The TechBeat: The Hidden Cost of AI: Why It’s Making Workers Smarter, but Organisations Dumber (12/30/2025)
1d
H
Glamorous Christmas: Bringing Charm to Ruby
1d
L
NES Game Genie Technical Notes (2001)
1d
L
From Code to Capital: The Tech Architecture Driving the Stablecoin and Tokenization Revolution
1d
H
Slop Isn’t the Problem. It’s the Symptom.
1d
H
The $50,000 PDF No One Reads: Why Your Security Audits Are Failing
1d
H
What the Heck is GizmoSQL?
1d
H
The Death of the Click: Winning the Era of AEO
1d
H
Gemini 3 Arrives as Google Pushes Beyond Autocomplete
2d
H
Velox is a port of Tauri to Swift
2d
L
Introducing miniray — a WGSL minifier
2d
L