| 61. | | The Z3 Theorem Prover (github.com/z3prover) |
| 19 points by benoitg 7 hours ago | hide | 1 comment |
|
| 62. | | Operando interlayer expansion of curved graphene for dense supercapacitors (nature.com) |
| 31 points by westurner 17 hours ago | hide | 3 comments |
|
| 63. | | Why Your TV Will Probably Never Be Better Than It Is Now (lifehacker.com) |
| 7 points by whynotmaybe 1 hour ago | hide | 3 comments |
|
| 64. | | Tech for Small vs. Big Firms (lexifina.com) |
| 14 points by alansaber 5 hours ago | hide | 11 comments |
|
| 65. | | Rahm Emanuel says U.S. should follow Australia's youth social media ban (politico.com) |
| 98 points by RickJWagner 1 day ago | hide | 220 comments |
|
| 66. | | Transformers know more than they can tell: Learning the Collatz sequence (arxiv.org) |
| 126 points by Xcelerate 1 day ago | hide | 44 comments |
|
| 67. | | My favourite small hash table (corsix.org) |
| 147 points by speckx 1 day ago | hide | 34 comments |
|
| 68. | | OpenEvolve: Teaching LLMs to Discover Algorithms Through Evolution (algorithmicsuperintelligence.ai) |
| 48 points by codelion 18 hours ago | hide | 9 comments |
|
| 69. | | Show HN: AlgoDrill – Interactive drills to stop forgetting LeetCode patterns (algodrill.io) |
| 166 points by henwfan 1 day ago | hide | 102 comments |
|
| 70. | | LLM from scratch, part 28 – training a base model from scratch on an RTX 3090 (gilesthomas.com) |
| 523 points by gpjt 1 day ago | hide | 111 comments |
|
| 71. | | Constructing the Word's First JPEG XL MD5 Hash Quine (stackchk.fail) |
| 124 points by luispa 1 day ago | hide | 22 comments |
|
| 72. | | Sam Altman says industry is wrong on OpenAI's competition, it is not from Google (indiatimes.com) |
| 21 points by ashishgupta2209 5 hours ago | hide | 22 comments |
|
| 73. | | Launch HN: Mentat (YC F24) – Controlling LLMs with Runtime Intervention |
| 50 points by cgorlla 1 day ago | hide | 33 comments |
|
| 74. | | I Tried the New Android XR Smart Glasses from Google and XReal (pcmag.com) |
| 11 points by fcpguru 3 hours ago | hide | 2 comments |
|
| 75. | | We Need to Die (willllliam.com) |
| 91 points by ericzawo 21 hours ago | hide | 153 comments |
|
| 76. | | Do Not Optimize Away (matklad.github.io) |
| 13 points by todsacerdoti 12 hours ago | hide | 2 comments |
|
| 77. | | Launch HN: Nia (YC S25) – Give better context to coding agents (trynia.ai) |
| 129 points by jellyotsiro 2 days ago | hide | 85 comments |
|
| 78. | | Show HN: I built a system for active note-taking in regular meetings like 1-1s (withdocket.com) |
| 164 points by davnicwil 1 day ago | hide | 126 comments |
|
| 79. | | Are the Three Musketeers allergic to muskets? (2014) (ox.ac.uk) |
| 56 points by rolph 11 hours ago | hide | 43 comments |
|
| 80. | | Australian teens lose access to social media as ban takes effect (bbc.com) |
| 53 points by tartoran 22 hours ago | hide | 1 comment |
|
| 81. | | Starlink Became the Internet Alternative (restofworld.org) |
| 8 points by Brajeshwar 3 hours ago | hide | discuss |
|
| 82. | | Icons in Menus Everywhere – Send Help (jim-nielsen.com) |
| 819 points by ArmageddonIt 1 day ago | hide | 326 comments |
|
| 83. | | GitHub Actions has a package manager, and it might be the worst (nesbitt.io) |
| 438 points by robin_reala 2 days ago | hide | 257 comments |
|
| 84. | | Epsilon: A WASM virtual machine written in Go (github.com/ziggy42) |
| 147 points by ziggy42 1 day ago | hide | 39 comments |
|
| 85. | | Agentic QA – Open-source middleware to fuzz-test agents for loops |
| 35 points by Saurabh_Kumar_ 23 hours ago | hide | 5 comments |
|
| 86. | | Where are you supposed to go if you don't care about growth? (ramones.dev) |
| 88 points by ramon156 1 day ago | hide | 97 comments |
|
| 87. | | Ask HN: Should "I asked $AI, and it said" replies be forbidden in HN guidelines? |
| 928 points by embedding-shape 1 day ago | hide | 451 comments |
|
| 88. | | ULID: Universally Unique Lexicographically Sortable Identifier (packagemain.tech) |
| 66 points by der_gopher 21 hours ago | hide | 53 comments |
|
| 89. | | A deep dive into QEMU: The Tiny Code Generator (TCG), part 1 (2021) (airbus-seclab.github.io) |
| 79 points by costco 1 day ago | hide | 2 comments |
|
| 90. | | ZX Spectrum Next on the Internet: Xberry Pi ESP01 and Pi Zero Upgrades (retrogamecoders.com) |
| 59 points by ibobev 1 day ago | hide | discuss |
|
|
| More |
