frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Meta blocks human rights accounts from reaching audiences in Arabia and the UAE

https://www.alqst.org/ar/posts/1190
645•giuliomagnifico•4h ago•259 comments

Goodbye Visa and Mastercard: 130M Europeans switching to sovereign payment

https://www.lesnumeriques.com/banque-en-ligne/adieu-visa-et-mastercard-130-millions-d-europeens-b...
650•healsdata•3h ago•527 comments

Qwen3.7-Max: The Agent Frontier

https://qwen.ai/blog?id=qwen3.7
361•kevinsimper•6h ago•128 comments

Saying Goodbye to Asm.js

https://spidermonkey.dev/blog/2026/05/20/saying-goodbye-to-asmjs.html
170•eqrion•4h ago•76 comments

SBCL: The Assembly Code Breadboard (2014)

https://pvk.ca/Blog/2014/03/15/sbcl-the-ultimate-assembly-code-breadboard/
26•yacin•1h ago•0 comments

Map of Metal

https://mapofmetal.com/
257•robin_reala•6h ago•82 comments

Victory: Tennessee man jailed 37 days for Trump meme wins $835,000 settlement

https://www.fire.org/news/victory-tennessee-man-jailed-37-days-trump-meme-wins-835000-settlement-...
302•ceejayoz•2h ago•148 comments

Google's AI is being manipulated. The search giant is quietly fighting back

https://www.bbc.com/future/article/20260519-google-tackles-attempts-to-hack-its-ai-results
120•tigerlily•5h ago•70 comments

Testing distributed systems with AI agents

https://github.com/shenli/distributed-system-testing
32•shenli3514•2h ago•2 comments

Everything in C is undefined behavior

https://blog.habets.se/2026/05/Everything-in-C-is-undefined-behavior.html
395•lycopodiopsida•10h ago•534 comments

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/
18•pyrex41•1h ago•1 comments

Apparently Google hates us now

https://twitter.com/pokemoncentral/status/2057123807404638250
45•zeitg3ist•26m ago•6 comments

Handling the great code forge fragmentation

https://www.alexselimov.com/posts/forge_fragmentation/
8•mooreds•3d ago•2 comments

When Fast Fourier Transform Meets Transformer for Image Restoration (2024)

https://github.com/deng-ai-lab/SFHformer
49•teleforce•2d ago•4 comments

Gemini 3.5 Flash

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-5/
912•spectraldrift•23h ago•622 comments

Autoregressive next token prediction and KV Cache in transformers

https://medium.com/advanced-deep-learning/autoregressive-next-token-prediction-kv-cache-in-transf...
24•coarchitect•2d ago•0 comments

Smartmedia Card Spec Opened, available free (2000)

https://www.edn.com/smartmedia-card-interface-spec-opened-available-for-free/#google_vignette
15•brudgers•2d ago•5 comments

Stable Audio 3

https://arxiv.org/abs/2605.17991
23•guardienaveugle•1h ago•2 comments

FiveThirtyEight articles on the Internet Archive

https://fivethirtyeightindex.com/
329•ChocMontePy•15h ago•75 comments

I’ve built a virtual museum with nearly every operating system you can think of

https://virtualosmuseum.org/
912•andreww591•1d ago•201 comments

Japan is gripped by mass allergies. A 1950s project is to blame

https://www.bbc.com/future/article/20260515-the-1950s-blunder-which-causes-mass-hay-fever-in-japan
272•ranit•15h ago•128 comments

OpenAI Is Preparing to File for an IPO Soon

https://www.wsj.com/tech/ai/openai-is-preparing-to-file-for-an-ipo-very-soon-0ec95af5
20•louiereederson•28m ago•3 comments

America's Greatest Strategic Blunder: The Imprisonment of Qian Xuesen

https://danieltan.weblog.lol/2026/05/americas-greatest-strategic-blunder-the-imprisonment-of-qian...
78•danieltanfh95•3h ago•37 comments

Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks

https://github.com/antoinezambelli/forge
610•zambelli•1d ago•219 comments

Infomaniak transitions to a foundation model to protect user data privacy

https://news.infomaniak.com/en/infomaniak-foundation-sovereign-cloud/
143•darktoto•11h ago•37 comments

No way to parse integers in C (2022)

https://blog.habets.se/2022/10/No-way-to-parse-integers-in-C.html
46•konmok•6h ago•58 comments

Google changes its search box

https://blog.google/products-and-platforms/products/search/search-io-2026/
644•berkeleyjunk•22h ago•877 comments

Remove-AI-Watermarks – CLI and library for removing AI watermarks from images

https://github.com/wiltodelta/remove-ai-watermarks
360•janalsncm•18h ago•222 comments

Gemini CLI will stop working from June 18, 2026

https://developers.googleblog.com/an-important-update-transitioning-gemini-cli-to-antigravity-cli/
353•primaprashant•22h ago•186 comments

Mistral AI acquires Emmi AI

https://www.emmi.ai/news/mistral-ai-acquires-emmi-ai
316•doener•21h ago•92 comments
Open in hackernews

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/
18•pyrex41•1h ago

Comments

pyrex41•1h ago
Author here. The TL;DR: move rules from prompts into types the compiler refuses to violate, then bounce the AI coding loop off those refusals. The repo is github.com/pyrex41/Shen-Backpressure. Builds a lot on Geoff Huntley's backpressure idea -- none of this is rocket science, just an effort to apply sound programming principles in a world of LLM coding agents.