frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Runtime Verification for SQL Agents

https://github.com/yudduy/sql_exenv
1•yudduy•38m ago

Comments

yudduy•37m ago
built this after watching sql agents silently return wrong data. queries run fine, no errors - but the results are just wrong. syntax checkers don't catch it.

turns out db engine devs have the same problem testing query planners. they use metamorphic testing - generate equivalent queries that must return the same results, then check if they do. sqlancer found 400+ bugs in postgres/mysql/sqlite this way.

so i applied the same techniques (TLP, NoREC) to verify llm-generated sql at runtime. also analyzes EXPLAIN plans for perf issues.

trying to give sql agents a real feedback loop instead of just generating and hoping. curious if anyone else is working on this or tried different approaches.

Joe Armstrong – The mess we are in

https://youtu.be/lKXe3HUG2l4?si=YEbsd9xOCH_yP_C2
1•lifeisstillgood•41s ago•0 comments

Ask HN: Hard and deep tech – why are Jira and Confluence the go-to PM tools?

1•dnlh_lvg•43s ago•0 comments

Dr. Chainlove Or: How I Learned to Stop Worrying and Love On-Chain Gaming

https://organizedplayer.substack.com/p/dr-chainlove-or-how-i-learned-to
1•0north•1m ago•0 comments

Prosecutor Used Flawed A.I. To Keep a Man in Jail, His Lawyers Say

https://www.nytimes.com/2025/11/25/us/prosecutor-artificial-intelligence-errors-lawyers-californi...
2•perihelions•3m ago•0 comments

BebboSSH: SSH2 implementation for Amiga systems (68000, GPLv3)

https://franke.ms/git/bebbo/bebbossh
1•snvzz•4m ago•0 comments

Genesis Mission – A National Mission to Accelerate Science Through AI

https://genesis.energy.gov/
1•Anon84•7m ago•0 comments

Design Follows Data Structures

https://www.tedinski.com/2019/01/29/data-structures-are-fundamental.html
2•plutonium3345•8m ago•0 comments

Maybe some people should just give up [video]

https://www.youtube.com/watch?v=rsoEipuwXiI
1•koakuma-chan•11m ago•0 comments

I tracked 609 food additives across 817K products to find awareness gaps

https://compareadditives.com
3•markvitals•11m ago•1 comments

GrapheneOS ceases operations in France amid pressure and legal threats

https://alternativeto.net/news/2025/11/grapheneos-ceases-operations-in-france-amid-pressure-and-l...
2•airhangerf15•14m ago•0 comments

Are LLMs the Best That They Will Ever Be?

https://asimovaddendum.substack.com/p/are-llms-the-best-that-they-will
3•rufusrock•15m ago•1 comments

Scientists can now watch metal crystals grow inside liquid metal

https://theconversation.com/scientists-can-now-watch-metal-crystals-grow-inside-liquid-metal-270451
3•billybuckwheat•22m ago•0 comments

Automating Linux Backups with Rsync: A Set-and-Forget Strategy

https://orioninsist.org/blog/linux-automated-backup-rsync-guide/
1•orioninsist•26m ago•0 comments

Show HN: Free macro dashboards with downloadable charts (e.g., EUR/USD)

https://fxmacrodata.com/dashboard/EUR_USD
1•roberttidball•27m ago•1 comments

Show HN: Real-time system that tracks how news spreads across 200k websites

https://yandori.io/news-flow/
1•antiochIst•28m ago•1 comments

Credits Are Not It

https://hengar.pika.page/posts/credits-are-not-it
2•hengar•31m ago•0 comments

Space: 1999 – Special Effects Techniques

https://catacombs.space1999.net/main/pguide/upsfx.html
6•exvi•36m ago•0 comments

Show HN: Runtime Verification for SQL Agents

https://github.com/yudduy/sql_exenv
1•yudduy•38m ago•1 comments

In Praise of Bibliomania

https://lithub.com/nothing-better-than-a-whole-lot-of-books-in-praise-of-bibliomania/
3•bookofjoe•38m ago•0 comments

Other Winfield Creations (2002)

https://c-we.com/piranha/page9.htm
1•exvi•39m ago•0 comments

GM Reward Loophole Explained: Cars Paid Off in Seconds

https://resellcalendar.com/news/news/gm-reward-loophole-explained-cars-paid-off-in-seconds/
3•typeofhuman•39m ago•1 comments

Deconstructing the Spinner: A One on One chat with Gene Winfield (2000)

https://media.bladezone.com/contents/film/interviews/gene-winfield/
1•exvi•41m ago•0 comments

A man who's been waiting in jail for his day in court for 6 years

https://substack.com/inbox/post/178811090
2•msdrigg•42m ago•0 comments

Singapore orders Apple, Google to prevent gov spoofing on messaging platforms

https://www.reuters.com/world/asia-pacific/singapore-orders-apple-google-prevent-government-spoof...
3•phantomathkg•45m ago•0 comments

Proton Meet: Secure, end-to-end encrypted video conferencing

https://proton.me/meet
13•absqueued•58m ago•2 comments

Mystery of the Quintic

https://youtu.be/9HIy5dJE-zQ
1•surprisetalk•59m ago•0 comments

Show HN: Agentic Arena – 52 tasks implemented by Opus 4.5, Gemini 3, and GPT-5.1

https://arena.logic.inc/
1•sgk284•1h ago•2 comments

Employee quits job over an Nvidia RTX 5060

https://www.tomshardware.com/pc-components/gpus/employee-quits-job-over-an-nvidia-rtx-5060-intern...
16•R_Uttam•1h ago•14 comments

AgentDevCamp

https://agentdevcamp.com/
1•mooreds•1h ago•0 comments

Defending the cloud: Azure neutralized a record-breaking 15 Tbps DDoS attack

https://techcommunity.microsoft.com/blog/azureinfrastructureblog/defending-the-cloud-azure-neutra...
3•thunderbong•1h ago•0 comments