Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. BuiltByVibe – Directory of vibe-coded apps with a free MCP server(builtbyvibe.dev ↗)
    discuss
  2. Altman, Huang: "trust me; gonna b fine"; Sanders: "AI more dangerous than nukes"(garymarcus.substack.com ↗)
    1comments
  3. Fermi.gg – Daily game based on the "Fermi estimation" technique(fermi.gg ↗)
    discuss
  4. Everything Feels Fake – Here's Why: The Power Elite Playbook [video](youtube.com ↗)
    discuss
  5. How to Unslop a Commit?
    discuss
  6. Plain Text Sports(plaintextsports.com ↗)
    discuss
  7. ProductFight – Productfight.lol
    discuss
  8. Ask HN: What do your agents do?
    discuss
  9. New wild cat species discovered – with only one known living member(bbc.com ↗)
    discuss
  10. The Filename`IBHashImageName` Breaks iOS[video](youtube.com ↗)
    discuss
  11. The Front Page of the Internet Is Up for Grabs(idiallo.com ↗)
    discuss
  12. VIPR RNA-guided DNA recognition by noncontiguous geometric triplex formation(science.org ↗)
    discuss
  13. Cloudron 10 – A decade of self-hosting(cloudron.io ↗)
    discuss
  14. Why Beyond Just RAG?(medium.com/nikozero11 ↗)
    discuss
  15. She's Leaving Me Because I Never Called Her Beautiful(etechx.co.ke ↗)
    discuss
  16. Sometimes, It Takes Too Long Before the Sun Rises(etechx.co.ke ↗)
    discuss
  17. Open Source / ClosedSource / ClaudeSource?
    discuss
  18. Jev vs. Luna for AI Observability(fatliverfreddy.substack.com ↗)
    discuss
  19. The Making of Roger Scruton(firstthings.com ↗)
    discuss
  20. Asking Authors About Their Own Papers (TMLR)(medium.com/tmlrorg ↗)
    1comments
  21. Running Doom on Linux inside TinyEmu inside Docker inside WASM inside Electron(deepclause.substack.com ↗)
    discuss
  22. OpenTelemetry everywhere: Migrating a metrics platform at scale(cncf.io ↗)
    discuss
  23. Former Labour deputy leader Tom Watson joins Palantir(theguardian.com ↗)
    discuss
  24. Free Unlimited AI Text to Speech – No Sign Up(aitexttospeech.net ↗)
    discuss
  25. P2panda – Building blocks for P2P apps(p2panda.org ↗)
    1comments
  26. Zcode-silent-workspace-snapshot-upload(ferstar.org ↗)
    discuss
  27. The More It Says, the More You Pay: A Black-Box Audit of Token Inflation in LLM(arxiv.org ↗)
    discuss
  28. Here’s How an OpenAI Model Went Rogue and Hacked Hugging Face(hacktron.ai ↗)
    discuss
  29. I made a stupid simple app that charges me real money if I give up on focusing(quitcost.com ↗)
    discuss
  30. LLMs respond differently to harmful prompts when AI watermarking is used(arstechnica.com ↗)
    discuss

Show HN: Open-Source Alternative to TypeSafe.ai

1 pointsby 1h agogithub.com
1 comments
1h agoHN ↗

A source-available (and free for non-production, personal and SMB use) deterministic reasoning engine.

Models knowledge as a symbolic reasoning style knowledge base. With modern coding agents, can be taught on a few examples with a single prompt. Once a knowledge base is generated, the inference is completely deterministic/programmatic and can be run as pure JS code for structured inputs, or integrated with an agent (skill included) for processing unstructured text/documents.