Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Claude skill and Obsidian plugin to proofread your English writing(codomaniac.com ↗)
    1 pointsby 1 minute ago
    —discuss
  2. Show HN: NiceTryGPT and CTF and riduzione degli shortcut LLM(github.com/aleff-github ↗)
    2 pointsby 2 minutes ago
    —discuss
  3. NodeX – Serverless P2P E2EE Messenger in Rus(github.com/netgadz ↗)
    1 pointsby 2 minutes ago
    —discuss
  4. QLoRA Explained – How 4 Bit Quantization Unlocks Frontier Models(theneuralmaze.substack.com ↗)
    1 pointsby 3 minutes ago
    —discuss
  5. From MySQL to PostgreSQL: a much lighter server(ozkanpakdil.github.io ↗)
    1 pointsby 4 minutes ago
    —discuss
  6. Show HN: Agentic OS: one Rust Linux binary, one SQLite and sandbox per actor(github.com/mmeyerlein ↗)
    1 pointsby 7 minutes ago
    1comments
  7. Eigenism(eigenism.org ↗)
    1 pointsby 7 minutes ago
    —discuss
  8. Building an Agentic Coding Server in Go(prakhargurunani.com ↗)
    1 pointsby 10 minutes ago
    —discuss
  9. AI Journal 1: The Slow Surrender to AI(devshrine.net ↗)
    1 pointsby 11 minutes ago
    —discuss
  10. Domain sellers try to scam me(devshrine.net ↗)
    1 pointsby 14 minutes ago
    —discuss
  11. What were Roman dodecahedrons used for?(chatgpt.site ↗)
    1 pointsby 17 minutes ago
    —discuss
  12. Agents are replacing pull requests, Playwright, and chip design tools(fromtheterminal.substack.com ↗)
    1 pointsby 17 minutes ago
    —discuss
  13. 'Anti-vampiric' grave used two strategies to stop the undead(sciencenews.org ↗)
    3 pointsby 17 minutes ago
    —discuss
  14. The Overhang(oneusefulthing.org ↗)
    2 pointsby 18 minutes ago
    —discuss
  15. MNIST64: Interactive speed 6502 implementation on the Commodore 64 [pdf](jarnoh.github.io ↗)
    1 pointsby 19 minutes ago
    —discuss
  16. HN: MacDown SE, the Native Apple Silicon Continuation of MacDown with MCP(github.com/eldris-io ↗)
    1 pointsby 21 minutes ago
    —discuss
  17. Natural General Intelligence(naturalgeneralintelligence.ai ↗)
    1 pointsby 23 minutes ago
    —discuss
  18. Steppy Fox, a one-tap browser game(steppyfox.com ↗)
    1 pointsby 26 minutes ago
    —discuss
  19. The Proof in the Code: How a Truth Machine Is Transforming Math and AI(publishersweekly.com ↗)
    1 pointsby 31 minutes ago
    —discuss
  20. Software Sandboxing: The Basics(emilua.org ↗)
    2 pointsby 31 minutes ago
    —discuss
  21. Sorry, Webster. Most People Don't Want Internet Slang in the Dictionary(nytimes.com ↗)
    2 pointsby 32 minutes ago
    1comments
  22. I Stole RRR from Elon Musk and SpaceX(github.com/mlsystemsri ↗)
    1 pointsby 32 minutes ago
    —discuss
  23. Anthropic is cutting Claude Code's current weekly limits by 17%(bleepingcomputer.com ↗)
    5 pointsby 34 minutes ago
    3comments
  24. Dead Cowboy(smithery.ai ↗)
    1 pointsby 34 minutes ago
    —discuss
  25. The Stripe Subscription Downgrade Loophole(bookofrevenue.com ↗)
    3 pointsby 35 minutes ago
    —discuss
  26. Show HN: SaaS Pricing Tracker(kimsalmi.com ↗)
    1 pointsby 36 minutes ago
    —discuss
  27. Boston drops Flock after outside agencies gained access to vehicle data(masslive.com ↗)
    2 pointsby 37 minutes ago
    —discuss
  28. GPG: A philosophical dead end (2015)(moxie.org ↗)
    2 pointsby 40 minutes ago
    2comments
  29. Saturation at GitHub(surfingcomplexity.blog ↗)
    3 pointsby 43 minutes ago
    —discuss
  30. AI Helps People Get Past the Blank Page(greyenlightenment.com ↗)
    2 pointsby 45 minutes ago
    —discuss

Ordinal definability–how did Gödel do it?

1 pointsby 49m agoinfinitelymore.xyz
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗