HN Top Links - Popular Stories from Hacker News

19021.

A benchmark for LLM vericoding: formally verified program synthesis (arxiv.org)

2 points by cpeterso 1 month ago | 0 comments

19022.

Forza Horizon 6 Just Slipped Through the Cracks and Everyone Noticed

2 points by 01-_- 1 month ago | 0 comments

19023.

Why not call nullptr NULL? (software.codidact.com)

2 points by untilted 1 month ago | 0 comments

19024.

A Pail of Air (1951) (gutenberg.org)

2 points by debo_ 1 month ago | 0 comments

19025.

Database Transactions (planetscale.com)

2 points by ksec 1 month ago | 0 comments

19026.

Why Open Source Matters (guille.site)

2 points by LolWolf 1 month ago | 0 comments

19027.

Searchable City (searchable.city)

2 points by pminimax 1 month ago | 0 comments

19028.

The lab-in-a-backpack busting illegal shark fins (news.mongabay.com)

2 points by PaulHoule 1 month ago | 0 comments

19029.

AI is great for scientists, but perhaps not for science (programmablemutter.com)

2 points by anigbrowl 1 month ago | 0 comments

19030.

Curious things I discovered about Ansible in Advent of Code (jamielinux.com)

2 points by jamielinux 1 month ago | 0 comments

19031.

The most unhinged (recent) computer science discoveries [video] (youtube.com)

2 points by surprisetalk 1 month ago | 0 comments

19032.

The Great Filter (Or Why High Performance Eludes Most Dev Teams, Even with AI) (codemanship.wordpress.com)

2 points by gmays 1 month ago | 0 comments

19033.

Model-Market Fit (nicolasbustamante.com)

2 points by bfelbo 1 month ago | 0 comments

19034.

A polyhedral structure controls programmable self-assembly (nature.com)

2 points by bookofjoe 1 month ago | 0 comments

19035.

gasm – bare-metal i386 Gopher server for Linux (github.com)

2 points by pabs3 1 month ago | 0 comments

19036.

Should I have tried to insider trade on debunking a famous study? (coldbuttonissues.substack.com)

2 points by paulpauper 1 month ago | 0 comments

19037.

Eight Software Markets That AI Will Transform Differently (davegriffith.substack.com)

2 points by gmays 1 month ago | 0 comments

19038.

Show HN: Local-Data-Platform – Manage HDFS, Hive, and Spark on macOS (github.com)

2 points by danieljhkim 1 month ago | 0 comments

19039.

Can tinkering with plant pores protect crops against drought? (knowablemagazine.org)

2 points by PaulHoule 1 month ago | 0 comments

19040.

I Never Wrote Code. Now That's the Point (alisor.substack.com)

2 points by pwython 1 month ago | 0 comments

19041.

SELinux Coloring Book (2020) (developers.redhat.com)

2 points by giancarlostoro 1 month ago | 0 comments

19042.

Writing First, Tooling Second (susam.net)

2 points by thunderbong 1 month ago | 0 comments

19043.

Nametag: A simple, effective Personal Relationship Manager (github.com)

2 points by thunderbong 1 month ago | 0 comments

19044.

AWS Databases are now available on v0 by Vercel (aws.amazon.com)

2 points by MaxLeiter 1 month ago | 0 comments

19045.

UAT-8837 (probably CCP) targets critical infrastructure sectors in North America (blog.talosintelligence.com)

2 points by 737min 1 month ago | 0 comments

19046.

WP-Bench: A WordPress AI Benchmark (make.wordpress.org)

2 points by chilipepperhott 1 month ago | 0 comments

19047.

All Gas Town, No Brakes Town (todayintabs.com)

2 points by pavel_lishin 1 month ago | 0 comments

19048.

How Netflix Treats Metadata as Operational Infrastructure Across Huge Systems (sweep.io)

2 points by gaudioioio 1 month ago | 0 comments

19049.

Running Factorio from over 1k floppy disks (pcgamer.com)

2 points by Tomte 1 month ago | 0 comments

19050.

The One Simple Thing That Makes the U.S. Economy Unmanageable (thebignewsletter.com)

2 points by connor11528 1 month ago | 0 comments