sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Sat Apr 11
Lean proved this program was correct; then I found a bug
1mo
L
[$] Development statistics for the 7.0 kernel
1mo
W
App Store Reviews are Busted
1mo
L
Autoscaling Forgejo Runner
1mo
L
[$] A build system aimed at license compliance
1mo
W
Configuration flags are where software goes to rot
1mo
L
Apps and programming: two accidental tyrannies
1mo
L
Harper Launches 5.0: Fully Open-Source Runtime for Building and Deploying Cost-Efficient Agents
1mo
H
Servo now on crates.io
1mo
W
Recovering a Lost Document: Habitat Anecdotes (1988)
1mo
L
Designing Reliable App Switch Flows on iOS for Secure Transactions
1mo
H
Malleable Software
1mo
L
Servo 0.1.0 (first LTS version) is now available on crates.io
1mo
L
Little LaTeX Pearls
1mo
L
Security updates for Monday
1mo
W
Point cloud allemansrätten
1mo
L
Show: /digest – a Claude Code skill for daily dev news digest
1mo
L
Past, Present, Future: The PHPUnit Story
1mo
L
Reflecting on deserialization. Why you should explicitly decode your JSON
1mo
L
What are you doing this week?
1mo
L
All elementary functions from a single binary operator
1mo
L
Live++: A Bag of Tricks
1mo
L
Why LLMs Alone Can't Migrate Your Legacy Code, and What I Built Instead
1mo
H
What It Really Means to Be Cloud-Native: A Practical Checklist
1mo
H
Why Your AI Agent Keeps Forgetting (Even With 1M Tokens)
1mo
H
Your AI-Generated Code Tests Might Be Lying to You
1mo
H
Global Tech Leaders Unite to Shape the Future of Blockchain and Web3 Innovation
1mo
H
How Cayuse Prevents 90% of Customer-Facing Issues
1mo
H
xtrace — Command-line CPU Profiling for macOS as a skill
1mo
L
“Generative Engine Optimization is not a Trend” , ICODA CEO Vlad Pivnev on the AI Search Shift
1mo
H
Programming used to be free
1mo
L
Moth Delusion
1mo
H
A Dumb Introduction to z3
1mo
L
curl DNS 2026
1mo
L
Azuma-zi’s Machine Cult
1mo
H
The TechBeat: Godot's Web Performance Boost: Things to Know (4/13/2026)
1mo
H
Did you notice the command error exit in the shell?
1mo
L
Eyes That Wandered Beyond Space
1mo
H
The Global API Injection Pattern
1mo
L
Market Timing & Relevance: The Factor You Can't Fully Control
1mo
H
Introduction to Spherical Harmonics for Graphics Programmers
1mo
L
Albania’s Yield Trap: High Returns, Hidden Legal Risk
1mo
H
SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024)
1mo
L
The Negative Yield Trap in Israel Property
1mo
H
The Central Dogma of Life
1mo
H
What OpenAI’s Checkout Pivot Reveals About China’s Geopolitical Payment Strategies
1mo
H
AI Didn't Take Your Job, It Took the Part That Made It Yours
1mo
H
Building 7 Apps at Once With ADHD Nearly Broke My Solo Founder Brain
1mo
H
Learning Finance by Designing It
1mo
H
The ER Bill You Might Never Have to Pay
1mo
H
More →