HNNewShowAskJobsBuilt with Solid
< prevpage 6more >
  • 184Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
    by matt_d 2 days ago | 39 comments
  • 24What's missing to have reproducible builds on PyPI (snarky.ca)
    by Ravencentric 5 days ago | 8 comments
  • 50Why travellers are obsessed with foreign supermarkets (bbc.com)
    by edward 4 days ago | 56 comments
  • 1381The Amazon tax (seths.blog)
    by herbertl 2 days ago | 690 comments
  • 4NASA mission to save sinking space telescope fails (nbcnews.com)
    by anigbrowl 2 hours ago | 1 comments
  • 124Rules of good social skills (2025) (liamrosen.com)
    by bilsbie a day ago | 54 comments
  • 38Universality of Gradient Descent Neural Network Training (arxiv.org)
    by E-Reverance 20 hours ago | 2 comments
  • 422PostgreSQL for Everything (raphaelbauer.com)
    by karlmush a day ago | 251 comments
  • 166Bun 1.4 Rust rewrite is not looking good? (tipiirai.com)
    by tipiirai 2 days ago | 132 comments
  • 53A portable, sensitive, low power, analog Geiger counter (2025) (ludens.cl)
    by crorella 5 days ago | 3 comments
  • 70Pressed Penny Machine Map (pennypresses.net)
    by willmeyers a day ago | 52 comments
  • 72Why Microsoft Entertainment Pack had a sticker announcing that it had Tetris? (devblogs.microsoft.com)
    by tybulewicz 16 hours ago | 49 comments
  • 112Taffy: A flexible, high-performance, cross-platform UI layout library (github.com)
    by robin_reala 7 days ago | 40 comments
  • 932Being ambitious and being a dad (nicholascharriere.com)
    by nichochar 4 days ago | 746 comments
  • 6Arc AGI-3 100% solved with a skill (twitter.com)
    by rochansinha 3 hours ago | discuss
  • 193AI usage patterns in software teams (linear.app)
    by giuliomagnifico 2 days ago | 113 comments
  • 132How Kubernetes Probes Work (ngrok.com)
    by cyndunlop a day ago | 25 comments
  • 201Mathematics in the age of AI (arxiv.org)
    by jonbaer a day ago | 244 comments
  • 7DDD matters more when AI writes your code (threedots.tech)
    by roblaszczak 9 hours ago | 5 comments
  • 317Ask HN: GitHub employees what's going on? Why? ()
    by sharts 3 days ago | 260 comments ask
  • 5Solving the Flat Cube (mathenchant.wordpress.com)
    by ibobev 7 hours ago | discuss
  • 28FCC abolishes gigabit speed goal (arstechnica.com)
    by jonbaer 8 hours ago | 8 comments
  • 55IDE Nostalgia (2022) (davidsmaynard.com)
    by dmaynard 6 days ago | 3 comments
  • 15We replaced our ledger with two functions (river.com)
    by leishman 8 hours ago | discuss
  • 296Turbovec – Google's TurboQuant for vector search in Rust (github.com)
    by fittingopposite 2 days ago | 33 comments
  • 9Music Theory for Programmers (runjs.app)
    by birdculture 4 hours ago | discuss
  • 286Apple announces changes for apps in the European Union (apple.com)
    by newusertoday 2 days ago | 436 comments
  • 12RAPx: A static analysis tool for Rust programs (github.com)
    by rendaw 4 days ago | 2 comments
  • 4High-speed star is whipping around the black hole in the middle of our galaxy (npr.org)
    by colinprince 3 hours ago | 2 comments
  • 79Xwayland 26.1.0 rc1 (lists.x.org)
    by ErenayDev a day ago | 100 comments