fp.

I don't trust Lean code from AI

https://karagila.org/2026/lean/

1•surprisetalk•45s ago•0 comments

The Last Untracked Generation

https://blog.lopp.net/the-last-untracked-generation/

1•jger15•1m ago•0 comments

PHP Capture the Flag (CTF) Challenge

https://php-rce.cloudflare.app/

2•davedevelopment•2m ago•0 comments

Show HN: Auto-distil your OpenAI traffic into fine-tuned open-weight models

1•BurakSakmak•2m ago•0 comments

Show HN: ToolmakerAgent,AI SDLC platform where humans and agents can collaborate

https://toolmaker.io/

1•rts-gordon•3m ago•0 comments

I scanned 3 months of Product Hunt launches for security issues

https://squirrelscan.com/blog/product-hunt-launches-audit

1•nikcub•4m ago•0 comments

Show HN: Alchemy Puzzle Game I built

https://alchemypuzzle.com/en/

1•alchemypuzzle•4m ago•0 comments

Amazon to buy satellite firm Globalstar in $11.57B deal

https://www.reuters.com/business/media-telecom/amazon-signs-1157-billion-deal-satellite-firm-glob...

3•noptd•6m ago•0 comments

Climate change should be declared health emergency due to health risks

https://www.euronews.com/2026/10/28/climate-change-should-be-declared-health-emergency-as-health-...

2•robtherobber•8m ago•0 comments

Executable Markdown Testing

https://mdspec.org/

1•ankitg12•8m ago•0 comments

55,181 Commits in 7 Days: Why We Moved Health Checks Out of Git

https://www.syntasso.io/post/55-181-commits-in-7-days-why-we-moved-health-checks-out-of-git

2•danielbryantuk•8m ago•0 comments

Comodity Software: Voice Transcription

https://dejang.github.io/talksify/

1•djx22•9m ago•1 comments

Flyover (1982. c64,vic20,c16,zx,PC. not AI)

https://orac81.itch.io/flyover

1•orac81•11m ago•1 comments

Frogue: A ForgeFed-compatible software forge

https://frogue.vit.am/~ololduck/Frogue

1•rapnie•14m ago•0 comments

Meta launched an 'AI pet journal' app

https://www.theverge.com/ai-artificial-intelligence/1020410/meta-launched-ai-pet-journal-app-wadd...

1•mikelgan•16m ago•1 comments

Nature's Harmonic Simultaneous 4-Day Time Cube

https://www.timecube.net/

1•fragmede•16m ago•0 comments

Entry level jobs that dont ask for experience

https://entryleveljobs.co/jobs/

5•entryleveljobsc•17m ago•0 comments

Bolivia's new silver rush, a dangerous mining boom

https://www.dw.com/en/bolivias-new-silver-rush-a-dangerous-mining-boom/g-76201706

1•mooreds•17m ago•0 comments

A user asked for a Game of Life tool, so I built one with 3D and music

https://10015.io/tools/game-of-life-simulator

1•fthtls•17m ago•0 comments

Amazon's anti-tokenmaxxing memo says engineers should be pickier about using AI

https://www.cnbc.com/2026/10/27/amazon-ai-coding-tokenmaxxing.html

1•avinoth•19m ago•0 comments

Show HN: Gol Duel – 3-minute football card duels in the browser, no sign-up

https://golduel.com

1•promatchlab•21m ago•0 comments

Change Agent: Gene Sharp's Neoliberal Nonviolence (Part One)

https://nonsite.org/change-agent-gene-sharps-neoliberal-nonviolence-part-one/

1•Bluestein•21m ago•0 comments

Show HN: Squishy 3D helpers powered by Three.js

https://prathje.github.io/plushies/

1•prathje•21m ago•0 comments

Wildfires Are Unfightable

https://www.nytimes.com/2026/10/12/opinion/wildfires-firefighters-climate-change.html

4•thelastgallon•23m ago•1 comments

TorchLean is a Lean 4 framework for neural-networks

https://github.com/lean-dojo/TorchLean

2•porridgeraisin•26m ago•0 comments

Wall Street's AI Debt Machine Is Starting to Choke on Supply

https://www.bloomberg.com/news/articles/2026-10-28/wall-street-s-ai-debt-machine-is-starting-to-c...

I don't trust Lean code from AI

The Last Untracked Generation

PHP Capture the Flag (CTF) Challenge

Show HN: Auto-distil your OpenAI traffic into fine-tuned open-weight models

Show HN: ToolmakerAgent,AI SDLC platform where humans and agents can collaborate

I scanned 3 months of Product Hunt launches for security issues

Show HN: Alchemy Puzzle Game I built

Amazon to buy satellite firm Globalstar in $11.57B deal

Climate change should be declared health emergency due to health risks

Executable Markdown Testing

55,181 Commits in 7 Days: Why We Moved Health Checks Out of Git

Comodity Software: Voice Transcription

Flyover (1982. c64,vic20,c16,zx,PC. not AI)

Frogue: A ForgeFed-compatible software forge

Meta launched an 'AI pet journal' app

Nature's Harmonic Simultaneous 4-Day Time Cube

Entry level jobs that dont ask for experience

Bolivia's new silver rush, a dangerous mining boom

A user asked for a Game of Life tool, so I built one with 3D and music

Amazon's anti-tokenmaxxing memo says engineers should be pickier about using AI

Show HN: Gol Duel – 3-minute football card duels in the browser, no sign-up

Change Agent: Gene Sharp's Neoliberal Nonviolence (Part One)

Show HN: Squishy 3D helpers powered by Three.js

Wildfires Are Unfightable

TorchLean is a Lean 4 framework for neural-networks

Wall Street's AI Debt Machine Is Starting to Choke on Supply

Why We Should Work on AI Instead of Fearing It: A Philosophical Perspective

Popular Sovereignty

Analysts followed AI agent's randomly assigned preferences in 86% of decisions

The Brutal Harvard Class That Suddenly Everyone Wants to Take

I don't trust Lean code from AI

The Last Untracked Generation

PHP Capture the Flag (CTF) Challenge

Show HN: Auto-distil your OpenAI traffic into fine-tuned open-weight models

Show HN: ToolmakerAgent,AI SDLC platform where humans and agents can collaborate

I scanned 3 months of Product Hunt launches for security issues

Show HN: Alchemy Puzzle Game I built

Amazon to buy satellite firm Globalstar in $11.57B deal

Climate change should be declared health emergency due to health risks

Executable Markdown Testing

55,181 Commits in 7 Days: Why We Moved Health Checks Out of Git

Comodity Software: Voice Transcription

Flyover (1982. c64,vic20,c16,zx,PC. not AI)

Frogue: A ForgeFed-compatible software forge

Meta launched an 'AI pet journal' app

Nature's Harmonic Simultaneous 4-Day Time Cube

Entry level jobs that dont ask for experience

Bolivia's new silver rush, a dangerous mining boom

A user asked for a Game of Life tool, so I built one with 3D and music

Amazon's anti-tokenmaxxing memo says engineers should be pickier about using AI

Show HN: Gol Duel – 3-minute football card duels in the browser, no sign-up

Change Agent: Gene Sharp's Neoliberal Nonviolence (Part One)

Show HN: Squishy 3D helpers powered by Three.js

Wildfires Are Unfightable

TorchLean is a Lean 4 framework for neural-networks

Wall Street's AI Debt Machine Is Starting to Choke on Supply

Why We Should Work on AI Instead of Fearing It: A Philosophical Perspective

Popular Sovereignty

Analysts followed AI agent's randomly assigned preferences in 86% of decisions

The Brutal Harvard Class That Suddenly Everyone Wants to Take

A Little Bit of Slope Makes Up for a Lot of Y-Intercept [video]