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

24 points by btilly 15h ago 5 comments

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

50 points by Rendello 4h ago 1 comments

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

49 points by todsacerdoti 4h ago 2 comments

TimeGuessr (timeguessr.com)

34 points by stefanpie 4d ago 10 comments

Implementing Logic Programming (btmc.substack.com)

122 points by sirwhinesalot 10h ago 34 comments

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

40 points by aspenmayer 17h ago 76 comments

Endometriosis is an interesting disease (owlposting.com)

120 points by crescit_eundo 8h ago 41 comments

Self-Adapting Language Models (arxiv.org)

138 points by archon1410 12h ago 37 comments

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

50 points by lnrd 3d ago 59 comments

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

15 points by aspenmayer 1h ago 11 comments

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

50 points by surprisetalk 1d ago 11 comments

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

14 points by rbanffy 3d ago 6 comments

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

90 points by zafka 3d ago 62 comments

Green Tea Garbage Collector (github.com)

54 points by cirwin 3h ago 1 comments

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

16 points by bj-rn 3d ago 0 comments

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

67 points by miles 4h ago 41 comments

$100 Hamburger (en.wikipedia.org)

67 points by TMWNN 3h ago 15 comments

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

31 points by panic 2h ago 15 comments

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

44 points by zdw 2d ago 6 comments

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

527 points by AndrewDucker 13h ago 437 comments

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

733 points by sdoering 22h ago 227 comments

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

107 points by Bogdanp 16h ago 104 comments

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

87 points by todsacerdoti 16h ago 6 comments

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

231 points by lightningcable 11h ago 222 comments

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

91 points by munificent 14h ago 65 comments

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

167 points by tombh 17h ago 48 comments

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

86 points by surprisetalk 14h ago 16 comments

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

39 points by PaulHoule 3d ago 2 comments

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

282 points by lairv 17h ago 94 comments

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

1156 points by ingve 1d ago 487 comments

Jemalloc Postmortem (jasone.github.io)

730 points by jasone 1d ago 216 comments

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

343 points by jupiterglimpse 17h ago 181 comments

Rethinking Losses for Diffusion Bridge Samplers (arxiv.org)

6 points by badmonster 5h ago 1 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

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

22 points by bookofjoe 9h ago 1 comments

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

1 points by asontha 19h ago 0 comments

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

21 points by fork-bomber 3d ago 2 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

51 points by ljosifov 18h ago 22 comments

Simulink (Matlab) Copilot (github.com)

35 points by kaamuli 12h ago 6 comments

MUMPS (en.wikipedia.org)

86 points by surprisetalk 10h ago 65 comments

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

427 points by RyanShook 18h ago 443 comments

Thiings (thiings.co)

176 points by pentagrama 3d ago 76 comments

Show HN: Dual Elliptic Curve Math Backdoor in Python (leetarxiv.substack.com)

6 points by muragekibicho 5h ago 0 comments

Luxe Game Engine (luxeengine.com)

159 points by garrypettet 16h ago 51 comments

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

74 points by walterbell 9h ago 44 comments

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

38 points by louthy 8h ago 2 comments

Humpback Whales Are Way Cooler Than You (nautil.us)

10 points by dnetesn 10h ago 0 comments

God is hungry for Context: First thoughts on o3 pro (latent.space)

11 points by aberoham 2d ago 1 comments

How I program with agents (crawshaw.io)

533 points by bumbledraven 5d ago 288 comments

Farewell Economy 7, a Casualty of the Long Wave Switch-Off (hackaday.com)

3 points by austinallegro 1h ago 0 comments

Exploring the Untapped Power of Marine Current Turbines

1 PaulHoule 0 6/10/2025, 1:45:02 PM oilprice.com ↗

Comments (0)

No comments yet