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

48 points by btilly 16h ago 7 comments

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

69 points by Rendello 5h ago 3 comments

Danish department determined to dump Microsoft (theregister.com)

18 points by taubek 19m ago 0 comments

TimeGuessr (timeguessr.com)

57 points by stefanpie 4d ago 15 comments

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

56 points by todsacerdoti 6h ago 3 comments

Implementing Logic Programming (btmc.substack.com)

129 points by sirwhinesalot 11h ago 37 comments

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

29 points by rbanffy 3d ago 16 comments

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

64 points by aspenmayer 18h ago 87 comments

Endometriosis is an interesting disease (owlposting.com)

133 points by crescit_eundo 10h ago 51 comments

Self-Adapting Language Models (arxiv.org)

141 points by archon1410 13h ago 37 comments

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

61 points by lnrd 3d ago 93 comments

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

52 points by surprisetalk 1d ago 12 comments

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

4 points by jwilk 3d ago 0 comments

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

93 points by zafka 3d ago 65 comments

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

5 points by samizdis 2d ago 0 comments

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

18 points by bj-rn 3d ago 0 comments

Green Tea Garbage Collector (github.com)

63 points by cirwin 4h ago 2 comments

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

19 points by aspenmayer 3h ago 18 comments

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

38 points by panic 3h ago 18 comments

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

48 points by zdw 2d ago 6 comments

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

747 points by sdoering 1d ago 228 comments

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

544 points by AndrewDucker 14h ago 443 comments

$100 Hamburger (en.wikipedia.org)

75 points by TMWNN 5h ago 19 comments

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

3 points by MiguelX413 3d ago 1 comments

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

95 points by munificent 15h ago 68 comments

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

108 points by Bogdanp 18h ago 106 comments

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

173 points by tombh 18h ago 49 comments

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

235 points by lightningcable 13h ago 231 comments

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

89 points by todsacerdoti 17h ago 7 comments

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

87 points by surprisetalk 15h ago 16 comments

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

1160 points by ingve 1d ago 487 comments

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

288 points by lairv 18h ago 98 comments

Jemalloc Postmortem (jasone.github.io)

732 points by jasone 1d ago 217 comments

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

40 points by PaulHoule 3d ago 3 comments

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

345 points by jupiterglimpse 19h ago 181 comments

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

22 points by matt_d 3d ago 1 comments

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

1 points by asontha 20h ago 0 comments

UK unis to cough up to £10M on Java to keep Oracle off their backs (theregister.com)

75 points by miles 5h ago 69 comments

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

22 points by bookofjoe 10h ago 1 comments

Rethinking Losses for Diffusion Bridge Samplers (arxiv.org)

7 points by badmonster 6h ago 1 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

51 points by ljosifov 19h ago 22 comments

Simulink (Matlab) Copilot (github.com)

35 points by kaamuli 13h ago 6 comments

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

21 points by fork-bomber 3d ago 2 comments

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

429 points by RyanShook 19h ago 444 comments

MUMPS (en.wikipedia.org)

87 points by surprisetalk 11h ago 65 comments

Luxe Game Engine (luxeengine.com)

163 points by garrypettet 17h ago 52 comments

Thiings (thiings.co)

179 points by pentagrama 3d ago 76 comments

How I program with agents (crawshaw.io)

535 points by bumbledraven 5d ago 288 comments

Denmark Wants to Dump Microsoft Software for Linux, LibreOffice (uk.pcmag.com)

43 points by louthy 9h ago 2 comments

How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022) (discovermagazine.com)

76 points by walterbell 10h ago 44 comments

Two Engineers Ship Like a Team of 15 with AI Agents

1 rbanffy 0 6/12/2025, 3:00:30 PM every.to ↗

Comments (0)

No comments yet