Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)

96 points by btilly 19h ago 22 comments

Last fifty years of integer linear programming: Recent practical advances (inria.hal.science)

26 points by teleforce 5h ago 0 comments

SIMD-friendly algorithms for substring searching (0x80.pl)

108 points by Rendello 7h ago 11 comments

Slowing the flow of core-dump-related CVEs (lwn.net)

22 points by jwilk 3d ago 1 comments

The Many Sides of Erik Satie (thereader.mitpress.mit.edu)

10 points by anarbadalov 5d ago 2 comments

Filedb: Disk-based key-value store inspired by Bitcask (github.com)

70 points by todsacerdoti 8h ago 4 comments

Endometriosis is an interesting disease (owlposting.com)

166 points by crescit_eundo 12h ago 74 comments

Implementing Logic Programming (btmc.substack.com)

142 points by sirwhinesalot 13h ago 42 comments

TimeGuessr (timeguessr.com)

98 points by stefanpie 4d ago 25 comments

Saab achieves AI milestone with Gripen E (saab.com)

17 points by fnordsensei 3h ago 6 comments

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)

89 points by aspenmayer 21h ago 104 comments

Self-Adapting Language Models (arxiv.org)

150 points by archon1410 16h ago 43 comments

Liquid Glass – WWDC25 [video] (developer.apple.com)

83 points by lnrd 3d ago 133 comments

The international standard for identifying postal items (akpain.net)

62 points by surprisetalk 1d ago 13 comments

Student discovers fungus predicted by Albert Hoffman (wvutoday.wvu.edu)

103 points by zafka 3d ago 70 comments

How I uncovered a potential ancient Rome wine scam (phys.org)

15 points by samizdis 2d ago 13 comments

Me an' Algernon – grappling with (temporary) cognitive decline (tidyfirst.substack.com)

20 points by KentBeck 3d ago 2 comments

Protecting your code from other people's bugs (doi.org)

9 points by MiguelX413 3d ago 2 comments

Google Cloud Incident Report – 2025-06-13 (status.cloud.google.com)

13 points by denysvitali 5h ago 3 comments

If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)

764 points by sdoering 1d ago 234 comments

How to Write the Worst Possible Python Code (Humor) (effective-programmer.com)

15 points by naveed125 5h ago 11 comments

Whatever Happened to Sandboxfs? (blogsystem5.substack.com)

49 points by zdw 2d ago 8 comments

I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)

565 points by AndrewDucker 17h ago 453 comments

When random people give money to random other people (2017) (quomodocumque.wordpress.com)

103 points by munificent 18h ago 72 comments

100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (research.mietek.io)

108 points by Bogdanp 20h ago 110 comments

The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)

93 points by todsacerdoti 20h ago 7 comments

$100 Hamburger (en.wikipedia.org)

93 points by TMWNN 7h ago 29 comments

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)

255 points by lightningcable 15h ago 257 comments

Green Tea Garbage Collector (github.com)

75 points by cirwin 7h ago 3 comments

Caltrain official lived in secret apartment built illegally inside train station (sfstandard.com)

50 points by panic 6h ago 30 comments

AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)

26 points by aspenmayer 5h ago 22 comments

Frequent reauth doesn't make you more secure (tailscale.com)

1171 points by ingve 1d ago 488 comments

Jemalloc Postmortem (jasone.github.io)

738 points by jasone 1d ago 219 comments

Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)

179 points by tombh 21h ago 50 comments

Using computers more freely and safely (2023) (akkartik.name)

89 points by surprisetalk 18h ago 17 comments

OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)

291 points by lairv 21h ago 101 comments

High-speed fluorescence light field tomography of whole freely moving organisms (opg.optica.org)

43 points by PaulHoule 3d ago 3 comments

Paleoproteomic profiling recovers diverse proteins from 200yo human brains (phys.org)

3 points by gmays 3d ago 0 comments

Shaping Light – Volumetric Lighting (blog.maximeheckel.com)

22 points by bj-rn 4d ago 0 comments

Ask HN: How do I give back to people helped me when I was young and had nothing?

351 points by jupiterglimpse 21h ago 184 comments

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond (gia.edu)

23 points by bookofjoe 13h ago 1 comments

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf] (spcl.inf.ethz.ch)

23 points by matt_d 3d ago 1 comments

Kyber (YC W23) Is Hiring a Technical Account Manager (ycombinator.com)

1 points by asontha 23h ago 0 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

51 points by ljosifov 22h ago 22 comments

How I program with agents (crawshaw.io)

538 points by bumbledraven 5d ago 288 comments

Meta invests $14.3B in Scale AI to kick-start superintelligence lab (nytimes.com)

433 points by RyanShook 22h ago 446 comments

GPU-accelerated Llama3.java inference in pure Java using TornadoVM (github.com)

11 points by pjmlp 14h ago 0 comments

Simulink (Matlab) Copilot (github.com)

35 points by kaamuli 16h ago 6 comments

Luxe Game Engine (luxeengine.com)

166 points by garrypettet 20h ago 55 comments

Thiings (thiings.co)

183 points by pentagrama 3d ago 76 comments

The crisis of zombie social science

17 fanf2 0 6/13/2025, 8:42:03 PM forkingpaths.co ↗

Comments (0)

No comments yet