sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Sat Apr 18
End of the semester
16m
L
Using algebra and LLMs to verify a flight-plan bug fix in Lean
1h
L
Spork: A posix_spawn you can use as a fork
3h
L
SIMD-accelerated integer-to-string conversion
4h
L
Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative
6h
L
Comprehensive Response to Bambu's AGPLv3 Violations
7h
L
CISA Admin Leaked AWS GovCloud Keys on Github
7h
L
Programming as Theory Building (1985)
8h
L
OpenToonz Does What Adobe Animate Can't: Power a Studio Ghibli Film
8h
H
The just-say-no engineer was a ZIRP phenomenon
8h
L
The Fil-C Optimized Calling Convention
8h
L
Secrets and Tokens Are Not Configuration. They Are a System
9h
H
New Stablecoin Rules Are Forcing DeFi to Confront Its Governance Model
9h
H
cargo-crap: Finding Untested Complexity in AI-Generated Rust Code
9h
L
157 Blog Posts To Learn About Branding
9h
H
Bournegol (2014)
10h
L
Running ‘Doom’ on E. coli cells… very, very slowly
10h
L
Haiku OS runs on M1 Macs now
11h
L
The Quiet Renovation at Bitwarden
11h
L
Misconceptions about the UNIX Philosophy (2024)
11h
L
AFX Launches Sovereign Layer 1, Providing an Optimized Execution Environment for On-chain Perp DEXes
11h
H
How does Flathub even work? The CDN and caching layer
11h
L
Building Secure Identity and Access Management Systems with OAuth, SSO & RBAC in Modern Enterprises
12h
H
You're Using AI to Learn Faster. That's Exactly Why You're Not Learning
12h
H
Git blame for code comprehension
12h
L
Funds Coin Expands AI Trading Infrastructure Across Gold, Forex, and Stock Markets With Multi-Agent
12h
H
What a $26K AI Bill Really Reveals
13h
H
How to select a mobile OS
13h
L
The implementation of select in Go
13h
L
The HackerNoon Newsletter: AI Coding Tip 020 - Create a Second Brain (5/18/2026)
13h
H
The Perception Stack: A PR Practitioner's Framework for AI Visibility That Actually Moves Revenue
13h
H
AI Agent Security - MIT 6.566 guest lecture
14h
L
Cross-Document View Transitions: The Gotchas Nobody Mentions
14h
L
Recommendation Systems Became Political the Moment They Began Controlling Visibility
14h
H
Meet Yubico: HackerNoon Company of the Week
14h
H
Three Things Marketers Misunderstand About QR Code Scan Behavior
14h
H
A Linux-like kernel in a browser tab - deep dive in the BrowserPod architecture
15h
L
Spec-Driven Development Turns the Chaos of Vibe Coding Into Structured Delivery
15h
H
The TechBeat: Why UK Retail Real Estate Investors Are Turning to Geomarketing 3.0 (5/18/2026)
15h
H
105 Blog Posts To Learn About Big Tech
15h
H
De‐bloating Javascript
16h
L
[$] Swap tables, flash-friendly swap, swap_ops, and more
16h
W
Dust Raises $40M Led by Sequoia and Abstract to Build Workspace AI Infrastructure for Enterprise
16h
H
Security updates for Monday
17h
W
A 16-byte x86 demo: Matrix rain with sound
17h
L
Mobile App Performance as a Resource Allocation Problem
17h
H
Export to Excel in C#: The Ultimate 2026 Tools Comparison Guide
17h
H
Managing Mobile App Delivery Across iOS, Android, QA, and API Teams
18h
H
Human Progress Is Really About One Thing: Speed
18h
H
Top 17 AI Testing Tools in 2026 (+ Claude Bonus)
18h
H
More →