Top Stories

• 1.

  Peano arithmetic is enough, because Peano arithmetic encodes computation

  math.stackexchange.com

  113

  btilly

  20 hrs ago

  29 comments
• 2.

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

  netflixtechblog.com

  13

  Bogdanp

  1 hr ago

  4 comments
• 3.

  Last fifty years of integer linear programming: Recent practical advances

  inria.hal.science

  51

  teleforce

  6 hrs ago

  discuss
• 4.

  The Many Sides of Erik Satie

  thereader.mitpress.mit.edu

  23

  anarbadalov

  5 days ago

  4 comments
• 5.

  SIMD-friendly algorithms for substring searching

  0x80.pl

  119

  Rendello

  9 hrs ago

  12 comments
• 6.

  Solidroad (YC W25) Is Hiring

  solidroad.com

  1

  pjfin

  33 mins ago
• 7.

  Slowing the flow of core-dump-related CVEs

  lwn.net

  30

  jwilk

  3 days ago

  3 comments
• 8.

  Endometriosis is an interesting disease

  owlposting.com

  189

  crescit_eundo

  13 hrs ago

  86 comments
• 9.

  Filedb: Disk-based key-value store inspired by Bitcask

  github.com

  72

  todsacerdoti

  9 hrs ago

  4 comments
• 10.

  Google Cloud Incident Report – 2025-06-13

  status.cloud.google.com

  78

  denysvitali

  6 hrs ago

  45 comments
• 11.

  Implementing Logic Programming

  btmc.substack.com

  147

  sirwhinesalot

  15 hrs ago

  46 comments
• 12.

  Saab achieves AI milestone with Gripen E

  saab.com

  34

  fnordsensei

  4 hrs ago

  20 comments
• 13.

  Me an' Algernon – grappling with (temporary) cognitive decline

  tidyfirst.substack.com

  30

  KentBeck

  3 days ago

  14 comments
• 14.

  TimeGuessr

  timeguessr.com

  120

  stefanpie

  4 days ago

  28 comments
• 15.

  Self-Adapting Language Models

  arxiv.org

  156

  archon1410

  17 hrs ago

  43 comments
• 16.

  The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More

  wsj.com

  101

  aspenmayer

  22 hrs ago

  112 comments
• 17.

  Liquid Glass – WWDC25 [video]

  developer.apple.com

  85

  lnrd

  4 days ago

  151 comments
• 18.

  How I uncovered a potential ancient Rome wine scam

  phys.org

  22

  samizdis

  2 days ago

  19 comments
• 19.

  The international standard for identifying postal items

  akpain.net

  62

  surprisetalk

  1 day ago

  14 comments
• 20.

  Student discovers fungus predicted by Albert Hoffman

  wvutoday.wvu.edu

  107

  zafka

  3 days ago

  76 comments
• 21.

  Protecting your code from other people's bugs

  doi.org

  11

  MiguelX413

  3 days ago

  2 comments
• 22.

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

  joshworth.com

  777

  sdoering

  1 day ago

  237 comments
• 23.

  Mollusk shell assemblages as a tool for identifying unaltered seagrass beds

  int-res.com

  4

  PaulHoule

  2 days ago

  discuss
• 24.

  I convinced HP's board to buy Palm and watched them kill it

  philmckinney.substack.com

  573

  AndrewDucker

  18 hrs ago

  455 comments
• 25.

  Whatever Happened to Sandboxfs?

  blogsystem5.substack.com

  50

  zdw

  2 days ago

  8 comments
• 26.

  The Hat, the Spectre and SAT Solvers (2024)

  nhatcher.com

  97

  todsacerdoti

  21 hrs ago

  7 comments
• 27.

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

  research.mietek.io

  110

  Bogdanp

  21 hrs ago

  112 comments
• 28.

  Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh

  omc345.substack.com

  261

  lightningcable

  16 hrs ago

  270 comments
• 29.

  $100 Hamburger

  en.wikipedia.org

  99

  TMWNN

  8 hrs ago

  32 comments
• 30.

  Frequent reauth doesn't make you more secure

  tailscale.com

  1172

  ingve

  1 day ago

  489 comments