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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Sat Jun 27

Proof types in Dart: Using final classes as computational witnesses

41m
LobstersL

Why Rocq is better than Lean for program verification

1h
LobstersL

State of multi-player Wayland

1h
LobstersL

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident

2h
LobstersL

I Dropped "Fullstack" From My Title and It Was the Right Move for My Career

2h
HackerNoonH

282 Blog Posts To Learn About Dotnet

3h
HackerNoonH

How Xenco Medical Is Using AI to See Human Movement Differently

3h
HackerNoonH

ZuriQ Raises $25.5M Led by Quantonation to Build Quantum Chips That Scale Like Semiconductors

3h
HackerNoonH

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

3h
LobstersL

The mean means nothing

4h
LobstersL

Hiddenkick AI Earns a 44 Proof of Usefulness Score by Building an ML-Powered Scouting Platform

4h
HackerNoonH

Algomarket Earns a 46 Proof of Usefulness Score by Building a Cross-Venue Prediction Market Analytics Platform

4h
HackerNoonH

Road Sorties Earns a 56.18 Proof of Usefulness Score by Building a Scenic Route Planner and Navigation App

4h
HackerNoonH

[$] Progress toward compiling Linux with gccrs

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

File and Tag Sorting Program: Automating File Organization with Criteria-Based Tagging

5h
HackerNoonH

How Browser-Based Image Flipping Works Using HTML Canvas

5h
HackerNoonH

Policy Versus Physics: Docker Sandboxing for My AI SRE Agent

6h
HackerNoonH

Aura — Local Context Intelligence Earns a 51 Proof of Usefulness Score by Building a Local-First Content Generation Engine

6h
HackerNoonH

You Could Have Come Up With Kimi Delta Attention

6h
LobstersL

FalconAI Kids Earns a 38.5 Proof of Usefulness Score by Building an AI-Powered Personalized Storytelling Platform

6h
HackerNoonH

Destructive Convenience

6h
LobstersL

Bastillion 5.1: single-JAR SSH gateway now audits and replays every session

7h
LobstersL

The HackerNoon Newsletter: Why AI Productivity Is a Faulty Metric (7/28/2026)

7h
HackerNoonH

Rethinking Ransomware Defense at the Filesystem Layer

7h
HackerNoonH

Formatif Earns a 44 Proof of Usefulness Score by Building a 100% Offline, Local-First Desktop Media Processing Suite

7h
HackerNoonH

The Future of Human Work: Finding Our Place in the Age of AI

7h
HackerNoonH

SwiftList Earns a 83.84 Proof of Usefulness Score by Building an AI Platform for Generating Complete Property Listings

7h
HackerNoonH

Designing for Human Confidence: Why Trust Alone Isn't Enough for AI Products

7h
HackerNoonH

itsfolio.tech Earns a 50 Proof of Usefulness Score by Building an AI-Powered Resume-to-Portfolio Converter

7h
HackerNoonH

Agent Memory Has a Lock-In Problem. Open Formats Are How We Fix It.

7h
HackerNoonH

Smart Care Triage Earns a 35.03 Proof of Usefulness Score by Building a Decision-Support Tool for Hospital Intake

7h
HackerNoonH

Dependency Cultures - Richard Feldman (Software Should Work Conf 2026)

7h
LobstersL

HostLens AI Earns a 55.35 Proof of Usefulness Score by Building an Agentic GraphRAG AI Assistant for Rental Market Insights

7h
HackerNoonH

Electric Vehicles Have Gotten Better, But Have They Earned Your Trust Yet?

8h
HackerNoonH

The Next AI War Will Be Fought Over Access, Not Models.

8h
HackerNoonH

Wayfire 0.11 released

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

Parallel JSON parsing on the GPU with compute shaders

8h
LobstersL

Where are the third places for learners?

8h
LobstersL

[$] A report from Debian's new DFSG team

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

Inside Zig's Incremental Compilation

8h
LobstersL

The TechBeat: A Developer’s Guide to Agentic AI Frameworks and Components (7/28/2026)

9h
HackerNoonH

91 Blog Posts To Learn About Dotnet Core

9h
HackerNoonH

AI vs Google: The Quest for Visibility

9h
HackerNoonH

I Designed A Custom PCB To Avoid Pressing A Button Three Times

9h
LobstersL

Design flaws in issetugid() (2017)

9h
LobstersL

Security updates for Tuesday

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

AI Security Startup Mate Surpasses $50M in Funding Amid Growing Enterprise Adoption

10h
HackerNoonH

Building (systems) software with Nix

10h
LobstersL

Aux Control — Let the whole room vote on the music

10h
LobstersL

Tracked Capabilities for Safer Agents

10h
LobstersL
More →

Entries updated Jul 28, 2026 03:18:12 PM PDT

Questions? Suggestions? alex@sumi.news