HN Top Links - Popular Stories from Hacker News

25291.

Choice trees: Nondeterministic, recursive, and impure programs in Coq (arxiv.org)

56 points by PaulHoule on Nov 16, 2022 | 8 comments

25292.

Faster Base64 in Curl (daniel.haxx.se)

56 points by mariuz on Dec 6, 2022 | 8 comments

25293.

Hollowed-Out, 4k-Year-Old Tree Trunk Coffin Discovered (2021) (smithsonianmag.com)

56 points by diodorus on Jan 7, 2022 | 7 comments

25294.

The Worst Timeline: A Printer Company Is Putting DRM in Paper Now (eff.org)

56 points by pabs3 on Feb 16, 2022 | 7 comments

25295.

Basic Quantum Algorithms (arxiv.org)

56 points by rbanffy on Mar 4, 2022 | 7 comments

25296.

Hellenistic cremation burial found in Istanbul train station (thehistoryblog.com)

56 points by diodorus on Apr 19, 2022 | 7 comments

25297.

DevOps for the Sinclair Spectrum (markround.com)

56 points by nickt on Apr 23, 2022 | 7 comments

25298.

16-bit RISC-V processor made with carbon nanotubes (2019) (arstechnica.com)

56 points by signa11 on Jun 15, 2022 | 7 comments

25299.

UK quietly drops ‘human rights’ and ‘rule of law’ from goals in Gulf trade deal (independent.co.uk)

56 points by leephillips on Jun 25, 2022 | 7 comments

25300.

Plagiarism and data falsification found in work from prominent cancer lab (nature.com)

56 points by samizdis on Jul 20, 2022 | 7 comments

25301.

Caddy 2.6 is out, the biggest release since Caddy 2 (github.com)

56 points by kdunglas on Sep 20, 2022 | 7 comments

25302.

Build an early-stage startup (learn.microsoft.com)

56 points by open-source-ux on Oct 19, 2022 | 7 comments

25303.

NeuRRAM – New chip for running large-scale AI algorithms on smaller devices (quantamagazine.org)

56 points by nsoonhui on Nov 11, 2022 | 7 comments

25304.

ChatGPT: An attempt to build URL into cross-platform Desktop APP using Tauri (github.com)

56 points by lencx on Dec 25, 2022 | 7 comments

25305.

Lizard scale patterns described with antiferromagnetic model (physics.aps.org)

56 points by shusaku on Jan 31, 2022 | 6 comments

25306.

Show HN: Free 3D icons, fully customizable online (vertex.im)

56 points by craftedpixels on Feb 1, 2022 | 6 comments

25307.

Vectorization, dependencies and outer loop vectorization (johnysswlab.com)

56 points by ingve on Mar 13, 2022 | 6 comments

25308.

Animating Regular Expressions with Python and Graphviz (betterprogramming.pub)

56 points by signa11 on May 19, 2022 | 6 comments

25309.

Rising from the Ashes: Stage Manager (techreflect.net)

56 points by robenkleene on Jun 9, 2022 | 6 comments

25310.

For 12 Hours, Was Part of Apple’s Network Hijacked by Russia’s Rostelecom? (manrs.org)

56 points by danyork on Jul 27, 2022 | 6 comments

25311.

Algorithmica – open-access webbook dedicated to the art and science of computing (en.algorithmica.org)

56 points by Anon84 on Feb 18, 2022 | 5 comments

25312.

Ancient herpes simplex 1 genomes reveal recent viral structure in Eurasia (science.org)

56 points by diodorus on Aug 3, 2022 | 5 comments

25313.

Facebook users sue Meta for bypassing beefy Apple security to spy on millions (arstechnica.com)

56 points by thesecretceo on Sep 23, 2022 | 5 comments

25314.

Current interop status of various QUIC client and server implementations (interop.seemann.io)

56 points by LinuxBender on Oct 8, 2022 | 5 comments

25315.

Zotero 7 for Developers (zotero.org)

56 points by tech234a on Nov 17, 2022 | 5 comments

25316.

An Injection of Chaos Solves Decades-Old Fluid Mystery (quantamagazine.org)

56 points by escot on Jan 5, 2022 | 4 comments

25317.

Show HN: A Go Library for Website Log Analysis (convey.earth)

56 points by stuartmscott on Mar 13, 2022 | 4 comments

25318.

Stellarium v.022 Released (github.com)

56 points by VariableStar on Mar 27, 2022 | 4 comments

25319.

Why is the red primary color oriented at 104° on a vectorscope? (chriskiehl.com)

56 points by goostavos on Mar 30, 2022 | 4 comments

25320.

Porting a game from CP/M to the ZX Spectrum 48k (blog.steve.fi)

56 points by stevekemp on Apr 26, 2022 | 4 comments