HN New Show Ask Jobs Built with Astro
< prev page 1 more >
  • 250 AI will make formal verification go mainstream (martin.kleppmann.com)
    by evankhoury 3 hours ago | 133 comments
  • 370 No Graphics API (sebastianaaltonen.com)
    by ryandrake 5 hours ago | 64 comments
  • 591 alpr.watch (alpr.watch)
    by theamk 8 hours ago | 293 comments
  • 242 Announcing the Beta release of ty (astral.sh)
    by gavide 4 hours ago | 50 comments
  • 290 GPT Image 1.5 (openai.com)
    by charlierguo 6 hours ago | 152 comments
  • 52 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
    by MrAlex94 2 hours ago | 38 comments
  • 450 Pricing Changes for GitHub Actions (resources.github.com)
    by kevin-david 7 hours ago | 491 comments
  • 26 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
    by pbowyer 2 hours ago | 1 comments
  • 30 Midjourney is alemwjsl (aadillpickle.com)
    by aadillpickle 6 days ago | 10 comments
  • 14 Americans overestimate how many social media users post harmful content (academic.oup.com)
    by bikenaga an hour ago | 21 comments
  • 386 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
    by geox 11 hours ago | 165 comments
  • 405 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
    by recvonline 11 hours ago | 619 comments
  • 12 Dafny: Verification-Aware Programming Language (dafny.org)
    by handfuloflight 2 hours ago | 1 comments
  • 143 MIT professor shot at his Massachusetts home dies (bbc.com)
    by mosura 3 hours ago | 65 comments
  • 288 Thin desires are eating life (joanwestenberg.com)
    by mitchbob a day ago | 118 comments
  • 39 Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
    by nulbyte 3 hours ago | 10 comments
  • 83 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
    by thatoneengineer a day ago | 97 comments
  • 74 Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
    by tempodox 9 hours ago | 46 comments
  • 101 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
    by rgovostes 16 hours ago | 78 comments
  • 211 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
    by wicket 11 hours ago | 33 comments
  • Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
    8 hours ago   job
  • 49 Letta Code (letta.com)
    by ascorbic 4 hours ago | 23 comments
  • 128 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
    by ewt-nv a day ago | 23 comments
  • 111 Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
    by MaxTeabag a day ago | 14 comments
  • 49 Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
    by furcyd 6 days ago | 60 comments
  • 163 Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
    by ahlCVA 11 hours ago | 89 comments
  • 57 Creating custom yellow handshake emojis with zero-width joiners (blog.alexbeals.com)
    by dado3212 a day ago | 3 comments
  • 145 30 years of <br> tags (artmann.co)
    by FragrantRiver 3 days ago | 49 comments
  • 189 Full Unicode Search at 50× ICU Speed with AVX‑512 (ashvardanian.com)
    by ashvardanian a day ago | 71 comments
  • 66 Pizlix: Memory Safe Linux from Scratch (fil-c.org)
    by nullbyte808 3 days ago | 19 comments