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

113 points by btilly 20h ago 29 comments

Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)

15 points by Bogdanp 1h ago 4 comments

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

51 points by teleforce 6h ago 0 comments

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

24 points by anarbadalov 5d ago 4 comments

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

119 points by Rendello 9h ago 12 comments

Solidroad (YC W25) Is Hiring (solidroad.com)

1 points by pjfin 34m ago 0 comments

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

30 points by jwilk 3d ago 3 comments

Endometriosis is an interesting disease (owlposting.com)

189 points by crescit_eundo 13h ago 86 comments

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

72 points by todsacerdoti 9h ago 4 comments

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

79 points by denysvitali 6h ago 46 comments

Implementing Logic Programming (btmc.substack.com)

147 points by sirwhinesalot 15h ago 46 comments

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

35 points by fnordsensei 4h ago 20 comments

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

30 points by KentBeck 3d ago 14 comments

TimeGuessr (timeguessr.com)

121 points by stefanpie 4d ago 28 comments

Self-Adapting Language Models (arxiv.org)

156 points by archon1410 17h ago 43 comments

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

101 points by aspenmayer 22h ago 112 comments

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

85 points by lnrd 4d ago 151 comments

Cray versus Raspberry Pi (aardvark.co.nz)

4 points by flyingkiwi44 3d ago 0 comments

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

22 points by samizdis 2d ago 19 comments

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

62 points by surprisetalk 1d ago 14 comments

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

107 points by zafka 3d ago 76 comments

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

11 points by MiguelX413 3d ago 2 comments

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

778 points by sdoering 1d ago 237 comments

Mollusk shell assemblages as a tool for identifying unaltered seagrass beds (int-res.com)

4 points by PaulHoule 2d ago 0 comments

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

573 points by AndrewDucker 18h ago 455 comments

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

50 points by zdw 2d ago 8 comments

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

97 points by todsacerdoti 21h ago 7 comments

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

110 points by Bogdanp 21h ago 112 comments

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

261 points by lightningcable 16h ago 271 comments

$100 Hamburger (en.wikipedia.org)

99 points by TMWNN 8h ago 32 comments

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

1172 points by ingve 1d ago 489 comments

Green Tea Garbage Collector (github.com)

81 points by cirwin 8h ago 3 comments

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

104 points by munificent 19h ago 73 comments

Jemalloc Postmortem (jasone.github.io)

739 points by jasone 1d ago 219 comments

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

182 points by tombh 22h ago 56 comments

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

90 points by surprisetalk 19h ago 17 comments

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

53 points by panic 7h ago 35 comments

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

292 points by lairv 22h ago 103 comments

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

43 points by PaulHoule 3d ago 3 comments

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

27 points by aspenmayer 6h ago 24 comments

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

354 points by jupiterglimpse 22h ago 185 comments

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

22 points by bj-rn 4d ago 0 comments

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

3 points by gmays 3d ago 0 comments

How I program with agents (crawshaw.io)

539 points by bumbledraven 5d ago 288 comments

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

23 points by bookofjoe 14h ago 1 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

52 points by ljosifov 23h ago 24 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

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

14 points by pjmlp 15h ago 0 comments

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

434 points by RyanShook 23h ago 447 comments

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra? (eetimes.com)

23 points by fork-bomber 4d ago 2 comments

Quantum Computing without the Linear Algebra [pdf]

2 adamnemecek 0 6/13/2025, 4:36:05 PM eprint.iacr.org ↗

Comments (0)

No comments yet