fp.

What if database branching was easy?

https://xata.io/blog/what-if-database-branching-was-easy

1•tee-es-gee•29s ago•0 comments

Dennis Ritchie's PhD Dissertation [pdf]

https://archive.computerhistory.org/resources/access/text/2020/05/102790971/Ritchie_dissertation.pdf

1•keepamovin•1m ago•0 comments

Two Motorola Transistors Became the Default NPNs

https://www.allaboutcircuits.com/news/how-two-motorola-transistors-became-the-worlds-default-npns/

1•ChuckMcM•2m ago•1 comments

Nature is our source of randomness: on the death of Michael O. Rabin

https://www.heise.de/en/news/Nature-is-our-source-of-randomness-on-the-death-of-Michael-O-Rabin-1...

1•rbanffy•2m ago•0 comments

Should you feed child guests dinner?

https://theconversation.com/should-you-feed-child-guests-dinner-what-swedengate-tells-us-about-fo...

1•sigma5•3m ago•0 comments

Breakthrough takes big step toward safe, reversible male contraception

https://news.cornell.edu/stories/2026/04/breakthrough-takes-big-step-toward-safe-reversible-male-...

2•thunderbong•4m ago•0 comments

The Linux Slayers: Office, Photoshop, and AutoCAD

https://hajo.me/blog/2026/04/17/the-linux-slayers-office-photoshop-autocad/

1•fxtentacle•4m ago•0 comments

Zymacs on Writing .gitignore Files

https://zymacs.github.io/

1•kernzistor45•9m ago•0 comments

FP-DSS: Floating Point Divider State Sampling

https://roots.ec/blog/fpdss

1•ledoge•11m ago•0 comments

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

1•wasimsk•11m ago•0 comments

Carleton College Cookie House

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

1•js2•12m ago•1 comments

Turn a Kindle ASIN export into an Audible wishlist, automatically

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

1•hokole•12m ago•0 comments

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

https://arxiv.org/abs/2602.20082

1•matt_d•13m ago•0 comments

Rostra – P2P Social Network

https://rostra.me/

1•janandonly•14m 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•14m 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•16m 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•17m ago•0 comments

Sell your private code to the big labs

https://hashseatic.com/

1•mpcadosch•19m 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•19m ago•0 comments

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

https://agents.ml

2•bayff•20m ago•1 comments

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

https://lootaura.com

1•LanternNetworks•20m ago•0 comments

Self-Hosting

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

1•speckx•20m ago•0 comments

Quake 3 Arena for Jira and Confluence

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

1•itomato•20m 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...

3•mitchbob•23m ago•1 comments

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel

https://arxiv.org/abs/2604.13327

1•mfiguiere•23m 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•24m 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•24m ago•0 comments

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

https://app.subconscious.dev/

3•ajayarama•24m 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•25m ago•0 comments

MXMap: Email Providers of Dutch Municipalities

https://mxmap.nl/

2•cdrnsf•26m ago•0 comments

What if database branching was easy?

Dennis Ritchie's PhD Dissertation [pdf]

Two Motorola Transistors Became the Default NPNs

Nature is our source of randomness: on the death of Michael O. Rabin

Should you feed child guests dinner?

Breakthrough takes big step toward safe, reversible male contraception

The Linux Slayers: Office, Photoshop, and AutoCAD

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

A more efficient implementation of Shor's algorithm

What if database branching was easy?

Dennis Ritchie's PhD Dissertation [pdf]

Two Motorola Transistors Became the Default NPNs

Nature is our source of randomness: on the death of Michael O. Rabin

Should you feed child guests dinner?

Breakthrough takes big step toward safe, reversible male contraception

The Linux Slayers: Office, Photoshop, and AutoCAD

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