fp.

Show HN: InfiniWord – infinite multiplayer word search

https://infiniword.com

1•Static2280•2m ago•0 comments

More reasons not to be an electrician (UK)

1•notasparkthrowa•3m ago•0 comments

The Placenta Is More Powerful–and More Mysterious–Than You Think

https://nautil.us/the-placenta-is-more-powerful-and-more-mysterious-than-you-think-1285683

1•Brajeshwar•7m ago•0 comments

'You have a meeting': the calendar phishing scam growing exponentially

https://www.theguardian.com/money/2026/oct/11/calendar-phishing-scam-meeting-renewal-google-micro...

1•Brajeshwar•7m ago•0 comments

Eggshell is an open-source token-saving tool built in Lean4

https://github.com/momonpya/eggshell

1•o8vm•8m ago•0 comments

Ditherpunk – The article I wish I had about monochrome image dithering (2021)

https://surma.dev/things/ditherpunk/

1•EndXA•8m ago•0 comments

Git for Robots In The Future

https://github.com/Nabzx/mnemosyne

1•Na6z•9m ago•1 comments

AI companies are starting to do phones

https://twitter.com/firesidealpha/status/2108930562794864912

1•elorant•12m ago•0 comments

A Tutorial on the Curry-Howard Correspondence [pdf]

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

1•rramadass•14m ago•0 comments

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

https://desktopbrain.saposs.com/

1•jimmy_lee•15m ago•0 comments

Show HN: Contribute to Collection of JavaScript Demos

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

1•Brysonbw•15m ago•0 comments

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

https://github.com/ggirelli/quaesito

1•ggirelli•15m ago•0 comments

Tensordyne is making AI compute more efficient using logarithms

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

2•mdp2021•15m ago•0 comments

Did Numerical Control De-Skill Machinists? [video]

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

1•rnicholson•16m ago•0 comments

I just build Claude Dev Tools

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

1•AshborneDev•19m 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•21m ago•1 comments

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

1•satuke•22m ago•0 comments

The Double-Counted Future

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

7•yusufaytas•22m ago•0 comments

Simulate coding pre-AI by year

https://beforetheprompt.xipu.li/

1•GoodluckH•25m ago•0 comments

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

https://www.mytasterank.com/

1•MarkBekooy•27m ago•1 comments

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

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

1•birdculture•27m ago•0 comments

Show HN: GrogLog, a Free Drink Tracker

https://groglog.io

1•antihero•28m ago•0 comments

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

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

1•xqcgrek2•30m ago•0 comments

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

https://ai.confess.online

1•RenderNest•32m 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•33m 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•34m ago•0 comments

Zinky Boys

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

1•bhickey•34m 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•35m 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•36m ago•0 comments

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

https://point.codecraftsol.org/

1•sasenb•36m ago•0 comments

Show HN: InfiniWord – infinite multiplayer word search

More reasons not to be an electrician (UK)

The Placenta Is More Powerful–and More Mysterious–Than You Think

'You have a meeting': the calendar phishing scam growing exponentially

Eggshell is an open-source token-saving tool built in Lean4

Ditherpunk – The article I wish I had about monochrome image dithering (2021)

Git for Robots In The Future

AI companies are starting to do phones

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

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

Show HN: InfiniWord – infinite multiplayer word search

More reasons not to be an electrician (UK)

The Placenta Is More Powerful–and More Mysterious–Than You Think

'You have a meeting': the calendar phishing scam growing exponentially

Eggshell is an open-source token-saving tool built in Lean4

Ditherpunk – The article I wish I had about monochrome image dithering (2021)

Git for Robots In The Future

AI companies are starting to do phones

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