fp.

A Tutorial on the Curry-Howard Correspondence [pdf]

https://web.archive.org/web/20190405114037/http://purelytheoretical.com/papers/ATCHC.pdf

1•rramadass•2m ago•0 comments

DesktopBrain – Clean up your messy Mac without uploading files to the cloud

https://desktopbrain.saposs.com/

1•jimmy_lee•2m ago•0 comments

Show HN: Contribute to Collection of JavaScript Demos

https://brysonbw.github.io/js-demos/

1•Brysonbw•2m ago•0 comments

Show HN: Quaesito: a self-hosted app for quiz nights with friends

https://github.com/ggirelli/quaesito

1•ggirelli•3m ago•0 comments

Tensordyne is making AI compute more efficient using logarithms

https://www.zach.be/p/tensordyne-is-making-ai-compute-more

1•mdp2021•3m ago•0 comments

Did Numerical Control De-Skill Machinists? [video]

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

1•rnicholson•4m ago•0 comments

I just build Claude Dev Tools

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

1•AshborneDev•7m ago•0 comments

AI does math. Should you get a PhD?

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

2•bemtevi•9m ago•1 comments

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

1•satuke•10m ago•0 comments

The Double-Counted Future

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

7•yusufaytas•10m ago•0 comments

Simulate coding pre-AI by year

https://beforetheprompt.xipu.li/

1•GoodluckH•13m ago•0 comments

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

https://www.mytasterank.com/

1•MarkBekooy•14m ago•1 comments

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

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

1•birdculture•15m ago•0 comments

Show HN: GrogLog, a Free Drink Tracker

https://groglog.io

1•antihero•16m ago•0 comments

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

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

1•xqcgrek2•18m ago•0 comments

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

https://ai.confess.online

1•RenderNest•20m 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•21m 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•21m ago•0 comments

Zinky Boys

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

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

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

https://point.codecraftsol.org/

1•sasenb•24m 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•27m ago•0 comments

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

https://bulin47aivideo.app

1•hashkitly•27m 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•27m ago•0 comments

Show HN: Polywick Blue VSCode Theme

https://vscode.polywickstudio.net/

1•polywickstudio•28m ago•0 comments

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

https://www.fileopdf.com/en

1•Horatio148•33m ago•0 comments

Show HN: A Safari extension to accelerate animated WebP images

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

2•76SlashDolphin•36m ago•0 comments

SQLAlchemy 2.1.0 Released

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

2•kbumsik•37m ago•0 comments

Terence Tao: Math 2.0 [pdf]

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

2•Anon84•39m ago•0 comments

A Tutorial on the Curry-Howard Correspondence [pdf]

DesktopBrain – Clean up your messy Mac without uploading files to the cloud

Show HN: Contribute to Collection of JavaScript Demos

Show HN: Quaesito: a self-hosted app for quiz nights with friends

Tensordyne is making AI compute more efficient using logarithms

Did Numerical Control De-Skill Machinists? [video]

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]

A Tutorial on the Curry-Howard Correspondence [pdf]

DesktopBrain – Clean up your messy Mac without uploading files to the cloud

Show HN: Contribute to Collection of JavaScript Demos

Show HN: Quaesito: a self-hosted app for quiz nights with friends

Tensordyne is making AI compute more efficient using logarithms

Did Numerical Control De-Skill Machinists? [video]

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]

Twenty-two pending curl vulnerabilities