fp.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

https://github.com/midspiral/LemmaScript

1•namin•21s ago•0 comments

Show HN: GoModel – an open-source AI gateway in Go; 44x lighter than LiteLLM

https://github.com/ENTERPILOT/GOModel/

1•santiago-pl•31s ago•0 comments

The Internet Is Real Life

https://www.a16z.news/p/the-internet-is-real-life

1•7777777phil•1m ago•0 comments

The Oil Shock Is About to Hit America [video][25mins]

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

1•Bender•2m ago•0 comments

NASA's Curiosity rover finds organic molecules on Mars

https://www.theguardian.com/science/2026/apr/21/nasa-curiosity-rover-finds-organic-molecules-mars

1•skor•2m ago•0 comments

Return of the Saturday Night Special, Courtesy of the SEC

https://clsbluesky.law.columbia.edu/2026/04/21/return-of-the-saturday-night-special-courtesy-of-t...

1•petethomas•4m ago•0 comments

Request Tracking: Lessons from Card Payments and HTTP/2

https://madflojo.dev/posts/in-flight-request-tracking-in-asynchronous-systems/

1•madflojo•4m ago•0 comments

GitHub has stopped accepting new Copilot individual subscriptions

https://www.theregister.com/2026/04/20/microsofts_github_grounds_copilot_account/

1•Betelbuddy•4m ago•0 comments

A Century of Chaos in a Single Emoji

https://jenniferdaniel.substack.com/p/a-century-of-chaos-in-a-single-emoji

1•ChrisArchitect•4m ago•0 comments

AppWatch – Track Itch.io, Steam, App Store and Google Play in One Dashboard

https://appwatch.dev

1•ranguita•5m ago•2 comments

An LLM invented a feature by hijacking my tool schema

https://ratnotes.substack.com/p/i-thought-i-had-a-bug

1•mtrifonov•5m ago•0 comments

Cocaine pollution alters the movement and space use of Atlantic salmon

https://www.cell.com/current-biology/fulltext/S0960-9822(26)00315-5

1•ajay-d•6m ago•1 comments

Zelensky says failure of US envoys to visit Kyiv is 'disrespectful'

https://www.bbc.com/news/articles/cd9v420y190o

3•Betelbuddy•7m ago•1 comments

Abusing PostHog's setup wizard to get free Claude access

https://techstackups.com/articles/i-abused-posthogs-setup-wizard-to-get-free-claude-access/

1•ritzaco•7m ago•0 comments

Neurobiologists Hack Brain Circuits Tied to Placebo Pain Relief

https://today.ucsd.edu/story/neurobiologists-hack-brain-circuits-tied-to-placebo-pain-relief

1•gmays•7m ago•0 comments

AES 128 is just fine in a post-quantum world

https://arstechnica.com/security/2026/04/contrary-to-popular-superstition-aes-128-is-just-fine-in...

1•mmwelt•7m ago•0 comments

The Kuleshov Effect

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

1•janandonly•8m ago•0 comments

The Forgotten History of Hershey's Electric Railway (1916) in Cuba

https://spectrum.ieee.org/hershey-electric-railway-cuba

1•defrost•9m ago•0 comments

Design isn't dying. It's shifting left

https://microsoft.design/articles/design-isnt-dying-its-shifting-left/

1•djurgardensif•9m ago•0 comments

Agentic memory with passive recall and citations as trust graph

https://github.com/Kromatic-Innovation/athenaeum

1•TristanKromer•9m ago•1 comments

Russia Is Building Tomorrow's War Machine

https://www.nytimes.com/2026/04/21/opinion/russia-drones-putin-ukraine-war.html

2•mitchbob•10m ago•1 comments

Artemis II Watches Earth Set Behind the Moon [video]

https://www.youtube.com/shorts/MT8tg5b3b8E

1•bookofjoe•11m ago•0 comments

Curiosity rover finds signs of ancient life on Mars

https://www.popsci.com/science/curiosity-rover-life-mars/

1•Brajeshwar•14m ago•0 comments

Increased AI expectations without guidance leads to employee burnout

https://www.cio.com/article/4159631/increased-ai-expectations-without-guidance-leads-to-employee-...

2•WaitWaitWha•14m ago•0 comments

Show HN: Group Income – FOSS Privacy Respecting Basic Income System

https://groupincome.org

1•gslepak•14m ago•0 comments

I broke a working PR because an LLM convinced me there was a bug

https://www.droppedasbaby.com/posts/2602-02/

2•offbyone42•15m ago•0 comments

Show HN: Detecting API degradation before thresholds are crossed

3•AnchorFlow•18m ago•0 comments

An Eng Lead's Guide to Tactical AI Adoption

https://breaking-changes.blog/an-eng-leads-guide-to-tactical-ai-adoption/

2•oakhan3•19m ago•0 comments

Rockraft: Strongly-Consistent KV Storage Framework Based on OpenRaft and RocksDB

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

Show HN: GoModel – an open-source AI gateway in Go; 44x lighter than LiteLLM

The Internet Is Real Life

The Oil Shock Is About to Hit America [video][25mins]

NASA's Curiosity rover finds organic molecules on Mars

Return of the Saturday Night Special, Courtesy of the SEC

Request Tracking: Lessons from Card Payments and HTTP/2

GitHub has stopped accepting new Copilot individual subscriptions

A Century of Chaos in a Single Emoji

AppWatch – Track Itch.io, Steam, App Store and Google Play in One Dashboard

An LLM invented a feature by hijacking my tool schema

Cocaine pollution alters the movement and space use of Atlantic salmon

Zelensky says failure of US envoys to visit Kyiv is 'disrespectful'

Abusing PostHog's setup wizard to get free Claude access

Neurobiologists Hack Brain Circuits Tied to Placebo Pain Relief

AES 128 is just fine in a post-quantum world

The Kuleshov Effect

The Forgotten History of Hershey's Electric Railway (1916) in Cuba

Design isn't dying. It's shifting left

Agentic memory with passive recall and citations as trust graph

Russia Is Building Tomorrow's War Machine

Artemis II Watches Earth Set Behind the Moon [video]

Curiosity rover finds signs of ancient life on Mars

Increased AI expectations without guidance leads to employee burnout

Show HN: Group Income – FOSS Privacy Respecting Basic Income System

I broke a working PR because an LLM convinced me there was a bug

Show HN: Detecting API degradation before thresholds are crossed

An Eng Lead's Guide to Tactical AI Adoption

Rockraft: Strongly-Consistent KV Storage Framework Based on OpenRaft and RocksDB

Show HN: CheckAgent The open-source pytest testing framework for AI agents

Unlearnings from Building Grafana Assistant

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

Show HN: GoModel – an open-source AI gateway in Go; 44x lighter than LiteLLM

The Internet Is Real Life

The Oil Shock Is About to Hit America [video][25mins]

NASA's Curiosity rover finds organic molecules on Mars

Return of the Saturday Night Special, Courtesy of the SEC

Request Tracking: Lessons from Card Payments and HTTP/2

GitHub has stopped accepting new Copilot individual subscriptions

A Century of Chaos in a Single Emoji

AppWatch – Track Itch.io, Steam, App Store and Google Play in One Dashboard

An LLM invented a feature by hijacking my tool schema

Cocaine pollution alters the movement and space use of Atlantic salmon

Zelensky says failure of US envoys to visit Kyiv is 'disrespectful'

Abusing PostHog's setup wizard to get free Claude access

Neurobiologists Hack Brain Circuits Tied to Placebo Pain Relief

AES 128 is just fine in a post-quantum world

The Kuleshov Effect

The Forgotten History of Hershey's Electric Railway (1916) in Cuba

Design isn't dying. It's shifting left

Agentic memory with passive recall and citations as trust graph

Russia Is Building Tomorrow's War Machine

Artemis II Watches Earth Set Behind the Moon [video]

Curiosity rover finds signs of ancient life on Mars

Increased AI expectations without guidance leads to employee burnout

Show HN: Group Income – FOSS Privacy Respecting Basic Income System

I broke a working PR because an LLM convinced me there was a bug

Show HN: Detecting API degradation before thresholds are crossed

An Eng Lead's Guide to Tactical AI Adoption

Rockraft: Strongly-Consistent KV Storage Framework Based on OpenRaft and RocksDB

Show HN: CheckAgent The open-source pytest testing framework for AI agents