Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Show HN: DroidPutter – Run Cardputer Apps on Android via USB OTG(github.com/fcavalcantirj ↗)
    1 pointsby 0 minutes ago
    —discuss
  2. Why building a Rust LSP is hard(rust-glancer.github.io ↗)
    1 pointsby 0 minutes ago
    —discuss
  3. Some things Veloren does differently(jsbarretto.com ↗)
    1 pointsby 0 minutes ago
    —discuss
  4. New Potential Automatic Parallelizer(deshi.ch ↗)
    1 pointsby 4 minutes ago
    1comments
  5. I Put My Startup Esdenera on Hold(archive.org ↗)
    1 pointsby 6 minutes ago
    —discuss
  6. Am I Cited by AI? See which AI assistants are reading your papers(amicitedby.ai ↗)
    1 pointsby 10 minutes ago
    —discuss
  7. Quantifying Context Rot(boolean.ai ↗)
    2 pointsby 11 minutes ago
    —discuss
  8. A4list: Two weeks, folded small (A4 paper plan designer)(enzom.dev ↗)
    1 pointsby 12 minutes ago
    1comments
  9. Signal Enables Phone Number-Less Registration in Beta(privacyguides.org ↗)
    1 pointsby 12 minutes ago
    —discuss
  10. Steve Wozniak launches merch store(daringfireball.net ↗)
    2 pointsby 13 minutes ago
    1comments
  11. VideoRouter – OpenRouter for video and image generation APIs(videorouter.sh ↗)
    1 pointsby 16 minutes ago
    1comments
  12. Perhaps I Got Lucky Never Learning Math(humanparadox.org ↗)
    2 pointsby 17 minutes ago
    —discuss
  13. Gentrification signals are a lagging indicator of home prices, not a leading one(petervijeh.com ↗)
    1 pointsby 17 minutes ago
    —discuss
  14. GPS time from ATSC broadcast PoC(fabian.fyi ↗)
    1 pointsby 21 minutes ago
    —discuss
  15. iTerm2 Buddy – iTerm2 Companion App(iterm2.com ↗)
    1 pointsby 21 minutes ago
    —discuss
  16. Firefox 156 opens PDFs 45% faster, plus a few annoying bug fixes(pcworld.com ↗)
    2 pointsby 24 minutes ago
    —discuss
  17. Ribbit: A Small Scheme VM, Compiler and REPL in 4K (2021) [video](youtube.com ↗)
    2 pointsby 25 minutes ago
    1comments
  18. How well did LLMs for Mortals hold up 6 months after publishing(crimede-coder.com ↗)
    1 pointsby 28 minutes ago
    —discuss
  19. One9s – A Bubble Tea TUI for OpenNebula Cluster Management(scszero.com ↗)
    2 pointsby 31 minutes ago
    —discuss
  20. Flock cameras are riddled with security vulnerabilities and hardcoded creds(micahflee.com ↗)
    35 pointsby 31 minutes ago
    3comments
  21. How electric cars took hold in Australia(nytimes.com ↗)
    1 pointsby 32 minutes ago
    1comments
  22. waterfall: Induction Proofs in Lean(samth.github.io ↗)
    1 pointsby 34 minutes ago
    —discuss
  23. Danish pharma giant Novo to use Anthropic's Claude to advance AI drug discovery(euronews.com ↗)
    4 pointsby 35 minutes ago
    1comments
  24. Show HN: Learn Claude Code – Interactive Mindmap(mikenikles.com ↗)
    1 pointsby 37 minutes ago
    —discuss
  25. Show HN: Collected every single "What are you working on" project into a website(reachpad.app ↗)
    2 pointsby 38 minutes ago
    2comments
  26. Model Misalignment Reporting Framework(openai.com ↗)
    3 pointsby 39 minutes ago
    —discuss
  27. What we learned from our traces(traces.com ↗)
    1 pointsby 39 minutes ago
    —discuss
  28. You are doing your code gen wrong(testrigor.com ↗)
    2 pointsby 40 minutes ago
    —discuss
  29. HarnessTax: How Much Does the Harness Matter for Coding Agents?(harnesstax.github.io ↗)
    3 pointsby 41 minutes ago
    —discuss
  30. Can I get insurance for company renting humanoids for parties?
    2 pointsby 42 minutes ago
    2comments

waterfall: Induction Proofs in Lean

1 pointsby 35m agosamth.github.io
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗