fp.

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

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

1•danny00•9s ago•0 comments

Watch » "Michael" FullMovie Online 4K Free Available

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

1•fgfhf•29s ago•0 comments

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

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

1•michaelpreid1•50s 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•1m ago•0 comments

Meta abandons open-source Llama for proprietary Muse Spark

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

1•Nars088•4m ago•0 comments

Where's the New AI Infrastructure?

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

1•rickdg•4m ago•0 comments

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

https://github.com/svix/diom

1•tasn•5m ago•0 comments

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

https://www.zkhrv.com/parrot

2•zkhrv•8m ago•0 comments

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

https://glucera.app/

1•kv0•9m ago•0 comments

Newborns come into the world with LOW vitamin K on purpose

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

1•bilsbie•9m ago•0 comments

Show HN: ShadowBrokers – AI trade signals for retail traders

https://www.shadowbrokers.app/start

2•devlsx•10m ago•0 comments

The problem with 'S-curves'

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

1•scrlk•11m ago•0 comments

The `boring` SSH tunnel manager

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

1•0x12A•12m ago•0 comments

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

https://wes.dev/

2•WesSouza•13m 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•15m ago•0 comments

Ford Nucleon

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

1•_Microft•18m ago•0 comments

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

https://flopmap.com

2•kitwebster•23m ago•0 comments

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

2•Husena•24m 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...

5•TORcicada•30m ago•1 comments

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

https://karmarace.com

1•vicnas•31m ago•0 comments

Show HN: SSL certificate discovery from CT logs

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

1•vojtechrichter•34m 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•35m ago•0 comments

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

https://whale.kiraaziz.club

2•kira_aziz•35m 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•39m 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•39m ago•0 comments

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

https://wannalaunch.com/

19•margotli•40m ago•16 comments

Notes on the Vulnerable World Hypothesis

https://michaelnotebook.com/vwh/index.html

1•thunderbong•40m ago•1 comments

Show HN: A strict-maintenance fork of ingress-Nginx

https://github.com/forkline/ingress-nginx

1•pando85•45m ago•0 comments

Show HN: Event-Sourced Domain Modeling

https://www.esdm.io

1•goloroden•45m ago•0 comments

Show HN: I built a RISC-V emulator that runs DOOM

https://github.com/lalitshankarch/rvcore

3•Flex247A•46m ago•0 comments

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

Notes on the Vulnerable World Hypothesis

Show HN: A strict-maintenance fork of ingress-Nginx

Show HN: Event-Sourced Domain Modeling

Show HN: I built a RISC-V emulator that runs DOOM

The Fog, a New Encrypted Cloud Platform, Rolls In

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

Notes on the Vulnerable World Hypothesis

Show HN: A strict-maintenance fork of ingress-Nginx

Show HN: Event-Sourced Domain Modeling

Show HN: I built a RISC-V emulator that runs DOOM