HN Top Links - Popular Stories from Hacker News

12421.

The pragmatic magic of semi-formal methods (antithesis.com)

3 points by wwilson 10 months ago | 0 comments

12422.

AMD is allegedly working on Arm-based "Sound Wave" APUs for Microsoft's Surface (tomshardware.com)

3 points by pjmlp 10 months ago | 0 comments

12423.

Please Please Please (we.phorge.it)

3 points by jordigh 10 months ago | 0 comments

12424.

Banksy famed warehouse wall heart art to support heart health (newsroom.heart.org)

3 points by geox 10 months ago | 0 comments

12425.

EtchDNS - A DNS proxy written in Rust (etchdns.dnscrypt.info)

3 points by jedisct1 10 months ago | 0 comments

12426.

Benefits of Walking Desks (ocdevel.com)

3 points by Bluestein 10 months ago | 0 comments

12427.

Learning about Serializability Theory (siemens.blog)

3 points by grep_it 10 months ago | 0 comments

12428.

Spotify's scrambling to remove podcasts promoting online prescription drug sales (cnn.com)

3 points by rntn 10 months ago | 0 comments

12429.

Bookshelf (patrickcollison.com)

3 points by bookofjoe 10 months ago | 0 comments

12430.

Men worse off than women for 20 top health problems worldwide (medicalxpress.com)

3 points by PaulHoule 10 months ago | 0 comments

12431.

FlowStorm: Debugging and Understanding Clojure Code on a New Level (flexiana.com)

3 points by Flexiana 10 months ago | 0 comments

12432.

TikTok Hosts Deceptive 'Shark Tank' Clips – For Profit (newsguardrealitycheck.com)

3 points by ilamont 10 months ago | 0 comments

12433.

Wine 10.8 (Dev) – Run Windows Applications on Linux, BSD, Solaris and macOS (gitlab.winehq.org)

3 points by neustradamus 10 months ago | 0 comments

12434.

Black Mirror script idea – Groomer (blog.xot.nl)

3 points by raybb 10 months ago | 0 comments

12435.

Why VHS was better than Betamax (2003) (theguardian.com)

3 points by Tomte 10 months ago | 0 comments

12436.

Android 15: Here Are the 3 Features Google Removed in Its Latest Update (medium.com)

3 points by Leonise 10 months ago | 0 comments

12437.

Tips for Starting Your Own Labor Union (getorganize.app)

3 points by juliantigler 10 months ago | 0 comments

12438.

Production-Ready Retrieval-Augmented Generation (RAG): An End-to-End Guide (saumilsrivastava.ai)

3 points by s4um1l 10 months ago | 0 comments

12439.

The first US hub for experimental medical treatments is coming (technologyreview.com)

3 points by vjulian 10 months ago | 0 comments

12440.

The Internet Now and Then with Internet Pioneer Geoff Huston [video] (youtube.com)

3 points by emot 10 months ago | 0 comments

12441.

Falcon-Edge: A series of powerful 1.58bit language models (falcon-lm.github.io)

3 points by lostmsu 10 months ago | 0 comments

12442.

Two black holes are eating away at a galaxy (news.berkeley.edu)

3 points by gmays 10 months ago | 0 comments

12443.

A Modern Approach to Log Levels with OpenTelemetry (dash0.com)

3 points by ayoisaiah 10 months ago | 0 comments

12444.

Our Idea of Happiness Has Gotten Shallow (nytimes.com)

3 points by gmays 10 months ago | 0 comments

12445.

HMPL v3.0: Small template language for displaying UI from server to client (github.com)

3 points by todsacerdoti 10 months ago | 0 comments

12446.

Implementing a Toy Optimizer (2022) (pypy.org)

3 points by grep_it 10 months ago | 0 comments

12447.

3 points by tom1337 10 months ago | 0 comments

12448.

Remarks on AI from NZ – By Neal Stephenson (nealstephenson.substack.com)

3 points by pavel_lishin 10 months ago | 0 comments

12449.

TabPFN: Foundation Model for Tabular Data (github.com)

3 points by talles 10 months ago | 0 comments

12450.

The Spell Is Broken – Using Bluesky (alexworradandrews.com)

3 points by conatus 10 months ago | 0 comments