Hacker News

Latest

CarPlay Is Additive

2026-07-03 @ 01:02:45Points: 154Comments: 203

Order a burned CD of your own public GitHub repo

2026-07-03 @ 00:01:26Points: 120Comments: 90

An American Privacy Emergency

2026-07-03 @ 00:01:06Points: 247Comments: 83

Noise infusion banned from statistical products published by Census Bureau - https://news.ycombinator.com/item?id=48517377 - June 2026 (604 comments)

Right to Local Intelligence

2026-07-02 @ 23:54:03Points: 112Comments: 42

crustc: entirety of `rustc`, translated to C

2026-07-02 @ 22:57:35Points: 205Comments: 34

Mystery identity of 'Green Boots' climber is finally solved after DNA test

2026-07-02 @ 22:44:04Points: 81Comments: 41

Virginia bans sale of geolocation data

2026-07-02 @ 21:03:45Points: 647Comments: 111

Lightning Memory-Mapped Database Manager (LMDB) 1.0

2026-07-02 @ 20:01:20Points: 73Comments: 41

Great Salt Lake Tracker – Grow the Flow

2026-07-02 @ 19:33:55Points: 83Comments: 31

EFF letter to FTC on X consent order (2 July 2026) [pdf]

2026-07-02 @ 19:27:38Points: 127Comments: 46

The short leash AI coding method for beating Fable

2026-07-02 @ 19:11:57Points: 92Comments: 115

Claude-real-video - any LLM can watch a video

2026-07-02 @ 19:10:12Points: 112Comments: 33

Exapunks (2018)

2026-07-02 @ 18:41:19Points: 256Comments: 85

Postgres transactions are a distributed systems superpower

2026-07-02 @ 18:38:32Points: 145Comments: 62

This is my attempt to get Vulkan going on NetBSD

2026-07-02 @ 18:36:09Points: 93Comments: 19

Show HN: zkGolf – Competitive optimization of formally verified circuits

2026-07-02 @ 15:40:05Points: 53Comments: 6

Over the last months, we have been experimenting with writing formal specifications instead and letting LLMs produce the circuits: as long as they could prove that their implementation was correct. It started with SHA-256: we hand wrote a specification in Lean for SHA-256 compression, and then we asked LLMs to write the circuit, targeting R1CS arithmetization and large fields.

It took a few hours of work for Opus 4.7, and some light steering into the right direction, but in the end the model came up with a reasonable implementation. We then asked the LLM to aggressively optimize the circuits, by driving down a cost metric of the circuit (number of constraints). We immediately got very promising results, just by asking to come up with optimization ideas, implement them and prove that the new circuit still satisfies soundness and completeness. Sometimes, it came up with unsound optimizations, however, since it could not prove them, it backtracked and got itself back on to the right approach.

The result was a (non-deterministic) circuit beating the current, human optimized, state of the art for SHA256 compression. This experience lead us to create "zk.golf" which is an open competition to produce optimized, formally verified circuits to lower the bar for the use of ZKPs and make their application more efficient.

Come play (https://zk.golf/llms.txt) and learn about formal verification.

Show HN: Inkwell – An RSS reader for e-ink devices

2026-07-02 @ 15:38:19Points: 44Comments: 5

Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory

2026-07-02 @ 15:25:16Points: 436Comments: 194

FoundationDB's Flow – Bringing Actor-Based Concurrency to C++11

2026-07-02 @ 14:41:56Points: 52Comments: 8

Podman v6.0.0

2026-07-02 @ 14:23:09Points: 441Comments: 174

Immich 3.0

2026-07-02 @ 14:13:26Points: 268Comments: 129

How to ask for help from people who don't know you

2026-07-02 @ 13:19:22Points: 457Comments: 68

PeerTube is a free, decentralized and federated video platform

2026-07-02 @ 11:17:45Points: 566Comments: 261

Show HN: Pieces – Social network for people

2026-07-01 @ 17:30:56Points: 39Comments: 35

Would love if you tried it out!

Apricot Computers: An underrated British brand

2026-07-01 @ 07:26:05Points: 34Comments: 10

Superpowers 6

2026-06-30 @ 21:28:32Points: 115Comments: 46

Crossword Heatmap

2026-06-30 @ 12:15:55Points: 11Comments: 4

Perform DFU Restores on Apple Silicon Macs with Macvdmtool (2021)

2026-06-29 @ 20:18:58Points: 12Comments: 1

Reality has a surprising amount of detail (2017)

2026-06-27 @ 23:36:25Points: 199Comments: 73

A Special Wireless-Free Nikon Camera Is Publicly Available for the First Time

2026-06-25 @ 01:11:53Points: 39Comments: 19

Archives

2026

2025

2024

2023

2022