Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. This Month in Redox – August 2026 (redox-os.org)
    1 pointsby 0 minutes ago
    —discuss
  2. 12,000-year-old Göbeklitepe burials explain scattered bones (archaeologymag.com)
    1 pointsby 1 minute ago
    —discuss
  3. Shirei: Cross-Platform Immediate Mode GUI Framework for Go (judi.systems)
    1 pointsby 7 minutes ago
    —discuss
  4. One Month Without AI (bustikiller.com)
    1 pointsby 9 minutes ago
    —discuss
  5. Court rules Trump can blacklist Anthropic for refusing to enable Claude features (arstechnica.com)
    1 pointsby 10 minutes ago
    —discuss
  6. A Tutorial on the Cross-Entropy Method [pdf] (web.mit.edu)
    1 pointsby 15 minutes ago
    —discuss
  7. How do I deal with my team members who are resisting change? (andiroberts.com)
    1 pointsby 16 minutes ago
    —discuss
  8. Are US Cannabis Contracts Enforceable? (businessofcannabis.com)
    1 pointsby 17 minutes ago
    —discuss
  9. The weaker he gets, the more dangerous he gets (theguardian.com)
    1 pointsby 19 minutes ago
    —discuss
  10. The Copilot+ PC brand is dead (windowscentral.com)
    2 pointsby 22 minutes ago
    1comments
  11. First DVD player announced Sept 26, 1996 (dfarq.homeip.net)
    1 pointsby 22 minutes ago
    —discuss
  12. Drum Machines (LLMs) Have No Soul (calvinflegal.com)
    1 pointsby 25 minutes ago
    1comments
  13. How to keep enjoying programming in a world of LLMs (haskell.org)
    28 pointsby 35 minutes ago
    14comments
  14. Ask HN: Indie hackers on X (Twitter) feels like a mega bubble these days
    1 pointsby 40 minutes ago
    —discuss
  15. The Emacs Cat: Running Emacs in MicroVM (olddeuteronomy.github.io)
    1 pointsby 44 minutes ago
    —discuss
  16. According to 1950s futurists, women of the year 2000 would be giantesses (2012) (gizmodo.com)
    1 pointsby 44 minutes ago
    —discuss
  17. Overpaying for AWS Managed Nat Gateways? Fck-Nat (fck-nat.dev)
    2 pointsby 47 minutes ago
    —discuss
  18. Show HN: Aerofi – a rofi-inspired, scriptable launcher for macOS (Rust, GPUI) (github.com/frostymur)
    1 pointsby 47 minutes ago
    —discuss
  19. I am the only one who still uses sublime text daily?
    2 pointsby 47 minutes ago
    —discuss
  20. Show HN: App2Api – Give your AI the API behind your app (app2api.com)
    1 pointsby 50 minutes ago
    —discuss
  21. Writing a Theorem Prover from Scratch (astledsa.substack.com)
    2 pointsby 51 minutes ago
    —discuss
  22. Flashcat – a local AI assistant for the Mac terminal that asks first (github.com/tomtomsen765)
    1 pointsby 53 minutes ago
    —discuss
  23. An Epyc trip to Venice: about AMD's 256-core monster chip (theregister.com)
    1 pointsby 55 minutes ago
    —discuss
  24. Srijan Orizon – South Kolkata's Upcoming Landmark Project
    1 pointsby 59 minutes ago
    —discuss
  25. Fifteen years later, the Apple Cards origin story (lexontech.org)
    3 pointsby 1 hour ago
    —discuss
  26. Nintendo Wins $4.5M Judgment Against R/SwitchPirates Mod 'Archbox' (torrentfreak.com)
    2 pointsby 1 hour ago
    1comments
  27. The flames at Turkmenistan's Door to Hell are beginning to fade (getaway.co.za)
    2 pointsby 1 hour ago
    —discuss
  28. AMD Takes the Lid Off of Next-Gen EPYC 9006 Venice as Zen 6 Comes to Servers (servethehome.com)
    1 pointsby 1 hour ago
    2comments
  29. Demo of a concept "fractal" window manager [video] (youtube.com)
    4 pointsby 1 hour ago
    1comments
  30. LLM Red-temaing vs. Agent Red teaming (botgauge.com)
    1 pointsby 1 hour ago
    —discuss

Writing a Theorem Prover from Scratch

2 pointsby 52m agoastledsa.substack.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗