fp.

Zymacs on Writing .gitignore Files

https://zymacs.github.io/

1•kernzistor45•7s ago•0 comments

FP-DSS: Floating Point Divider State Sampling

https://roots.ec/blog/fpdss

1•ledoge•2m ago•0 comments

Ask HN: What's the most profitable SaaS in this decade?

1•wasimsk•2m ago•0 comments

Carleton College Cookie House

https://www.nytimes.com/2026/04/17/dining/carleton-college-minnesota-cookie-house.html

1•js2•3m ago•0 comments

Turn a Kindle ASIN export into an Audible wishlist, automatically

https://github.com/hokocodes/kindle-to-audible

1•hokole•3m ago•0 comments

Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)

https://arxiv.org/abs/2602.20082

1•matt_d•4m ago•0 comments

Rostra – P2P Social Network

https://rostra.me/

1•janandonly•4m ago•0 comments

A Common MVP Evolution: Service to System Integration to Product

https://www.skmurphy.com/blog/2017/08/07/a-common-evolution-service-to-system-integration-to-prod...

1•skmurphy•5m ago•1 comments

Up to 8M Bees Are Living in an Underground Network Beneath This Cemetery

https://www.discovermagazine.com/up-to-8-million-bees-are-living-in-an-underground-network-beneat...

1•janandonly•7m ago•0 comments

Stalwart-Sentinel – A physics-based logic gate to stop AI hallucinations

https://github.com/taxischramm347-pixel/Stalwart-Sentinel-MVP-/tree/main

1•taxi347•8m ago•0 comments

Sell your private code to the big labs

https://hashseatic.com/

1•mpcadosch•9m ago•0 comments

Machine-Generated Code Deserves Machine-Checked Proofs

https://zoep.github.io/blog/2026/04/17/machine-generated-code-machine-checked-proofs/

2•matt_d•10m ago•0 comments

Show HN: Agents.ml – a public identity page and A2A card for your AI agent

https://agents.ml

2•bayff•11m ago•1 comments

Loot Aura: The free map for finding yard sales and estate sales near you

https://lootaura.com

1•LanternNetworks•11m ago•0 comments

Self-Hosting

https://blog.pcora.eu/2026/04/12/on-selfhosting.html

1•speckx•11m ago•0 comments

Quake 3 Arena for Jira and Confluence

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

1•itomato•11m ago•1 comments

Saving a Lost Generation of Young Men – With Chop Saws

https://www.newyorker.com/news/annals-of-education/saving-a-lost-generation-of-young-men-with-cho...

2•mitchbob•14m ago•1 comments

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel

https://arxiv.org/abs/2604.13327

1•mfiguiere•14m ago•0 comments

What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]

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

1•matt_d•15m ago•0 comments

Operation PowerOFF: 53 DDoS domains seized and 3M criminal accounts uncovered

https://securityaffairs.com/190932/cyber-crime/operation-poweroff-53-ddos-domains-seized-and-3-mi...

1•lschueller•15m ago•0 comments

Show HN: Co-op: Your 24/7 Digital Intern

https://app.subconscious.dev/

3•ajayarama•15m ago•2 comments

The Narrative Crisis of Modern Baseball

https://www.thebulwark.com/p/the-narrative-crisis-of-modern-baseball-opening-day-2026

1•PaulHoule•16m ago•0 comments

MXMap: Email Providers of Dutch Municipalities

https://mxmap.nl/

2•cdrnsf•17m ago•0 comments

Why eldest siblings are brainier

https://www.economist.com/graphic-detail/2026/04/16/why-eldest-siblings-are-brainier

1•apparent•18m ago•2 comments

App Store reviews are busted

https://daringfireball.net/linked/2026/04/16/app-store-reviews-are-busted

2•erickhill•18m ago•0 comments

We beat Google's zero-knowledge proof of quantum cryptanalysis

https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanal...

4•lr0•18m ago•0 comments

Finding underpriced deals across secondary markets

https://www.graby.ai

12•LayneS•18m ago•0 comments

Strapi: Open-Source Alternative to Sanity and Contentful – OpenAlternative

https://openalternative.co/strapi

2•massoudstar•18m ago•0 comments

Show HN: Git-stage-batch – curate clean commit history before pushing

https://github.com/halfline/git-stage-batch

2•twelvenmonkeys•19m ago•0 comments

Show HN: Paper Lantern – on-demand techniques from 2M+ papers for coding agents

https://www.paperlantern.ai/code

1•paperlantern•21m ago•0 comments

Zymacs on Writing .gitignore Files

FP-DSS: Floating Point Divider State Sampling

Ask HN: What's the most profitable SaaS in this decade?

Carleton College Cookie House

Turn a Kindle ASIN export into an Audible wishlist, automatically

Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)

Rostra – P2P Social Network

A Common MVP Evolution: Service to System Integration to Product

Up to 8M Bees Are Living in an Underground Network Beneath This Cemetery

Stalwart-Sentinel – A physics-based logic gate to stop AI hallucinations

Sell your private code to the big labs

Machine-Generated Code Deserves Machine-Checked Proofs

Show HN: Agents.ml – a public identity page and A2A card for your AI agent

Loot Aura: The free map for finding yard sales and estate sales near you

Self-Hosting

Quake 3 Arena for Jira and Confluence

Saving a Lost Generation of Young Men – With Chop Saws

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel

What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]

Operation PowerOFF: 53 DDoS domains seized and 3M criminal accounts uncovered

Show HN: Co-op: Your 24/7 Digital Intern

The Narrative Crisis of Modern Baseball

MXMap: Email Providers of Dutch Municipalities

Why eldest siblings are brainier

App Store reviews are busted

We beat Google's zero-knowledge proof of quantum cryptanalysis

Finding underpriced deals across secondary markets

Strapi: Open-Source Alternative to Sanity and Contentful – OpenAlternative

Show HN: Git-stage-batch – curate clean commit history before pushing

Show HN: Paper Lantern – on-demand techniques from 2M+ papers for coding agents

Age Assurance on the Internet: Identity, Privacy, and the Limits of Verification

Zymacs on Writing .gitignore Files

FP-DSS: Floating Point Divider State Sampling

Ask HN: What's the most profitable SaaS in this decade?

Carleton College Cookie House

Turn a Kindle ASIN export into an Audible wishlist, automatically

Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)

Rostra – P2P Social Network

A Common MVP Evolution: Service to System Integration to Product

Up to 8M Bees Are Living in an Underground Network Beneath This Cemetery

Stalwart-Sentinel – A physics-based logic gate to stop AI hallucinations

Sell your private code to the big labs

Machine-Generated Code Deserves Machine-Checked Proofs

Show HN: Agents.ml – a public identity page and A2A card for your AI agent

Loot Aura: The free map for finding yard sales and estate sales near you

Self-Hosting

Quake 3 Arena for Jira and Confluence

Saving a Lost Generation of Young Men – With Chop Saws

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel

What Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]

Operation PowerOFF: 53 DDoS domains seized and 3M criminal accounts uncovered

Show HN: Co-op: Your 24/7 Digital Intern

The Narrative Crisis of Modern Baseball

MXMap: Email Providers of Dutch Municipalities

Why eldest siblings are brainier

App Store reviews are busted

We beat Google's zero-knowledge proof of quantum cryptanalysis

Finding underpriced deals across secondary markets

Strapi: Open-Source Alternative to Sanity and Contentful – OpenAlternative

Show HN: Git-stage-batch – curate clean commit history before pushing

Show HN: Paper Lantern – on-demand techniques from 2M+ papers for coding agents