FRESH

Hacker News

Page 6

Dafny: Verification-Aware Programming Language 103 points by handfuloflight | 33 Comments

Ask HN: What Are You Working On? (December 2025) 437 points by david927 | 1430 Comments

Pizlix: Memory Safe Linux from Scratch 97 points by nullbyte808 | 27 Comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours 267 points by pbowyer | 141 Comments

The biggest heat pumps 125 points by rayhaanj | 187 Comments

I couldn't find a logging library that worked for my library, so I made one 31 points by todsacerdoti | 35 Comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++ 132 points by tempodox | 87 Comments

TidesDB: 4.7x faster seeks than RocksDB via aggressive caching 7 points by alexpadula | 0 Comments

A school locked down after AI flagged a gun. It was a clarinet 86 points by reaperducer | 95 Comments

Chat-tails: Throwback terminal chat, built on Tailscale 97 points by nulbyte | 22 Comments

A2UI: A Protocol for Agent-Driven Interfaces 157 points by makeramen | 68 Comments

Testing a cheaper laminar flow hood 62 points by surprisetalk | 17 Comments

Fifty problems with standard web APIs in 2025 5 points by dhruv3006 | 0 Comments

GitHub cancels Actions price change for self-hosted runners 17 points by axelfontaine | 7 Comments

My payment agent is named George, not stripe-agent 51 points by fortyseven | 42 Comments

VRChat: “There are more Japanese creators than all other countries combined” 74 points by numpad0 | 59 Comments

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems 36 points by Davidbrcz | 5 Comments

Living Particle System 33 points by lovegrenoble | 3 Comments

Canada's Carney called out for 'utilizing' British spelling 86 points by haunter | 231 Comments

Page 6