1. 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
    formal topologyautoformalizationcomputational logic
    31 points by PaulHoule 2 days | 11 comments
  2. Emacs Bedrock (codeberg.org)
    emacsbedrockeditor
    38 points by thomascountz 2 days | discuss
  3. Man Cereal (joshcollinsworth.com)
    cereal historybreakfast trendsretro food
    15 points by jannesan 1 day | 1 comments
  4. The Cathode Ray Tube site (www.crtsite.com)
    82 points by joebig 4 days | 18 comments
  5. Sea level much higher than assumed in most coastal hazard assessments (www.nature.com)
    coastal hazardssea level riseclimate change
    103 points by jacquesm 1 day | 72 comments
  6. Show HN: Your AI Slop Bores Me (www.youraislopbores.me)
    11 points by mikidoodle about 13 hours | 4 comments
  7. Programmable Cryptography (2024) (0xparc.org)
    85 points by fi-le 5 days | 44 comments
  8. Simple screw counter (mitxela.com)
    268 points by jk_tech 5 days | 71 comments
  9. US and allied missile stockpiles 'bare' as Iran war heads into weeks (www.news.com.au)
    8 points by atombender about 7 hours | 1 comments
  10. Guido van Rossum Interviews Thomas Wouters (Python Core Dev) (gvanrossum.github.io)
    96 points by azhenley 4 days | 11 comments
  11. Mondrian Entered the Public Domain. The Estate Disagrees (copyrightlately.com)
    217 points by Tomte 6 days | 158 comments
  12. Show HN: Omni – Open-source workplace search and chat, built on Postgres (github.com)
    open sourceworkplace collaborationpostgresql integration
    172 points by prvnsmpth 3 days | 42 comments
  13. Buckle Up for Bumpier Skies (www.newyorker.com)
    airlinesair travelturbulence
    93 points by littlexsparkee 3 days | 43 comments
  14. New iPad Air, powered by M4 (www.apple.com)
    ipad air releaseapple tablet updatesm4 processor
    436 points by Garbage 3 days | 678 comments
  15. Points on a ring: An interactive walkthrough of a popular math problem (growingswe.com)
    math problemsgeometryinteractive learning
    52 points by evakhoury 3 days | 19 comments
  16. OpenAI Symphony (github.com)
    ai modelsmachine learning frameworksnatural language processing
    19 points by Gusarich 1 day | 5 comments
  17. Most-read tech publications have lost over half their Google traffic since 2024 (growtika.com)
    google traffic declinetech publishing industry trendsonline media disruption
    227 points by Growtika 2 days | 168 comments
  18. SRGB↔XYZ Conversion (2021) (mina86.com)
    9 points by kqr 4 days | 6 comments
  19. How to record and retrieve anything you've ever had to look up twice (ellanew.com)
    note takingproductivityorganizational skills
    179 points by Curiositry 4 days | 64 comments
  20. If AI writes code, should the session be part of the commit? (github.com)
    ai-generated codesoftware development best practicesversion control
    496 points by mandel_x 4 days | 390 comments
  21. The ping-verse: a deep dive into 14 ping-type utilities across OSI layers (netbeez.net)
    5 points by panosv about 22 hours | 1 comments
  22. Why does C have the best file API (maurycyz.com)
    c programmingfile i/oprogramming language
    158 points by maurycyz 4 days | 159 comments
  23. India's top court angry after junior judge cites fake AI-generated orders (www.bbc.com)
    judicial crisisai-generated documentsindia law
    362 points by tchalla 2 days | 187 comments
  24. Simplifying Application Architecture with Modular Design and MIM (codingfox.net.pl)
    modular designapplication architecturesoftware development
    42 points by codingfox 2 days | 5 comments
  25. Ask HN: Has anyone noticed the fear-driven prompt suggestions that GPT5.3 makes?
    14 points by cedarscarlett about 18 hours | 7 comments
  26. Possible US Government iPhone-Hacking Toolkit in foreign spy and criminal hands (www.wired.com)
    iphone-hackinggovernment-surveillancecybersecurity-threats
    239 points by alwillis 2 days | 87 comments
  27. iPhone 17e (www.apple.com)
    iphonesmartphonemobile phone
    321 points by meetpateltech 3 days | 502 comments
  28. "That Shape Had None" – A Horror of Substrate Independence (Short Fiction) (starlightconvenience.net)
    horrorshort fictionmicrobiology
    99 points by casmalia 3 days | 19 comments
  29. AI-generated art can’t be copyrighted after Supreme Court declines review (www.theverge.com)
    artificial intelligencecopyright lawintellectual property
    192 points by duggan 2 days | 147 comments
  30. We do not think Anthropic should be designated as a supply chain risk (twitter.com)
    supply chain riskanthropicblockchain
    831 points by golfer 5 days | 443 comments
More