1. Neo: A distraction-free word processor for authors, by a wannabe author (github.com)
    9 points by jasonpeacock 2 days | 2 comments
  2. Modeling and Verification of Keeta's Consensus [pdf] (xescu.re)
    15 points by xescure 2 days | 5 comments
  3. The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
    7 points by _doctor_love 3 days | discuss
  4. Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation (woxi.ad-si.com)
    314 points by adius 6 days | 46 comments
  5. Show HN: I shrank DeepSeek V4 Flash to 57GB and it wrote a compiler on my Mac (huggingface.co)
    20 points by hacklas 1 day | 3 comments
  6. Octopuses could help us conceptualize a different form of intelligence (www.cbc.ca)
    12 points by colinprince 1 day | 3 comments
  7. France's top court blocks social media ban for under-15s (www.reuters.com)
    237 points by BlueBerry2001 4 days | 180 comments
  8. The Indo-European Family Tree (djbinder.com)
    90 points by benbreen 5 days | 97 comments
  9. Commodore 8-Bit 5¼" Disk Images (www.masswerk.at)
    50 points by masswerk 6 days | discuss
  10. AI market correction is coming, ECB blog predicts (www.reuters.com)
    7 points by navjeetgill307 about 18 hours | discuss
  11. Brain turns listening inward during REM sleep, EEG recordings suggest (medicalxpress.com)
    52 points by gmays 3 days | 21 comments
  12. I requested a copy of my data from McDonald’s loyalty program (www.wired.com)
    235 points by thehoff 5 days | 327 comments
  13. Show HN: Rdio – an open-source internet radio control suite (rdio-docs.vercel.app)
    27 points by taqibrahim 4 days | 4 comments
  14. Thunderbird's Desktop Calendar Visual Redesign (blog.thunderbird.net)
    73 points by birdculture 3 days | 27 comments
  15. The SvelteKit 3 Release Candidate is here (svelte.dev)
    24 points by pier25 5 days | 7 comments
  16. How much hydrogen awaits us underground? (www.technologyreview.com)
    4 points by joozio about 19 hours | discuss
  17. FDA Admitted in Print That Nothing It Knows of Will Wash Cyclospora Off Lettuce (www.marlerblog.com)
    63 points by speckx 6 days | 35 comments
  18. DosTips, Windows scripting knowledge trove, scraped to death (www.dostips.com)
    47 points by iqml2568 6 days | 6 comments
  19. XCancel – An Unofficial Twitter/X Mirror (xcancel.com)
    16 points by Brajeshwar about 16 hours | 2 comments
  20. Elon Musk's GitHub alternative couldn't have arrived at a worse time for GitHub (www.neowin.net)
    6 points by bundie about 10 hours | discuss
  21. Stop sending me huge PRs; a rant (getsmall.xyz)
    147 points by trezm 3 days | 108 comments
  22. The Soviets Drilled the Deepest Hole Ever (nautil.us)
    21 points by anarbadalov 4 days | 4 comments
  23. Why travellers are obsessed with foreign supermarkets (www.bbc.com)
    4 points by edward 2 days | discuss
  24. Access to telemetry data: Automotive industry criticizes intelligence reform (www.heise.de)
    27 points by _____k 2 days | 11 comments
  25. Qwen 3.8 27B at 2x speed on a 5090 (github.com)
    5 points by husky8 3 days | discuss
  26. I Remain a Skeptic (blog.jsbarretto.com)
    128 points by lproven 3 days | 123 comments
  27. Trump family crypto firm granted conditional approval to establish a bank (www.cbsnews.com)
    11 points by johnbarron about 13 hours | discuss
  28. RAPx: A static analysis tool for Rust programs (github.com)
    3 points by rendaw 2 days | discuss
  29. AI is removing the middle class of software engineering? (blog.florianherrengt.com)
    1001 points by florianherrengt 6 days | 935 comments
  30. Artin-Schreier Theorem [pdf] (kconrad.math.uconn.edu)
    5 points by marysminefnuf 2 days | 1 comments
More