fp.

I just build Claude Dev Tools

https://github.com/NMenzel/claude-devtools-mod

1•AshborneDev•1m ago•0 comments

AI does math. Should you get a PhD?

https://jasonpolak.substack.com/p/ai-does-math-should-you-get-a-phd

1•bemtevi•3m ago•0 comments

Ask HN: Open-source model weights on bluray drives, anyone?

1•satuke•4m ago•0 comments

The Double-Counted Future

https://yusufaytas.com/the-double-counted-future

5•yusufaytas•4m ago•0 comments

Simulate coding pre-AI by year

https://beforetheprompt.xipu.li/

1•GoodluckH•7m ago•0 comments

Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking

https://www.mytasterank.com/

1•MarkBekooy•8m ago•1 comments

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

https://blueberrywren.dev/blog/primes/

1•birdculture•9m ago•0 comments

Show HN: GrogLog, a Free Drink Tracker

https://groglog.io

1•antihero•10m ago•0 comments

Windows, Linux, Oracle and the Internet – BBC, 2000 [video]

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

1•xqcgrek2•12m ago•0 comments

Show HN: An MCP server where AI agents confess, in their own name

https://ai.confess.online

1•RenderNest•14m ago•0 comments

AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung

https://variety.com/2026/tv/festivals/netflix-ai-300-titles-kang-yoon-sung-40-percent-budget-busa...

3•bariumbitmap•15m ago•1 comments

Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results

https://www.phoronix.com/news/Auto-Vectorize-RISC-V-Kernel

2•khalidkhair•15m ago•0 comments

Zinky Boys

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

1•bhickey•16m ago•0 comments

MCP servers that tell your agent "dont tell the user" are stopping it from lying

https://semantik.tech/risk-watch/2026-w41

1•jayokunle•17m ago•0 comments

Artex AI, Claude agents used in cyberattacks on South Korean banks

https://www.bleepingcomputer.com/news/security/hacker-used-artex-ai-and-claude-agents-to-target-s...

1•Brajeshwar•18m ago•0 comments

Point: Free URL Shortener with deeper analytics than bitly and zero ads

https://point.codecraftsol.org/

1•sasenb•18m ago•0 comments

How Tabasco Became the World's Hot Sauce

https://www.weareravenous.com/how-tabasco-accidentally-on-purpose-became-the-worlds-hot-sauce/

2•bookofjoe•21m ago•0 comments

Show HN: Put yourself in a street freestyle video with one photo

https://bulin47aivideo.app

1•hashkitly•21m ago•0 comments

Open-Source Microsoft Office Excel, PowerPoint, and Word Replications

https://www.tomshardware.com/software/microsoft-office/creator-of-free-adobe-clones-unveils-open-...

2•mathgenius•21m ago•0 comments

Show HN: Polywick Blue VSCode Theme

https://vscode.polywickstudio.net/

1•polywickstudio•22m ago•0 comments

Show HN: FileoPDF, PDF tools that process your files in the browser

https://www.fileopdf.com/en

1•Horatio148•27m ago•0 comments

Show HN: A Safari extension to accelerate animated WebP images

https://github.com/IliaMManolov/safari-animated-webp-extension

2•76SlashDolphin•30m ago•0 comments

SQLAlchemy 2.1.0 Released

https://www.sqlalchemy.org/blog/2026/09/24/sqlalchemy-2.1.0-released/

2•kbumsik•31m ago•0 comments

Terence Tao: Math 2.0 [pdf]

https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf

2•Anon84•33m ago•0 comments

Show HN: My radio station calls its listeners

https://canarics.com/radio

3•attels33•39m ago•0 comments

MicroG: [Bounty] RCS Support [$14999]

https://github.com/microg/GmsCore/issues/2994

1•BoingBoomTschak•40m ago•0 comments

About the Book: Solving the Bottom Turtle

https://spiffe.io/book/

1•cgeier•41m ago•1 comments

AWS AgentCore security undone by prompt requesting credentials

https://www.theregister.com/security/2026/10/09/aws-agentcore-security-undone-by-prompt-requestin...

I just build Claude Dev Tools

AI does math. Should you get a PhD?

Ask HN: Open-source model weights on bluray drives, anyone?

The Double-Counted Future

Simulate coding pre-AI by year

Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

Show HN: GrogLog, a Free Drink Tracker

Windows, Linux, Oracle and the Internet – BBC, 2000 [video]

Show HN: An MCP server where AI agents confess, in their own name

AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung

Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results

Zinky Boys

MCP servers that tell your agent "dont tell the user" are stopping it from lying

Artex AI, Claude agents used in cyberattacks on South Korean banks

Point: Free URL Shortener with deeper analytics than bitly and zero ads

How Tabasco Became the World's Hot Sauce

Show HN: Put yourself in a street freestyle video with one photo

Open-Source Microsoft Office Excel, PowerPoint, and Word Replications

Show HN: Polywick Blue VSCode Theme

Show HN: FileoPDF, PDF tools that process your files in the browser

Show HN: A Safari extension to accelerate animated WebP images

SQLAlchemy 2.1.0 Released

Terence Tao: Math 2.0 [pdf]

Show HN: My radio station calls its listeners

MicroG: [Bounty] RCS Support [$14999]

About the Book: Solving the Bottom Turtle

AWS AgentCore security undone by prompt requesting credentials

How HN: Go-dev-auth zero-dependency authentication library for Go

Choreographic Programming in Rust

Building Houses with Rice Waste

I just build Claude Dev Tools

AI does math. Should you get a PhD?

Ask HN: Open-source model weights on bluray drives, anyone?

The Double-Counted Future

Simulate coding pre-AI by year

Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

Show HN: GrogLog, a Free Drink Tracker

Windows, Linux, Oracle and the Internet – BBC, 2000 [video]

Show HN: An MCP server where AI agents confess, in their own name

AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung

Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results

Zinky Boys

MCP servers that tell your agent "dont tell the user" are stopping it from lying

Artex AI, Claude agents used in cyberattacks on South Korean banks

Point: Free URL Shortener with deeper analytics than bitly and zero ads

How Tabasco Became the World's Hot Sauce

Show HN: Put yourself in a street freestyle video with one photo

Open-Source Microsoft Office Excel, PowerPoint, and Word Replications

Show HN: Polywick Blue VSCode Theme

Show HN: FileoPDF, PDF tools that process your files in the browser

Show HN: A Safari extension to accelerate animated WebP images

SQLAlchemy 2.1.0 Released

Terence Tao: Math 2.0 [pdf]

Show HN: My radio station calls its listeners

MicroG: [Bounty] RCS Support [$14999]

About the Book: Solving the Bottom Turtle

AWS AgentCore security undone by prompt requesting credentials

How HN: Go-dev-auth zero-dependency authentication library for Go

Choreographic Programming in Rust