sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Sun Jun 28
CP/M-68K emulator
3h
L
Lobste.rs on Spinel
3h
L
Proof types in Dart: Using final classes as computational witnesses
6h
L
Why Rocq is better than Lean for program verification
8h
L
State of multi-player Wayland
8h
L
Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident
8h
L
I Dropped "Fullstack" From My Title and It Was the Right Move for My Career
8h
H
282 Blog Posts To Learn About Dotnet
9h
H
How Xenco Medical Is Using AI to See Human Movement Differently
9h
H
ZuriQ Raises $25.5M Led by Quantonation to Build Quantum Chips That Scale Like Semiconductors
9h
H
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes
10h
L
The mean means nothing
10h
L
Hiddenkick AI Earns a 44 Proof of Usefulness Score by Building an ML-Powered Scouting Platform
10h
H
Algomarket Earns a 46 Proof of Usefulness Score by Building a Cross-Venue Prediction Market Analytics Platform
11h
H
Road Sorties Earns a 56.18 Proof of Usefulness Score by Building a Scenic Route Planner and Navigation App
11h
H
[$] Progress toward compiling Linux with gccrs
11h
W
File and Tag Sorting Program: Automating File Organization with Criteria-Based Tagging
11h
H
How Browser-Based Image Flipping Works Using HTML Canvas
12h
H
Policy Versus Physics: Docker Sandboxing for My AI SRE Agent
12h
H
Aura — Local Context Intelligence Earns a 51 Proof of Usefulness Score by Building a Local-First Content Generation Engine
12h
H
You Could Have Come Up With Kimi Delta Attention
12h
L
Starling, a Linux Desktop written from scratch
12h
L
FalconAI Kids Earns a 38.5 Proof of Usefulness Score by Building an AI-Powered Personalized Storytelling Platform
12h
H
Destructive Convenience
13h
L
Bastillion 5.1: single-JAR SSH gateway now audits and replays every session
13h
L
The HackerNoon Newsletter: Why AI Productivity Is a Faulty Metric (7/28/2026)
13h
H
Rethinking Ransomware Defense at the Filesystem Layer
13h
H
Formatif Earns a 44 Proof of Usefulness Score by Building a 100% Offline, Local-First Desktop Media Processing Suite
13h
H
The Future of Human Work: Finding Our Place in the Age of AI
13h
H
SwiftList Earns a 83.84 Proof of Usefulness Score by Building an AI Platform for Generating Complete Property Listings
13h
H
Designing for Human Confidence: Why Trust Alone Isn't Enough for AI Products
13h
H
itsfolio.tech Earns a 50 Proof of Usefulness Score by Building an AI-Powered Resume-to-Portfolio Converter
13h
H
Agent Memory Has a Lock-In Problem. Open Formats Are How We Fix It.
14h
H
Smart Care Triage Earns a 35.03 Proof of Usefulness Score by Building a Decision-Support Tool for Hospital Intake
14h
H
Dependency Cultures - Richard Feldman (Software Should Work Conf 2026)
14h
L
HostLens AI Earns a 55.35 Proof of Usefulness Score by Building an Agentic GraphRAG AI Assistant for Rental Market Insights
14h
H
Electric Vehicles Have Gotten Better, But Have They Earned Your Trust Yet?
14h
H
The Next AI War Will Be Fought Over Access, Not Models.
14h
H
Wayfire 0.11 released
14h
W
Parallel JSON parsing on the GPU with compute shaders
14h
L
Where are the third places for learners?
14h
L
[$] A report from Debian's new DFSG team
15h
W
Inside Zig's Incremental Compilation
15h
L
The TechBeat: A Developer’s Guide to Agentic AI Frameworks and Components (7/28/2026)
15h
H
91 Blog Posts To Learn About Dotnet Core
15h
H
AI vs Google: The Quest for Visibility
15h
H
I Designed A Custom PCB To Avoid Pressing A Button Three Times
15h
L
Design flaws in issetugid() (2017)
15h
L
Security updates for Tuesday
16h
W
AI Security Startup Mate Surpasses $50M in Funding Amid Growing Enterprise Adoption
16h
H
More →