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