fp.

Tell HN: Hardware flaws to confidential AI are probably worse than they let on

1•arboles•53s ago•0 comments

Improving Fuzzy Robustness in LLM Safety with Automated Red Teaming

https://alignment.openai.com/fuzzy-robustness/

1•Klaster_1•1m ago•0 comments

I Built a Tiny HTTP Server in Rust and Formally Verified It with Lean 4

https://medium.com/@Koukyosyumei/i-built-a-tiny-http-server-in-rust-and-formally-verified-it-with...

1•syumei•2m ago•0 comments

Hubble images a gallery of gravitational lenses for the Roman telescope

https://science.nasa.gov/missions/hubble/nasas-hubble-offers-cosmic-sampler-of-targets-for-roman/

1•titusblair•2m ago•0 comments

OpenAI: Cyber at the Frontier

https://openai.com/cyber-at-the-frontier/

1•lkurtz•3m ago•0 comments

What the ratchet did not see: 30 days of an agentic software factory

https://zenodo.org/records/24169186

1•andreifralou•5m ago•0 comments

Show HN: Captain's Log, a Mac app for thinking out loud

https://koenvangilst.nl/lab/captains-log

1•vnglst•6m ago•0 comments

European survey reveals 900M galaxies – and possibly secrets of 'dark universe'

https://www.theguardian.com/science/2026/nov/12/european-euclid-mission-reveals-900m-galaxies-sec...

1•nephihaha•7m ago•0 comments

Asynchronous Programming

https://eloquentjavascript.net/11_async.html

1•mahirsaid•7m ago•0 comments

Google Search gets a major upgrade with Gemini 4 Hydrogen

https://blog.google/products-and-platforms/products/search/gemini-4-hydrogen-search-upgrade/

3•rbinv•8m ago•0 comments

Gemini 4 Hydrogen

https://aistudio.google.com/docs/whats-new-gemini-4-hydrogen

6•thisisauserid•11m ago•1 comments

P(doom) at the Cracker Barrel

https://www.al.com/news/2026/11/pdoom-at-the-cracker-barrel.html

1•asderghjklsemi•11m ago•0 comments

Modica and the Femminello Night Bandits

https://www.notesfromtheroad.com/europa/modica.html

1•erik-gauger•11m ago•0 comments

Gemini 4 Hydrogen

https://blog.google/innovation-and-ai/models-and-research/gemini-models/introducing-gemini-4-hydr...

48•dvaplima•12m ago•8 comments

Gemini 4 Hydrogen

https://deepmind.google/models/model-cards/gemini-4-hydrogen/

5•it_works•12m ago•1 comments

Fundamental limits of proofs of programs [video]

https://www.youtube.com/watch?v=MH2uW0apGKU

1•matt_d•15m ago•0 comments

Ask HN: How many GPUs do you run on your OpenCode dev setup?

3•roschdal•17m ago•0 comments

Parsing MP4 metadata from Zig 0.18 with minimp4.h [video]

https://www.youtube.com/watch?v=-gqZt_e-mHw

1•eckhardtdreyer•18m ago•0 comments

Billions lost and markets roiled. Isn't it now clear tech bros are too powerful?

https://www.theguardian.com/commentisfree/2026/nov/12/billions-lost-markets-roiled-one-man-indisc...

4•billybuckwheat•18m ago•0 comments

Gemini Hydrogen available now on aistudio and antigravity

1•algoth1•18m ago•0 comments

New models tested: Fable 5.2, Muse Ember 1.0, Inkling 2 Small

https://www.metergraph.dev/blog/release-radar/2026-11/

1•VasiliyRad•19m ago•0 comments

Expo Simulators: cloud simulators built for agents

https://expo.dev/blog/introducing-expo-simulators-cloud-simulators-built-for-agents

4•szdziedzic•20m ago•3 comments

Show HN: Tatane, a 2-player card game where you build hands on a shared grid

https://playtatane.com/

2•dezmou•21m ago•0 comments

Brave Search API now accepts agentic payments via the x402 protocol

https://brave.com/blog/search-api-agentic-payments/

1•twapi•21m ago•0 comments

Show HN: I built an enhanced AI chat using the new Generative UI from CopilotKit

https://github.com/aanthonymax/copilotkit-generative-ui-example

1•aanthonymax•22m ago•0 comments

Show HN: Kapso – Iterative learning from enterprise data

5•alireza_msh•22m ago•0 comments

Show HN: Jigwise, free jigsaw puzzles in the browser

https://jigwise.com

4•puzzlewright•23m ago•0 comments

Internet_Janitor Interviewed about Decker and K

https://alexalejandre.com/interviews/interview-with-john-earnest/

1•veqq•25m ago•0 comments

Refusal collapse with tool reach in a consumer assistant

https://jonprice0.github.io/architecture-of-failure/finding/

1•jonprice0•25m ago•0 comments

Jensen Huang Should Have Fought for AGI

https://blog.jtoy.net/jensen-huang-should-have-fought-for-agi/

1•toisanji•28m ago•0 comments

Tell HN: Hardware flaws to confidential AI are probably worse than they let on

Improving Fuzzy Robustness in LLM Safety with Automated Red Teaming

I Built a Tiny HTTP Server in Rust and Formally Verified It with Lean 4

Hubble images a gallery of gravitational lenses for the Roman telescope

OpenAI: Cyber at the Frontier

What the ratchet did not see: 30 days of an agentic software factory

Show HN: Captain's Log, a Mac app for thinking out loud

European survey reveals 900M galaxies – and possibly secrets of 'dark universe'

Asynchronous Programming

Google Search gets a major upgrade with Gemini 4 Hydrogen

Gemini 4 Hydrogen

P(doom) at the Cracker Barrel

Modica and the Femminello Night Bandits

Gemini 4 Hydrogen

Gemini 4 Hydrogen

Fundamental limits of proofs of programs [video]

Ask HN: How many GPUs do you run on your OpenCode dev setup?

Parsing MP4 metadata from Zig 0.18 with minimp4.h [video]

Billions lost and markets roiled. Isn't it now clear tech bros are too powerful?

Gemini Hydrogen available now on aistudio and antigravity

New models tested: Fable 5.2, Muse Ember 1.0, Inkling 2 Small

Expo Simulators: cloud simulators built for agents

Show HN: Tatane, a 2-player card game where you build hands on a shared grid

Brave Search API now accepts agentic payments via the x402 protocol

Show HN: I built an enhanced AI chat using the new Generative UI from CopilotKit

Show HN: Kapso – Iterative learning from enterprise data

Show HN: Jigwise, free jigsaw puzzles in the browser

Internet_Janitor Interviewed about Decker and K

Refusal collapse with tool reach in a consumer assistant

Jensen Huang Should Have Fought for AGI

Gemini 4 Hydrogen

Comments

Tell HN: Hardware flaws to confidential AI are probably worse than they let on

Improving Fuzzy Robustness in LLM Safety with Automated Red Teaming

I Built a Tiny HTTP Server in Rust and Formally Verified It with Lean 4

Hubble images a gallery of gravitational lenses for the Roman telescope

OpenAI: Cyber at the Frontier

What the ratchet did not see: 30 days of an agentic software factory

Show HN: Captain's Log, a Mac app for thinking out loud

European survey reveals 900M galaxies – and possibly secrets of 'dark universe'

Asynchronous Programming

Google Search gets a major upgrade with Gemini 4 Hydrogen

Gemini 4 Hydrogen

P(doom) at the Cracker Barrel

Modica and the Femminello Night Bandits

Gemini 4 Hydrogen

Gemini 4 Hydrogen

Fundamental limits of proofs of programs [video]

Ask HN: How many GPUs do you run on your OpenCode dev setup?

Parsing MP4 metadata from Zig 0.18 with minimp4.h [video]

Billions lost and markets roiled. Isn't it now clear tech bros are too powerful?

Gemini Hydrogen available now on aistudio and antigravity

New models tested: Fable 5.2, Muse Ember 1.0, Inkling 2 Small

Expo Simulators: cloud simulators built for agents

Show HN: Tatane, a 2-player card game where you build hands on a shared grid

Brave Search API now accepts agentic payments via the x402 protocol

Show HN: I built an enhanced AI chat using the new Generative UI from CopilotKit

Show HN: Kapso – Iterative learning from enterprise data

Show HN: Jigwise, free jigsaw puzzles in the browser

Internet_Janitor Interviewed about Decker and K

Refusal collapse with tool reach in a consumer assistant

Jensen Huang Should Have Fought for AGI