Ask HN: How would you lint natural-language specs before LLMs run them?

1 ceyhunkazel 0 9/18/2025, 10:16:24 PM

We lint code before execution—what’s the practical equivalent for natural-language specs before an LLM/agent runs them? I’m not looking for “NL ≠ code” debates; I’m after concrete designs, rules, and tooling that catch mistakes pre-execution.

The Fake Social Binary (brennenputh.me)

The Future of Browsing Begins Now (thenewstack.io)

Llama-Factory: Unified, Efficient Fine-Tuning for 100 Open LLMs (github.com)

ICE unit signs new $3M contract for phone-hacking tech (techcrunch.com)

GPU Accelerated Zero-Knowledge Proving by Developerayo (blog.shodipoayomide.com)

Simplifying Cross-Chain Transactions Using Intents (blog.shodipoayomide.com)

'Hedge America' Trade Fuels Global Rush into Short-Dollar Wagers (bloomberg.com)

Good Managers Write Good (2022) (staysaasy.com)

NASA's tally of planets outside our solar system reaches 6k (phys.org)

Amazon Is Developing AR Glasses in Challenge to Meta (theinformation.com)

Show HN: GPUKill – A lightweight tool to kill stuck GPU jobs (github.com)

Techstars Boulder and Welcoming Shay (nearlynicole.com)

An exploration into the nature of ChatGPT's mathematical knowledge (doi.org)

MessageFormat 2 – A full featured localization system, from Unicode (messageformat.unicode.org)

California Democrats institutionalize community college homelessness (wsws.org)

How to Start a Speech (2012)[video] (youtube.com)

Trump floats stripping networks critical of him of their broadcast licenses (politico.com)

Slaughter for Hire: The Rise and Fall of the Wagner Group (nybooks.com)

Show HN: Dyad, local, open-source Lovable alternative (Electron desktop app) (dyad.sh)

Optimized Materials in a Flash (newscenter.lbl.gov)

13-year-old boy has become the first person to be cured of a deadly brain cancer (upworthy.com)

Jimmy Kimmel Should Have Strong Odds at the Supreme Court (politico.com)

R7912 and 7912AD Transient Waveform Digitizers (vintagetek.org)

Ig Nobel Prize Ceremony (2025) (improbable.com)

A Neurobiological Framework for Solving the Execution Problem (atnself.com)

Good Times in River City: Bridgetown 2.0 Is Here (bridgetownrb.com)

2025 Ig Nobel Prize Winners (arstechnica.com)

Ask HN: Walled garden dwellers: What keeps you there?

Dark patterns killed my wife's Windows 11 installation (osnews.com)

Show HN: Bffgen – A Go CLI to generate secure Back end-for-Front end APIs (github.com)

Show HN: PlanAway – this app will get your trips out the group chat (planaway.xyz)

M7.8 earthquake in Kamchatka; 0.2M Tsunami Warning in Japan (jma.go.jp)

Classic recessive-or-dominant gene dynamics may not be so simple (news.stanford.edu)

Montblanc Digital Paper – Handwriting, Reimagined [video] (youtube.com)

Jawboning (merriam-webster.com)

Loews Theaters Welcomes You (1985) [video] (youtube.com)

Want to piss off your IT department? Are the links not malicious looking enough? (phishyurl.com)

A Group of Socialists Created a Hit Game That Tore Them Apart (nytimes.com)

Nvmath-Python: Nvidia Math Libraries for the Python Ecosystem (github.com)

Show HN: Build AI chat interfaces with Melony (github.com)

Roast my startup – Make Roomba Play with Kids/Dogs/Cats, bring you toilet paper

Solid-state EV batteries on the way – Mercedes' partner plans deliveries by 2025 (electrek.co)

AI tools are making the world look weird (strat7.com)

"Tending and Befriending" Is the 4th Survival Strategy (psychologytoday.com)

Intellectual Jokes That Teach (linch.substack.com)

The Self-Betrayal Heuristic (SBH)

Budget Cuts Paralyse Austrian DPA: NGO Complaint to the EU Commission (noyb.eu)

California electric vehicle drivers will lose carpool lane privileges (latimes.com)

The grind tactic in Lean 4 [video] (youtube.com)

Increased vCPU for Workers Builds on paid plans (developers.cloudflare.com)

Ask HN: How would you lint natural-language specs before LLMs run them?

Comments (0)