fp.

Tests don't prove anything, but they are a model

https://blog.drgriffin.au/posts/tests-are-a-model

1•discodave•50s ago•1 comments

MongoDB API compatible DocumentDB announces 1.0

https://documentdb.io/blogs/posts/documentdb-1-0/

1•xgerman•2m ago•0 comments

A Little League coach pulled aside an opposing player [Meta Glasses]

https://www.nytimes.com/athletic/7693356/2026/10/16/little-league-coach-viral-leadership-2/

1•compiler-guy•2m ago•0 comments

And Soon It Will Be Forgotten

https://desmolysium.substack.com/p/and-soon-it-will-be-forgotten

1•paulpauper•4m ago•0 comments

The Death of the Comeback

https://morbidcuriosity.substack.com/p/the-death-of-the-comeback

1•paulpauper•4m ago•0 comments

The big lie we tell ourselves as we get older

https://coached.com/essays/the-big-lie-we-tell-ourselves-as-we-get-older/

1•rohanm93•5m ago•1 comments

Lilly code editor outperforms Neovim using custom treesitter equivalent

https://tauraamui.site/blog/lilly-perf-vs-neovim-and-others

1•bloostar•5m ago•0 comments

Bill Gross bets AI can help mass produce 1M new startups

https://fortune.com/2026/10/19/bill-gross-idealab-ai-million-startups-jobs/

1•cybermango•5m ago•0 comments

Development Statistics for the 7.3 Kernel

https://lwn.net/SubscriberLink/1100241/27c42c1a81a81577/

1•cjd8•6m ago•0 comments

Show HN: CueCut Teleprompter for videos, podcasts and Zoom calls

https://getcuecut.com/

1•beerglass•6m ago•0 comments

Counterexample to Euler's Conjecture on Sums of Like Powers (1966) [pdf]

https://www.ams.org/journals/bull/1966-72-06/S0002-9904-1966-11654-3/S0002-9904-1966-11654-3.pdf?...

1•theanonymousone•8m ago•0 comments

GTA 6 release could cost US economy $1B in lost productivity in just one day

https://www.ibtimes.co.uk/gta-6-launch-billion-dollar-sick-day-1818190

2•Vaslo•8m ago•0 comments

Techno-Optimism Archive – Old Promises of New Technologies

https://technooptimism.org/

1•ohjeez•8m ago•0 comments

We Put a Browser in Everything and Called It Progress

https://dayvster.com/blog/we-put-a-browser-in-everything-and-called-it-progress/

2•ibobev•11m ago•0 comments

AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/

1•ibobev•12m ago•0 comments

Decoding base64 in Python at 10 gigabytes per second

https://lemire.me/blog/2026/10/17/decoding-base64-in-python-at-10-gigabytes-per-second/

2•ibobev•12m ago•0 comments

Show HN: ProvLedger – stops coding agents repeating mistakes

https://github.com/yizhao95/prov_ledger

2•yzhao950213•12m ago•1 comments

The Bourgain Project

https://terrytao.wordpress.com/2026/10/19/the-bourgain-project/

1•smilelamp•12m ago•0 comments

Anthropic commits 5% of shares to new public benefit fund

https://www.cnbc.com/video/2026/10/19/anthropic-commits-5percent-of-shares-to-new-public-benefit-...

1•geox•13m ago•0 comments

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

https://medium.com/@Koukyosyumei/i-tried-to-formally-verify-popular-rust-projects-with-lean-4-but...

3•syumei•13m ago•0 comments

Surveying the landscape of CSS microframeworks (2023)

https://blakewatson.com/journal/surveying-the-landscape-of-css-micro-frameworks/

1•ForHackernews•15m ago•0 comments

Toronto man accused of driving rental car 30k kms in just 7 days

https://toronto.citynews.ca/2026/10/19/toronto-man-rental-car-30-thousand-kms-avis-seven-days/

2•breitling•15m ago•0 comments

Linux KVM guest-host escape rated critical

https://www.theregister.com/virtualization/2026/10/19/linux-kvm-guest-host-escape-rated-critical-...

2•mooreds•16m ago•0 comments

Building a Dependency Graph of Our Python Codebase

https://www.hudsonrivertrading.com/hrtbeat/dependency-graph-python-codebase

1•Tommkruix123•16m ago•0 comments

Maths, Metal, and Mandelbrot

https://blog.jacobstechtavern.com/p/maths-metal-mandelbrot

1•jakey_bakey•16m ago•0 comments

Who Will Benefit from the AI Revolution?

https://time.com/article/2026/10/19/who-will-benefit-from-the-ai-revolution-/

1•voxleone•17m ago•0 comments

Spirit Room – Test whether agents can find and use your MCP tools

https://spiritroom.app/

1•LeonidBugaev•18m ago•0 comments

Claude Code, Codex and OpenCode Find MCP Tools

https://spiritroom.app/blog/optimise-mcp-tools-for-agents/

1•LeonidBugaev•19m ago•0 comments

The Download: preserving the Arctic permafrost, and playful AI agents

https://www.technologyreview.com/2026/10/19/1147103/the-download-preserving-the-arctic-permafrost...

1•joozio•20m ago•0 comments

Why TypeScript lets you overrule its type checker

https://www.ultracite.ai/research/type-escape-hatches

1•fmerian•21m ago•0 comments

Tests don't prove anything, but they are a model

MongoDB API compatible DocumentDB announces 1.0

A Little League coach pulled aside an opposing player [Meta Glasses]

And Soon It Will Be Forgotten

The Death of the Comeback

The big lie we tell ourselves as we get older

Lilly code editor outperforms Neovim using custom treesitter equivalent

Bill Gross bets AI can help mass produce 1M new startups

Development Statistics for the 7.3 Kernel

Show HN: CueCut Teleprompter for videos, podcasts and Zoom calls

Counterexample to Euler's Conjecture on Sums of Like Powers (1966) [pdf]

GTA 6 release could cost US economy $1B in lost productivity in just one day

Techno-Optimism Archive – Old Promises of New Technologies

We Put a Browser in Everything and Called It Progress

AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

Decoding base64 in Python at 10 gigabytes per second

Show HN: ProvLedger – stops coding agents repeating mistakes

The Bourgain Project

Anthropic commits 5% of shares to new public benefit fund

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

Surveying the landscape of CSS microframeworks (2023)

Toronto man accused of driving rental car 30k kms in just 7 days

Linux KVM guest-host escape rated critical

Building a Dependency Graph of Our Python Codebase

Maths, Metal, and Mandelbrot

Who Will Benefit from the AI Revolution?

Spirit Room – Test whether agents can find and use your MCP tools

Claude Code, Codex and OpenCode Find MCP Tools

The Download: preserving the Arctic permafrost, and playful AI agents

Why TypeScript lets you overrule its type checker

Elizabeth Holmes Tricked Wired–and Everyone Else

Tests don't prove anything, but they are a model

MongoDB API compatible DocumentDB announces 1.0

A Little League coach pulled aside an opposing player [Meta Glasses]

And Soon It Will Be Forgotten

The Death of the Comeback

The big lie we tell ourselves as we get older

Lilly code editor outperforms Neovim using custom treesitter equivalent

Bill Gross bets AI can help mass produce 1M new startups

Development Statistics for the 7.3 Kernel

Show HN: CueCut Teleprompter for videos, podcasts and Zoom calls

Counterexample to Euler's Conjecture on Sums of Like Powers (1966) [pdf]

GTA 6 release could cost US economy $1B in lost productivity in just one day

Techno-Optimism Archive – Old Promises of New Technologies

We Put a Browser in Everything and Called It Progress

AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

Decoding base64 in Python at 10 gigabytes per second

Show HN: ProvLedger – stops coding agents repeating mistakes

The Bourgain Project

Anthropic commits 5% of shares to new public benefit fund

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

Surveying the landscape of CSS microframeworks (2023)

Toronto man accused of driving rental car 30k kms in just 7 days

Linux KVM guest-host escape rated critical

Building a Dependency Graph of Our Python Codebase

Maths, Metal, and Mandelbrot

Who Will Benefit from the AI Revolution?

Spirit Room – Test whether agents can find and use your MCP tools

Claude Code, Codex and OpenCode Find MCP Tools

The Download: preserving the Arctic permafrost, and playful AI agents

Why TypeScript lets you overrule its type checker