sumi.news
  • Search
  • Following
  • Sign in
← Back to news

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Fri Mar 13

Lean proved this program was correct; then I found a bug

1h
LobstersL

[$] Development statistics for the 7.0 kernel

1h
Welcome to LWN.net [LWN.net]W

App Store Reviews are Busted

1h
LobstersL

Autoscaling Forgejo Runner

1h
LobstersL

[$] A build system aimed at license compliance

2h
Welcome to LWN.net [LWN.net]W

Configuration flags are where software goes to rot

2h
LobstersL

Apps and programming: two accidental tyrannies

2h
LobstersL

Harper Launches 5.0: Fully Open-Source Runtime for Building and Deploying Cost-Efficient Agents

2h
HackerNoonH

Servo now on crates.io

2h
Welcome to LWN.net [LWN.net]W

Recovering a Lost Document: Habitat Anecdotes (1988)

2h
LobstersL

Designing Reliable App Switch Flows on iOS for Secure Transactions

3h
HackerNoonH

Malleable Software

3h
LobstersL

Servo 0.1.0 (first LTS version) is now available on crates.io

3h
LobstersL

Little LaTeX Pearls

4h
LobstersL

Security updates for Monday

4h
Welcome to LWN.net [LWN.net]W

Point cloud allemansrätten

4h
LobstersL

Show: /digest – a Claude Code skill for daily dev news digest

4h
LobstersL

Past, Present, Future: The PHPUnit Story

5h
LobstersL

Reflecting on deserialization. Why you should explicitly decode your JSON

5h
LobstersL

What are you doing this week?

5h
LobstersL

All elementary functions from a single binary operator

6h
LobstersL

Live++: A Bag of Tricks

7h
LobstersL

Why LLMs Alone Can't Migrate Your Legacy Code, and What I Built Instead

7h
HackerNoonH

What It Really Means to Be Cloud-Native: A Practical Checklist

7h
HackerNoonH

Why Your AI Agent Keeps Forgetting (Even With 1M Tokens)

7h
HackerNoonH

Your AI-Generated Code Tests Might Be Lying to You

8h
HackerNoonH

Global Tech Leaders Unite to Shape the Future of Blockchain and Web3 Innovation

8h
HackerNoonH

How Cayuse Prevents 90% of Customer-Facing Issues

8h
HackerNoonH

xtrace — Command-line CPU Profiling for macOS as a skill

8h
LobstersL

“Generative Engine Optimization is not a Trend” , ICODA CEO Vlad Pivnev on the AI Search Shift

8h
HackerNoonH

Programming used to be free

9h
LobstersL

Moth Delusion

9h
HackerNoonH

A Dumb Introduction to z3

9h
LobstersL

curl DNS 2026

10h
LobstersL

Azuma-zi’s Machine Cult

11h
HackerNoonH

The TechBeat: Your Work Trained the Model. The Model Replaced You. Philip K. Dick Wrote This Story in 1968. (4/13/2026)

11h
HackerNoonH

Did you notice the command error exit in the shell?

11h
LobstersL

Eyes That Wandered Beyond Space

12h
HackerNoonH

The Global API Injection Pattern

12h
LobstersL

Market Timing & Relevance: The Factor You Can't Fully Control

13h
HackerNoonH

Introduction to Spherical Harmonics for Graphics Programmers

15h
LobstersL

Albania’s Yield Trap: High Returns, Hidden Legal Risk

16h
HackerNoonH

SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024)

16h
LobstersL

The Negative Yield Trap in Israel Property

16h
HackerNoonH

The Central Dogma of Life

17h
HackerNoonH

What OpenAI’s Checkout Pivot Reveals About China’s Geopolitical Payment Strategies

17h
HackerNoonH

AI Didn't Take Your Job, It Took the Part That Made It Yours

17h
HackerNoonH

Building 7 Apps at Once With ADHD Nearly Broke My Solo Founder Brain

17h
HackerNoonH

Learning Finance by Designing It

17h
HackerNoonH

The ER Bill You Might Never Have to Pay

17h
HackerNoonH
More →

Entries updated Apr 13, 2026 08:16:57 AM PDT

Questions? Suggestions? alex@sumi.news