1. Earliest Uses of Various Mathematical Symbols (mathshistory.st-andrews.ac.uk)
    21 points by layer8 1 day | discuss
  2. Using Kagi Search with Low Vision (veroniiiica.com)
    266 points by speckx 3 days | 89 comments
  3. A blueprint for formal verification of Apple corecrypto (security.apple.com)
    118 points by hasheddan 2 days | 15 comments
  4. The FBI Wants 'Near Real-Time' Access to US License Plate Readers (www.wired.com)
    207 points by Brajeshwar 1 day | 91 comments
  5. Revised^7 Report on Scheme, Large: Procedural Fascicle Draft is now public (r7rs.org)
    30 points by pmcgoron 4 days | 7 comments
  6. Limerick (www.worldwidewords.org)
    12 points by jruohonen about 19 hours | 5 comments
  7. GitHub confirms breach of 3,800 repos via malicious VSCode extension (www.bleepingcomputer.com)
    1051 points by Timofeibu 4 days | 457 comments
  8. Throwing AI-generated walls of text into conversations (noslopgrenade.com)
    701 points by napolux 4 days | 418 comments
  9. Deno 2.8 (deno.com)
    414 points by roflcopter69 3 days | 178 comments
  10. The Letter S, by Donald Knuth (1980) [pdf] (gwern.net)
    298 points by bambax 4 days | 54 comments
  11. OpenAI Is Preparing to File for an IPO Soon (www.wsj.com)
    200 points by louiereederson 4 days | 404 comments
  12. Official Kotlin Support for Visual Studio Code Is Now Available in Alpha (blog.jetbrains.com)
    13 points by philonoist about 11 hours | 1 comments
  13. Evaluating Spec CPU2026 (chipsandcheese.com)
    27 points by zdw 1 day | 3 comments
  14. The death of the brick and mortar toy store (brainbaking.com)
    162 points by speckx 5 days | 240 comments
  15. Show HN: ShadowCat – file transfer through QR Codes in a Browser (github.com)
    162 points by unprovable 3 days | 62 comments
  16. We're testing new ad formats in Search and expanding our Direct Offers pilot (blog.google)
    628 points by sofumel 4 days | 571 comments
  17. Mycorrhizal Fungi, Nature's Key to Plant Survival and Success (pacifichorticulture.org)
    151 points by mooreds 4 days | 45 comments
  18. CISA tries to contain data leak (krebsonsecurity.com)
    265 points by speckx 2 days | 58 comments
  19. The memory shortage is causing a repricing of consumer electronics (davidoks.blog)
    537 points by d0ks 3 days | 626 comments
  20. Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark (modelrift.com)
    418 points by jetter 3 days | 160 comments
  21. We made our filesystem 47× faster by deleting it (microsandbox.dev)
    61 points by appcypher 5 days | 38 comments
  22. Show HN: Freenet, a peer-to-peer platform for decentralized apps (freenet.org)
    378 points by sanity 3 days | 268 comments
  23. z386: An Open-Source 80386 Built Around Original Microcode (nand2mario.github.io)
    130 points by wicket 1 day | 31 comments
  24. Anthropic is expanding to Colossus2. Will use GB200 (twitter.com)
    304 points by aurareturn 4 days | 348 comments
  25. Multi-Stream LLMs: new paper on parallelizing/separating prompts, thinking, I/O (arxiv.org)
    155 points by atomicthumbs 3 days | 16 comments
  26. Staged publishing and new install-time controls for npm (github.blog)
    61 points by brianmcnulty 2 days | 11 comments
  27. Launch HN: Runtime (YC P26) – Sandboxed coding agents for everyone on a team (www.runtm.com)
    101 points by gustrigos 3 days | 30 comments
  28. Google's Antigravity bait and switch (www.0xsid.com)
    762 points by ssiddharth 3 days | 340 comments
  29. Apple Preparing New 'Gen AI' Website Ahead of WWDC (www.macrumors.com)
    6 points by Brajeshwar about 8 hours | 2 comments
  30. Waymo pauses Atlanta service as its robotaxis keep driving into floods (techcrunch.com)
    365 points by mattas 3 days | 471 comments
More