fp.

LemmaScript: A Verification Toolchain for TypeScript via Dafny

https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/

1•namin•26s ago•0 comments

Six-year-old girl has sight restored by gene therapy

https://news.sky.com/story/parents-hail-incredible-results-after-six-year-old-girl-has-sight-rest...

3•austinallegro•3m ago•0 comments

What 81000 Claude users said about the economics of AI

https://www.anthropic.com/research/81k-economics

1•schyzomaniac•3m ago•1 comments

Claude Code for the Outer Loop: An AI SRE Playbook

https://www.arcade.dev/blog/claude-code-ai-sre-oncall-workflows/

1•manveerc•6m ago•0 comments

Show HN: A visual CSS editor, Mac native

https://bendansby.com/cest/

1•webwielder2•9m ago•0 comments

生き甲斐 (ikigai) “a reason for being”

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

1•guessmyname•10m ago•0 comments

Ping-Pong Robot Stuns World by Defeating Elite Human Players [video]

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

1•mgh2•11m ago•0 comments

I'm Using Claude Code for Everything Else but Coding

https://chandlernguyen.com/blog/2026/04/22/im-using-claude-code-for-everything-else-but-coding/

1•chandlernguyen•13m ago•1 comments

We built a multi-agent app on Genkit and Firebase

https://www.conveen.ai/building-with-genkit-and-firebase

2•ruby-kandah•13m ago•0 comments

Tom Lehrer (1928–2025): A (Mostly) Mathematical Appreciation [pdf]

https://www.ams.org/journals/notices/202602/rnoti-p118.pdf

2•ganitam•15m ago•1 comments

There's Another Reason Gen Z Can't Find Work

https://www.nytimes.com/2026/04/22/opinion/gen-z-job-ladder.html

1•doener•15m ago•0 comments

Proximal Policy Optimization with Clojure and PyTorch

https://clojurecivitas.org/ppo/main.html

1•wedesoft•16m ago•1 comments

Oxford Calculators

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

2•danielam•16m ago•0 comments

Apple Is Boring Now

https://www.theatlantic.com/ideas/2026/04/tim-cook-ternus-apple/686893/

1•paulpauper•16m ago•0 comments

A 'Barbaric' Problem in American Hospitals Is Only Getting Bigger

https://www.theatlantic.com/health/2026/04/emergency-department-boarding-crisis/686765/

1•paulpauper•16m ago•0 comments

Tensor Algebra to Represent and Accelerate RTL Simulation

https://arxiv.org/abs/2601.18140

2•sha_rad•18m ago•0 comments

Notes from a Marketer Building a Real CLI with Codex

https://lindsaybrunner.com/thoughts/2026-04-11/building-a-cli-with-ai/

1•mooreds•21m ago•0 comments

Show HN: RedAI – AI-driven vulnerability discovery and live validation

https://github.com/kpolley/redai

1•kpolls•23m ago•0 comments

Bun 1.1.13 out with memory fixes as dev complain of leaks

https://www.theregister.com/2026/04/21/anthropics_bun_1113_released_with_memory_fixes/

1•birdculture•24m ago•0 comments

The AI Power Bottleneck: Data Centers Meet the Steel Monopoly

https://blog.adafruit.com/2026/04/22/the-ai-power-bottleneck-data-centers-meet-the-steel-monopoly/

2•zdw•27m ago•0 comments

If This Road

https://ifthisroad.com/

2•Oarch•28m ago•0 comments

Tim Cook Regrets Maps Flub, Sees Apple Watch as His Proudest Work

https://www.bloomberg.com/news/articles/2026-04-22/tim-cook-regrets-maps-flub-sees-apple-watch-as...

2•amrrs•30m ago•0 comments

Polymarket weather bet manipulated with a hairdryer

https://twitter.com/aaronjmars/status/2047017251270734309

3•dnw•30m ago•0 comments

Show HN: Markdown editor with Obsidian-style inline live preview

https://kenforthewin.github.io/atomic-editor/

1•kenforthewin•31m ago•1 comments

How we think about truth, verification, and "time to first trust" at Webhound

https://www.webhound.ai/news/time-to-first-trust

1•mfkhalil•33m ago•0 comments

ICE detains wife of US Army soldier at immigration appointment

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

9•tartoran•37m ago•0 comments

F-35s Quarterbacking Drones Seen as Gateway to USMC's 6th Gen Fighter

https://www.twz.com/air/f-35s-quarterbacking-drones-seen-as-gateway-to-usmcs-6th-gen-fighter

LemmaScript: A Verification Toolchain for TypeScript via Dafny

Six-year-old girl has sight restored by gene therapy

What 81000 Claude users said about the economics of AI

Claude Code for the Outer Loop: An AI SRE Playbook

Show HN: A visual CSS editor, Mac native

生き甲斐 (ikigai) “a reason for being”

Ping-Pong Robot Stuns World by Defeating Elite Human Players [video]

I'm Using Claude Code for Everything Else but Coding

We built a multi-agent app on Genkit and Firebase

Tom Lehrer (1928–2025): A (Mostly) Mathematical Appreciation [pdf]

There's Another Reason Gen Z Can't Find Work

Proximal Policy Optimization with Clojure and PyTorch

Oxford Calculators

Apple Is Boring Now

A 'Barbaric' Problem in American Hospitals Is Only Getting Bigger

Tensor Algebra to Represent and Accelerate RTL Simulation

Notes from a Marketer Building a Real CLI with Codex

Show HN: RedAI – AI-driven vulnerability discovery and live validation

Bun 1.1.13 out with memory fixes as dev complain of leaks

The AI Power Bottleneck: Data Centers Meet the Steel Monopoly

If This Road

Tim Cook Regrets Maps Flub, Sees Apple Watch as His Proudest Work

Polymarket weather bet manipulated with a hairdryer

Show HN: Markdown editor with Obsidian-style inline live preview

How we think about truth, verification, and "time to first trust" at Webhound

ICE detains wife of US Army soldier at immigration appointment

F-35s Quarterbacking Drones Seen as Gateway to USMC's 6th Gen Fighter

Grasshopper: Advanced Tab Manager

Qualtrics Survey Licensing Cost

Kahtooee.com

Tesla earnings updates: The stock is up after revenue and EPS beat Wall Street's

LemmaScript: A Verification Toolchain for TypeScript via Dafny

Six-year-old girl has sight restored by gene therapy

What 81000 Claude users said about the economics of AI

Claude Code for the Outer Loop: An AI SRE Playbook

Show HN: A visual CSS editor, Mac native

生き甲斐 (ikigai) “a reason for being”

Ping-Pong Robot Stuns World by Defeating Elite Human Players [video]

I'm Using Claude Code for Everything Else but Coding

We built a multi-agent app on Genkit and Firebase

Tom Lehrer (1928–2025): A (Mostly) Mathematical Appreciation [pdf]

There's Another Reason Gen Z Can't Find Work

Proximal Policy Optimization with Clojure and PyTorch

Oxford Calculators

Apple Is Boring Now

A 'Barbaric' Problem in American Hospitals Is Only Getting Bigger

Tensor Algebra to Represent and Accelerate RTL Simulation

Notes from a Marketer Building a Real CLI with Codex

Show HN: RedAI – AI-driven vulnerability discovery and live validation

Bun 1.1.13 out with memory fixes as dev complain of leaks

The AI Power Bottleneck: Data Centers Meet the Steel Monopoly

If This Road

Tim Cook Regrets Maps Flub, Sees Apple Watch as His Proudest Work

Polymarket weather bet manipulated with a hairdryer

Show HN: Markdown editor with Obsidian-style inline live preview

How we think about truth, verification, and "time to first trust" at Webhound

ICE detains wife of US Army soldier at immigration appointment

F-35s Quarterbacking Drones Seen as Gateway to USMC's 6th Gen Fighter

Grasshopper: Advanced Tab Manager

Qualtrics Survey Licensing Cost

Kahtooee.com