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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Sat Jun 27

Why Rocq is better than Lean for program verification

51m
LobstersL

State of multi-player Wayland

53m
LobstersL

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

1h
LobstersL

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

2h
LobstersL

The mean means nothing

3h
LobstersL

[$] Progress toward compiling Linux with gccrs

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

You Could Have Come Up With Kimi Delta Attention

5h
LobstersL

Destructive Convenience

5h
LobstersL

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

5h
LobstersL

Rethinking Ransomware Defense at the Filesystem Layer

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
HackerNoonH

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

6h
LobstersL

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

6h
HackerNoonH

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

7h
HackerNoonH

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

7h
HackerNoonH

Wayfire 0.11 released

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

Parallel JSON parsing on the GPU with compute shaders

7h
LobstersL

Where are the third places for learners?

7h
LobstersL

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

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

Inside Zig's Incremental Compilation

7h
LobstersL

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

8h
HackerNoonH

91 Blog Posts To Learn About Dotnet Core

8h
HackerNoonH

AI vs Google: The Quest for Visibility

8h
HackerNoonH

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

8h
LobstersL

Design flaws in issetugid() (2017)

8h
LobstersL

Security updates for Tuesday

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

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

8h
HackerNoonH

Building (systems) software with Nix

8h
LobstersL

Aux Control — Let the whole room vote on the music

9h
LobstersL

Tracked Capabilities for Safer Agents

9h
LobstersL

What even are microservices?

9h
LobstersL

Golang Maps: How Swiss Tables Replaced the Old Bucket Design

10h
LobstersL

Improving Heuristics (2015)

10h
LobstersL

Why Linux Firewalls Are Moving From iptables to nftables

10h
HackerNoonH

Cybersecurity in 2026 Is a Race Against Speed

11h
HackerNoonH

Develop Cross-Platform CLI and GUI Tools With Tcl/Tk

11h
LobstersL

Making KIO copy many files fast

11h
LobstersL

Best BitMart Alternatives: Where to Move Your Assets Before the August 26 Shutdown

12h
HackerNoonH

One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way

13h
LobstersL

Kratos PhaaS Targets US and EU: How to Reduce Microsoft 365 Account Takeover Risk

13h
HackerNoonH

PyTorch: a reference language

14h
LobstersL

What Happens If You Send Crypto to Your Same Address?

14h
HackerNoonH

KAT-Coder-V2.5-Dev: An Open Agentic Coding Model

14h
HackerNoonH

Mage-Flow-Edit-Turbo: Microsoft’s 4B Image Editing Model

14h
HackerNoonH
More →

Entries updated Jul 28, 2026 12:13:46 PM PDT

Questions? Suggestions? alex@sumi.news