Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Why do we have rust in the kernel?(theregister.com)
    discuss
  2. NewKid Days in SF on Oct. 25 – show what you're building to families(newkid.ai)
    discuss
  3. People Hooked on Vapes Try a New Way to Quit: Cigarettes(bloomberg.com)
    discuss
  4. Sorority Row's GLP-1 Secret(thecut.com)
    discuss
  5. Making portable my unportable transputer C compiler(nanochess.org)
    discuss
  6. Show HN: Marklite: Lightweight Markdown Viewer/Editor(marklite.app)
    discuss
  7. The A.I. Party House Where Networking Has a Dark Side(nytimes.com)
    1comments
  8. Claude Status – Elevated errors for multiple models(claude.com)
    11comments
  9. Tinycc-cygwin (tcc-cygwin) compiler(github.com/muras69)
    discuss
  10. Show HN: Shapefile viewer that asks which datum when the .prj is missing(9revolution9.com)
    discuss
  11. Show HN: EagleQR -QR scanner that checks domain age and unshorts URL before open(play.google.com)
    discuss
  12. Forging 1024-bit RSA signatures in nearly SNFS time(github.com/ucsd-hacc)
    discuss
  13. ECB will invest in tokenised securities, and settle trades on its own new rail(thenextweb.com)
    discuss
  14. RustyTux: Linux kernel n-day local privilege escalation(github.com/m0x41nos)
    discuss
  15. Pyrowave: GPU-back video codec for high-bandwidth, low-latency streaming(github.com/themaister)
    1comments
  16. I think it's time to hang up my Three.js hat(twitter.com/dangreenheck)
    1comments
  17. The first mRNA flu shot is now available. Here's who can get it(nbcnews.com)
    2comments
  18. The Chern-Simons Function and the Quantum Hall Effect(arxiv.org)
    discuss
  19. Scaling Discovery Through Test-Time Communication(arxiv.org)
    discuss
  20. BCBS Michigan posts $246M loss in 2025(beckerspayer.com)
    discuss
  21. ShinyHunters hijack rival Clop's leak site(theregister.com)
    discuss
  22. Raspberry Pi is intentionally blocking RAM capacity upgrades(notebookcheck.net)
    discuss
  23. REO Trucks teams up with frankstephenson design on its new Runabout lineup(reotrucks.com)
    discuss
  24. Avoid White Noise at Work(inc.com)
    discuss
  25. First NetHack Ascension by an LLM(hardfought.org)
    discuss
  26. Trump admin won't give AI leaders a 'liability shield,' Bessent tells CNBC(cnbc.com)
    discuss
  27. Why Russia's New Jet-Powered Drones Are Harder to Stop(united24media.com)
    1comments
  28. Magic Jev Ball(rorz.io)
    discuss
  29. TIL: 0xCAFEBABE(artima.com)
    discuss
  30. Living is not for the weak(mikhailgarth.com)
    discuss

AI provides the logic; the compiler makes it real – with zero hallucinations

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

AI can write runnable SQL statements, but it is often unreliable. SQLazyturns SQL development into a step-by-step, verifiable, and auditable workflow, with a compiler to ensure that the final output is correct. How SQLazy works? SQLazy does not generate a huge blob of SQL in one go. Instead, it turns the SQL development into a step-by-step, traceable workflow:

Use semi-natural language syntax to describe what each step does.

Verify the logic at each step – Intermediate results are inspectable.

Let the compiler generate the final SQL.

The final SQL is generated by the compiler, not the LLM. This means:

Zero SQL errors from AI hallucination, with 100% correct results.

The logic is fully auditable.

The output is production-ready.