fp.

Show HN: Valkyr LM Inference with Realtime Guarantees

https://github.com/Foundation42/valkyr

1•quatonion•43s ago•0 comments

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

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

1•freakynit•49s ago•0 comments

Carpenter hid rude carving in church roof 800 years ago

https://www.exploringgb.co.uk/blog/rudecarvingallsaintschurch

1•delichon•1m ago•0 comments

In Defense of AI Slop

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

1•aworks•2m 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•4m ago•0 comments

Watch » "Michael" FullMovie Online 4K Free Available

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

1•fgfhf•4m ago•0 comments

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

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

1•michaelpreid1•4m 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•5m ago•0 comments

Meta abandons open-source Llama for proprietary Muse Spark

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

2•Nars088•7m ago•0 comments

Where's the New AI Infrastructure?

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

1•rickdg•8m ago•0 comments

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

https://github.com/svix/diom

1•tasn•8m ago•0 comments

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

https://www.zkhrv.com/parrot

2•zkhrv•12m ago•0 comments

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

https://glucera.app/

1•kv0•13m ago•0 comments

Newborns come into the world with LOW vitamin K on purpose

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

2•bilsbie•13m ago•0 comments

Show HN: ShadowBrokers – AI trade signals for retail traders

https://www.shadowbrokers.app/start

2•devlsx•14m ago•0 comments

The problem with 'S-curves'

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

1•scrlk•15m ago•0 comments

The `boring` SSH tunnel manager

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

1•0x12A•16m ago•0 comments

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

https://wes.dev/

2•WesSouza•17m 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•19m ago•0 comments

Ford Nucleon

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

1•_Microft•22m ago•0 comments

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

https://flopmap.com

2•kitwebster•27m ago•0 comments

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

2•Husena•28m 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•34m ago•1 comments

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

https://karmarace.com

1•vicnas•35m ago•0 comments

Show HN: SSL certificate discovery from CT logs

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

1•vojtechrichter•38m 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

2•fbritoferreira•39m ago•0 comments

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

https://whale.kiraaziz.club

2•kira_aziz•39m ago•0 comments

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

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

1•mnem•43m ago•0 comments

Will human minds still be special in an age of AI?

https://www.theguardian.com/books/2026/may/03/will-human-minds-still-be-special-in-an-age-of-ai

1•giuliomagnifico•43m ago•0 comments

Show HN: I built a tool that helps predict HN front page success

https://wannalaunch.com/

19•margotli•44m ago•16 comments

Show HN: Valkyr LM Inference with Realtime Guarantees

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

Carpenter hid rude carving in church roof 800 years ago

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]

Will human minds still be special in an age of AI?

Show HN: I built a tool that helps predict HN front page success

Agentic Coding Is Burning Me Out

Comments

Show HN: Valkyr LM Inference with Realtime Guarantees

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

Carpenter hid rude carving in church roof 800 years ago

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]

Will human minds still be special in an age of AI?

Show HN: I built a tool that helps predict HN front page success