HN New Show Ask Jobs Built with Astro
< prev page 1 more >
  • 49 Use theorem provers to ensure the correctness of your LLM's reasoning (github.com)
    by barthelomew an hour ago | 17 comments
  • 132 A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com)
    by andsoitis 5 hours ago | 66 comments
  • 75 Five Years as a Startup CTO: How, Why, and Was It Worth It? (distinctplace.com)
    by mooreds 3 days ago | 44 comments
  • 25 Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
    by PaulHoule 2 hours ago | 2 comments
  • 133 The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
    by t-vi 8 hours ago | 36 comments
  • 7 Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
    by esubaalew an hour ago | 2 comments
  • 103 Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
    by dtgriscom 8 hours ago | 21 comments
  • 156 Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
    by amichail 4 days ago | 122 comments
  • 185 Paged Out Issue #7 [pdf] (pagedout.institute)
    by todsacerdoti 9 hours ago | 13 comments
  • 198 How I influence tech company politics as a staff software engineer (seangoedecke.com)
    by facundo_olano 5 hours ago | 115 comments
  • 81 Self-Hosting Email Like It's 1984 (maxadamski.com)
    by xmx98 5 hours ago | 48 comments
  • 17 The mini smartphones from Japan you've never heard about [video] (youtube.com)
    by bane 4 days ago | 1 comments
  • 211 Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
    by signa11 13 hours ago | 59 comments
  • 9 New Poll: Democratic Socialism Is Now Mainstream (jacobin.com)
    by PaulHoule 20 minutes ago | discuss
  • 91 Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
    by benbridle 4 days ago | 11 comments
  • 383 Zig builds are getting faster (mitchellh.com)
    by emschwartz 21 hours ago | 179 comments
  • 450 Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
    by sebiw a day ago | 517 comments
  • 129 Systems Programming with Zig (manning.com)
    by signa11 3 days ago | 67 comments
  • 59 Privacy Harm Is Harm (eff.org)
    by hn_acker 3 hours ago | 17 comments
  • 60 The Architecture of Learning: From Statistics to Intelligence (little-book-of.github.io)
    by scapbi 4 days ago | 7 comments
  • 604 Fluid Glass (chiuhans111.github.io)
    by memalign 5 days ago | 103 comments
  • 196 Flock's gunshot detection microphones will start listening for human voices (eff.org)
    by hhs 5 hours ago | 135 comments
  • 356 Where it's at:// (overreacted.io)
    by steveklabnik 2 days ago | 215 comments
  • 181 New antibiotic targets IBD and AI predicted how it would work (healthsci.mcmaster.ca)
    by KLK2019 19 hours ago | 67 comments
  • 7 BiDirectional text in the terminal emulators and console programs(2020) (gist.github.com)
    by elashri 4 days ago | discuss
  • 90 How functional programming shaped and twisted front end development (alfy.blog)
    by jicea 7 hours ago | 60 comments
  • 372 PEP 810 – Explicit lazy imports (pep-previews--4622.org.readthedocs.build)
    by azhenley a day ago | 217 comments
  • 134 Old Stockholm Telephone Tower (en.wikipedia.org)
    by ZeljkoS 3 days ago | 33 comments
  • 256 Jeff Bezos says AI is in a bubble but society will get 'gigantic' benefits (cnbc.com)
    by belter a day ago | 552 comments
  • 203 Jules, remote coding agent from Google Labs, announces API (jules.google)
    by watkajtys a day ago | 66 comments