Hacker News Top Posts

Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
20h ago
103
24
Last fifty years of integer linear programming: Recent practical advances
(inria.hal.science)
6h ago
42
0
SIMD-friendly algorithms for substring searching
(0x80.pl)
8h ago
115
11
Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix
(netflixtechblog.com)
1h ago
3
0
Google Cloud Incident Report – 2025-06-13
(status.cloud.google.com)
6h ago
42
13
Solidroad (YC W25) Is Hiring
(solidroad.com)
~1m ago
1
0
Slowing the flow of core-dump-related CVEs
(lwn.net)
4d ago
28
2
Filedb: Disk-based key-value store inspired by Bitcask
(github.com)
9h ago
71
4
The Many Sides of Erik Satie
(thereader.mitpress.mit.edu)
6d ago
13
3
Endometriosis is an interesting disease
(www.owlposting.com)
13h ago
173
84
Implementing Logic Programming
(btmc.substack.com)
14h ago
145
46
Saab achieves AI milestone with Gripen E
(www.saab.com)
4h ago
27
11
TimeGuessr
(timeguessr.com)
4d ago
107
27
Me an' Algernon – grappling with (temporary) cognitive decline
(tidyfirst.substack.com)
4d ago
25
9
Self-Adapting Language Models
(arxiv.org)
17h ago
153
43
The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More
(www.wsj.com)
22h ago
97
107
Liquid Glass – WWDC25 [video]
(developer.apple.com)
4d ago
84
139
The international standard for identifying postal items
(www.akpain.net)
2d ago
62
14
How I uncovered a potential ancient Rome wine scam
(phys.org)
3d ago
19
16
Student discovers fungus predicted by Albert Hoffman
(wvutoday.wvu.edu)
3d ago
105
71
Mollusk shell assemblages as a tool for identifying unaltered seagrass beds
(www.int-res.com)
3d ago
4
0
If the moon were only 1 pixel: A tediously accurate solar system model (2014)
(joshworth.com)
1d ago
770
236
Protecting your code from other people's bugs
(doi.org)
4d ago
9
2
Man Killed by Police After Spiraling into ChatGPT-Driven Psychosis
(futurism.com)
1h ago
6
1
I convinced HP's board to buy Palm and watched them kill it
(philmckinney.substack.com)
18h ago
569
454
Whatever Happened to Sandboxfs?
(blogsystem5.substack.com)
3d ago
49
8
The Hat, the Spectre and SAT Solvers (2024)
(www.nhatcher.com)
21h ago
94
7
100 years of Zermelo's axiom of choice: What was the problem with it? (2006)
(research.mietek.io)
21h ago
109
112
Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh
(omc345.substack.com)
16h ago
256
264
$100 Hamburger
(en.wikipedia.org)
8h ago
96
30
Green Tea Garbage Collector
(github.com)
8h ago
78
3
Frequent reauth doesn't make you more secure
(tailscale.com)
2d ago
1171
488
When random people give money to random other people (2017)
(quomodocumque.wordpress.com)
19h ago
104
73
Caltrain official lived in secret apartment built illegally inside train station
(sfstandard.com)
7h ago
51
33
Show HN: Tattoy – a text-based terminal compositor
(tattoy.sh)
22h ago
181
50
Jemalloc Postmortem
(jasone.github.io)
1d ago
738
219
Using computers more freely and safely (2023)
(akkartik.name)
19h ago
89
17
AI agent startups at Y Combinator’s Spring ’25 Demo Day
(www.businessinsider.com)
6h ago
27
23
OxCaml - a set of extensions to the OCaml programming language.
(oxcaml.org)
22h ago
292
102
High-speed fluorescence light field tomography of whole freely moving organisms
(opg.optica.org)
4d ago
43
3
Shaping Light – Volumetric Lighting
(blog.maximeheckel.com)
4d ago
22
0
Ask HN: How do I give back to people helped me when I was young and had nothing?
(HN)
22h ago
351
184
Paleoproteomic profiling recovers diverse proteins from 200yo human brains
(phys.org)
4d ago
3
0
A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond
(www.gia.edu)
14h ago
23
1
EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]
(spcl.inf.ethz.ch)
4d ago
23
1
How I program with agents
(crawshaw.io)
5d ago
539
288
Geometry from Quantum Temporal Correlations
(arxiv.org)
23h ago
51
22
GPU-accelerated Llama3.java inference in pure Java using TornadoVM
(github.com)
15h ago
13
0
Meta invests $14.3B in Scale AI to kick-start superintelligence lab
(www.nytimes.com)
23h ago
434
447
Simulink (Matlab) Copilot
(github.com)
17h ago
35
6
Luxe Game Engine
(luxeengine.com)
21h ago
166
55
Thiings
(www.thiings.co)
4d ago
183
76
A receipt printer cured my procrastination
(www.laurieherault.com)
2d ago
1160
574
MUMPS
(en.wikipedia.org)
15h ago
87
66
RISC-V in AI and HPC Part 1: Per Aspera Ad Astra?
(www.eetimes.com)
4d ago
21
2
Rethinking Losses for Diffusion Bridge Samplers
(arxiv.org)
10h ago
7
1
Denmark Wants to Dump Microsoft Software for Linux, LibreOffice
(uk.pcmag.com)
13h ago
51
2
Subtype Inference by Example
(blog.polybdenum.com)
4d ago
20
6
How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022)
(www.discovermagazine.com)
14h ago
78
45
Humpback Whales Are Way Cooler Than You
(nautil.us)
15h ago
12
1