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

71 points by btilly 17h ago 15 comments

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

88 points by Rendello 6h ago 5 comments

TimeGuessr (timeguessr.com)

78 points by stefanpie 4d ago 21 comments

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

65 points by todsacerdoti 7h ago 3 comments

"The Illusion of Thinking" – Thoughts on This Important Paper (hardcoresoftware.learningbyshipping.com)

44 points by rbanffy 4d ago 33 comments

Implementing Logic Programming (btmc.substack.com)

135 points by sirwhinesalot 12h ago 40 comments

Endometriosis is an interesting disease (owlposting.com)

147 points by crescit_eundo 11h ago 58 comments

Self-Study Plan for Electrical Engineering (study-from-here.com)

6 points by BhattMayurJ 12m ago 1 comments

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

9 points by jwilk 3d ago 0 comments

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

72 points by aspenmayer 20h ago 97 comments

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

74 points by lnrd 3d ago 108 comments

Self-Adapting Language Models (arxiv.org)

146 points by archon1410 14h ago 42 comments

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

58 points by surprisetalk 1d ago 12 comments

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

11 points by samizdis 2d ago 6 comments

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

98 points by zafka 3d ago 69 comments

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

8 points by naveed125 4h ago 2 comments

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

6 points by MiguelX413 3d ago 2 comments

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

49 points by zdw 2d ago 7 comments

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

756 points by sdoering 1d ago 229 comments

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

551 points by AndrewDucker 15h ago 445 comments

Green Tea Garbage Collector (github.com)

68 points by cirwin 5h ago 2 comments

$100 Hamburger (en.wikipedia.org)

84 points by TMWNN 6h ago 24 comments

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

3 points by gmays 3d ago 0 comments

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

20 points by aspenmayer 4h ago 21 comments

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

3 points by teleforce 3h ago 0 comments

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

175 points by tombh 19h ago 50 comments

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

44 points by panic 4h ago 25 comments

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

108 points by Bogdanp 19h ago 109 comments

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

97 points by munificent 17h ago 68 comments

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

244 points by lightningcable 14h ago 247 comments

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

91 points by todsacerdoti 18h ago 7 comments

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

1165 points by ingve 1d ago 487 comments

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

88 points by surprisetalk 16h ago 16 comments

Jemalloc Postmortem (jasone.github.io)

734 points by jasone 1d ago 219 comments

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

42 points by PaulHoule 3d ago 3 comments

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

290 points by lairv 19h ago 100 comments

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

21 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?

346 points by jupiterglimpse 20h ago 183 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

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

22 points by bookofjoe 11h ago 1 comments

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

1 points by asontha 21h ago 0 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

51 points by ljosifov 20h ago 22 comments

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

430 points by RyanShook 20h ago 445 comments

Simulink (Matlab) Copilot (github.com)

35 points by kaamuli 15h ago 6 comments

Rethinking Losses for Diffusion Bridge Samplers (arxiv.org)

7 points by badmonster 8h ago 1 comments

How I program with agents (crawshaw.io)

535 points by bumbledraven 5d ago 288 comments

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

21 points by fork-bomber 3d ago 2 comments

MUMPS (en.wikipedia.org)

87 points by surprisetalk 13h ago 66 comments

Luxe Game Engine (luxeengine.com)

164 points by garrypettet 18h ago 54 comments

Thiings (thiings.co)

182 points by pentagrama 3d ago 76 comments

The Claude Bliss Attractor

58 Michelangelo11 1 6/13/2025, 6:55:54 PM astralcodexten.com ↗

Comments (1)

dang · 11h ago

Comments moved to https://news.ycombinator.com/item?id=44265093, which was posted earlier.