← Back to news

Programming

Proof types in Dart: Using final classes as computational witnesses

L

Why Rocq is better than Lean for program verification

L

State of multi-player Wayland

L

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

L

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

H

282 Blog Posts To Learn About Dotnet

H

How Xenco Medical Is Using AI to See Human Movement Differently

H

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

H

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

L

The mean means nothing

L

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

H

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

H

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

H

[$] Progress toward compiling Linux with gccrs

W

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

H

How Browser-Based Image Flipping Works Using HTML Canvas

H

Policy Versus Physics: Docker Sandboxing for My AI SRE Agent

H

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

H

You Could Have Come Up With Kimi Delta Attention

L

Starling, a Linux Desktop written from scratch

L

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

H

Destructive Convenience

L

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

L

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

H

Rethinking Ransomware Defense at the Filesystem Layer

H

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

H

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

H

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

H

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

H

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

H

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

H

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

H

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

L

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

H

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

H

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

H

Wayfire 0.11 released

W

Parallel JSON parsing on the GPU with compute shaders

L

Where are the third places for learners?

L

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

W

Inside Zig's Incremental Compilation

L

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

H

91 Blog Posts To Learn About Dotnet Core

H

AI vs Google: The Quest for Visibility

H

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

L

Design flaws in issetugid() (2017)

L

Security updates for Tuesday

W

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

H

Building (systems) software with Nix

L

Aux Control — Let the whole room vote on the music

L