frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Formal proof that agentic AI governance latency can be O(1) instead of O(days)

https://arxiv.org/abs/2605.17909
1•riddhimohan•47m ago

What I Told Charles About RFCs

https://uaxd.fr/dispatches/what-i-told-charles-about-rfcs.html
1•enoch_cg•1m ago•0 comments

Linux 7.1-rc4: security list "almost unmanageable" from AI bug reports

https://lwn.net/Articles/1073192/
1•zdkaster•5m ago•1 comments

No, I don't want my kids using your stupid AI

https://www.theglobeandmail.com/life/article-no-i-dont-want-my-kids-using-your-stupid-ai/
1•petethomas•5m ago•0 comments

The 30 Year Game

https://remysharp.com/2026/05/17/the-30-year-game
1•tobr•12m ago•0 comments

In Memoriam: Peter G. Neumann (1932-2026)

https://cacm.acm.org/news/in-memoriam-peter-g-neumann-1932-2026/
1•fork-bomber•12m ago•0 comments

Standard Chartered to cut roles as AI use increases

https://www.bbc.com/news/articles/crep3v8vzglo
2•KnuthIsGod•17m ago•0 comments

Xiaomi YU7 GT Breaking the Nürburgring SUV Lap Record [video]

https://www.youtube.com/watch?v=Fx6d-K_8QXg
1•gainsurier•19m ago•0 comments

Mug Shots: A Small Town Noir (2014)

https://theappendix.net/issues/2014/4/mug-shots-a-small-town-noir
3•samclemens•20m ago•0 comments

As of April 2026: Iran has destroyed 42 U.S. Military Aircraft in Op: Epic Fury

https://nationalsecurityjournal.org/iran-destroyed-42-u-s-military-aircraft-in-operation-epic-fur...
17•Gaishan•21m ago•1 comments

We Made a World for Bots

https://empaworld.ai
1•sarah-oates•25m ago•0 comments

Adding Fake Shadows to My Puzzle Game

https://qcgeneral29.itch.io/lets-learn/devlog/1524864/alpha-version-8-fake-shadows
1•LandenLove•26m ago•0 comments

Causal Video Models Are Data-Efficient Robot Policy Learners

https://www.rhoda.ai/research/direct-video-action
1•e_iris•30m ago•0 comments

PyTorch Landscape

https://pytorch.landscape2.io
3•salamo•30m ago•0 comments

Replacing My ISP Router with a UniFi Cloud Gateway Max

https://kevquirk.com/replacing-my-isp-router-with-a-unifi-cloud-gateway-max
1•speckx•31m ago•0 comments

Codex-Maxxing

https://jxnl.co/writing/2026/05/10/codex-maxxing/
2•dnw•35m ago•0 comments

Product is not the problem. Your main image might be

https://www.getwhitebg.com
1•yibaoshan•36m ago•0 comments

SEC to Ready Plan for Trading Crypto Versions of Stocks

https://www.bloomberg.com/news/articles/2026-05-18/sec-is-said-to-ready-plan-for-trading-crypto-v...
3•petethomas•37m ago•0 comments

The first AI Bulk Upscaling tool for filmmakers and creator pipelines

https://upscalehero.com/
1•Ptconnection•41m ago•1 comments

Proposals Repo, a place for ideas to start their incubation journey

https://github.com/WICG/proposals
2•nashashmi•45m ago•0 comments

Balancing persistence vs. pivoting – is grit a virtue or wasteful?

https://optimizedbyotto.com/post/balancing-persistence-vs-pivoting/
1•MaxMussio•46m ago•0 comments

Formal proof that agentic AI governance latency can be O(1) instead of O(days)

https://arxiv.org/abs/2605.17909
1•riddhimohan•47m ago•0 comments

Ask HN: Company is rapidly cutting AI tool spend how to prep team?

3•Snakes3727•49m ago•8 comments

Show HN: Memory Concierge – hotel concierge AI

https://memory-concierge.vercel.app
1•abhilash617•50m ago•0 comments

Using algebra and LLMs to verify a flight-plan bug fix in Lean

https://jameshaydon.github.io/algebra-llms-lean-flight-plan/
2•jameshh•53m ago•0 comments

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

https://github.com/harmont-dev/hsrs
2•suis_siva•53m ago•0 comments

Digital Growth Starts Here – Digital Marketing Agency

1•magicalweb•54m ago•0 comments

Apple Silicon costs more than OpenRouter

https://twitter.com/rohan_sood15/status/2056585919805714777
10•rohansood15•58m ago•1 comments

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

https://www.llmcap.io/
2•cfaruk•1h ago•0 comments

Frontier models at open source cost – hot new AI Model Router

https://www.orcarouter.ai/
2•sangwen•1h ago•0 comments

Active Supply Chain Attack Compromises Antv Packages on NPM

https://socket.dev/blog/antv-packages-compromised
3•882542F3884314B•1h ago•0 comments