fp.

Amazon says restoring damaged Middle East cloud operations to take months

https://www.reuters.com/world/middle-east/amazon-says-damaged-uae-cloud-region-recovery-take-seve...

1•abdelhousni•49s ago•0 comments

Learning Kubernetes Security second edition book

https://www.packtpub.com/en-us/product/learning-kubernetes-security-9781835886397

1•bernardoortega•5m ago•0 comments

Jaron Lanier – You Are Not a Gadget (2011) [video]

https://www.youtube.com/watch?v=IwbGumZ-FYg

1•simonebrunozzi•6m ago•0 comments

Show HN: Valkyr LM Inference with Realtime Guarantees

https://github.com/Foundation42/valkyr

1•quatonion•9m ago•0 comments

Show HN: Sourcery – Open Deep-Research, Grounded in Evidence

https://sourcery-deep-research.pagey.site/

1•freakynit•9m ago•0 comments

In Defense of AI Slop

https://reidhoffman.substack.com/p/in-defense-of-ai-slop

2•aworks•11m ago•0 comments

The extended predicative Mahlo universe in Martin-Löf type theory

https://academic.oup.com/logcom/article/34/6/1032/7158523

1•danny00•12m ago•0 comments

Watch » "Michael" FullMovie Online 4K Free Available

https://sites.google.com/view/watchmichaelfullmovieonline/home

1•fgfhf•13m ago•0 comments

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

https://github.com/MyceliaCognition/chaos-prover

1•michaelpreid1•13m ago•0 comments

The Last Days of Butter Ridge

https://www.nytimes.com/2026/05/03/us/dairy-farm-butter-ridge-pennsylvania.html

1•JumpCrisscross•14m ago•0 comments

Meta abandons open-source Llama for proprietary Muse Spark

https://thenewstack.io/meta-abandons-llama-spark/

2•Nars088•16m ago•0 comments

Where's the New AI Infrastructure?

https://blog.viewfromtheweb.com/where-s-the-new-ai-infrastructure-6f3e2320/

1•rickdg•17m ago•0 comments

Show HN: Diom – Backend primitives (queue, rate limit, etc.) in one Rust binary

https://github.com/svix/diom

1•tasn•17m ago•0 comments

Show HN: Parrot – a fun, skeuomorphic audio recorder to hear yourself

https://www.zkhrv.com/parrot

2•zkhrv•21m ago•0 comments

Show HN: Glucera Local-first iPhone glucose app, seeking fingerstick beta tester

https://glucera.app/

2•kv0•22m ago•0 comments

Newborns come into the world with LOW vitamin K on purpose

https://twitter.com/ValerieAnne1970/status/2050757238860452132

2•bilsbie•22m ago•0 comments

Show HN: ShadowBrokers – AI trade signals for retail traders

https://www.shadowbrokers.app/start

3•devlsx•23m ago•1 comments

The problem with 'S-curves'

https://energynetworks.substack.com/p/the-problem-with-s-curves

1•scrlk•23m ago•0 comments

The `boring` SSH tunnel manager

https://alebeck.github.io/boring/

1•0x12A•25m ago•0 comments

Show HN: I built my site as a Windows 95 experience (2025)

https://wes.dev/

2•WesSouza•25m ago•0 comments

Show HN: I built my product to be right to repair friendly

https://stefan.schueller.net/posts/how-to-not-end-up-in-a-louis-rossmann-video/

2•sschueller•28m ago•0 comments

Ford Nucleon

https://en.wikipedia.org/wiki/Ford_Nucleon

1•_Microft•31m ago•0 comments

Show HN: Flop Map – a 3D globe of every known AI compute cluster

https://flopmap.com

2•kitwebster•36m ago•0 comments

Show HN: Kirikiri – A mobile IDE for Claude Code (iOS, open source)

2•Husena•37m ago•0 comments

NASA Tests Magnetoplasmadynamic Thruster in Milestone for Crewed Mars Propulsion

https://theopenreader.org/Journalism:NASA_Tests_High-Power_Magnetoplasmadynamic_Thruster_in_Miles...

6•TORcicada•42m ago•1 comments

KarmaRace - Get Users - A reciprocity-based testing network.

https://karmarace.com

1•vicnas•44m ago•0 comments

Show HN: SSL certificate discovery from CT logs

https://www.tidelock.dev/ssl/certificate-discovery

1•vojtechrichter•47m ago•0 comments

We're shipping more code than ever, but understand less of it

https://www.fbritoferreira.com/blog/were-shipping-more-code-than-ever-we-understand-less-of-it

Amazon says restoring damaged Middle East cloud operations to take months

Learning Kubernetes Security second edition book

Jaron Lanier – You Are Not a Gadget (2011) [video]

Show HN: Valkyr LM Inference with Realtime Guarantees

Show HN: Sourcery – Open Deep-Research, Grounded in Evidence

In Defense of AI Slop

The extended predicative Mahlo universe in Martin-Löf type theory

Watch » "Michael" FullMovie Online 4K Free Available

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

The Last Days of Butter Ridge

Meta abandons open-source Llama for proprietary Muse Spark

Where's the New AI Infrastructure?

Show HN: Diom – Backend primitives (queue, rate limit, etc.) in one Rust binary

Show HN: Parrot – a fun, skeuomorphic audio recorder to hear yourself

Show HN: Glucera Local-first iPhone glucose app, seeking fingerstick beta tester

Newborns come into the world with LOW vitamin K on purpose

Show HN: ShadowBrokers – AI trade signals for retail traders

The problem with 'S-curves'

The `boring` SSH tunnel manager

Show HN: I built my site as a Windows 95 experience (2025)

Show HN: I built my product to be right to repair friendly

Ford Nucleon

Show HN: Flop Map – a 3D globe of every known AI compute cluster

Show HN: Kirikiri – A mobile IDE for Claude Code (iOS, open source)

NASA Tests Magnetoplasmadynamic Thruster in Milestone for Crewed Mars Propulsion

KarmaRace - Get Users - A reciprocity-based testing network.

Show HN: SSL certificate discovery from CT logs

We're shipping more code than ever, but understand less of it

Show HN: I built a web builder after 6 years of trying

Why AI Agents are either the best or worst thing we've ever built [video]

All Four Sentinel-1 Satellites Are Now Live

Amazon says restoring damaged Middle East cloud operations to take months

Learning Kubernetes Security second edition book

Jaron Lanier – You Are Not a Gadget (2011) [video]

Show HN: Valkyr LM Inference with Realtime Guarantees

Show HN: Sourcery – Open Deep-Research, Grounded in Evidence

In Defense of AI Slop

The extended predicative Mahlo universe in Martin-Löf type theory

Watch » "Michael" FullMovie Online 4K Free Available

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

The Last Days of Butter Ridge

Meta abandons open-source Llama for proprietary Muse Spark

Where's the New AI Infrastructure?

Show HN: Diom – Backend primitives (queue, rate limit, etc.) in one Rust binary

Show HN: Parrot – a fun, skeuomorphic audio recorder to hear yourself

Show HN: Glucera Local-first iPhone glucose app, seeking fingerstick beta tester

Newborns come into the world with LOW vitamin K on purpose

Show HN: ShadowBrokers – AI trade signals for retail traders

The problem with 'S-curves'

The `boring` SSH tunnel manager

Show HN: I built my site as a Windows 95 experience (2025)

Show HN: I built my product to be right to repair friendly

Ford Nucleon

Show HN: Flop Map – a 3D globe of every known AI compute cluster

Show HN: Kirikiri – A mobile IDE for Claude Code (iOS, open source)

NASA Tests Magnetoplasmadynamic Thruster in Milestone for Crewed Mars Propulsion

KarmaRace - Get Users - A reciprocity-based testing network.

Show HN: SSL certificate discovery from CT logs

We're shipping more code than ever, but understand less of it

Show HN: I built a web builder after 6 years of trying

Why AI Agents are either the best or worst thing we've ever built [video]