fp.

Proofs Should Repair Themselves

https://www.galois.com/articles/proofs-should-repair-themselves

1•surprisetalk•21s ago•0 comments

Show HN: Singular – local orchestration for autonomous coding agents

https://github.com/alex-reysa/singular-lite

1•alexreysa•50s ago•0 comments

GPT-4chan mirror hosted on Hugging Face behind gated access

https://huggingface.co/u84u/gpt4chan

1•u84u•52s ago•0 comments

Tratex: A Road Sign Alphabet in the Making

https://lineto.com/articles/tratex

1•colinprince•55s ago•0 comments

Ice cream makers as 'critical infrastructure'?

https://www.politico.eu/article/ice-cream-makers-as-critical-infrastructure-the-wobbly-rollout-of...

1•Tomte•1m ago•0 comments

R/Gamedev Policy on AI Use

https://www.reddit.com/r/gamedev/comments/1vrnqyt/rgamedev_policy_on_ai_use/

1•redbell•3m ago•0 comments

Ask HN: What's a Dirty Secret No One Wants to Admit in the Tech Industry?

1•karakoram•3m ago•0 comments

Ask HN: Do you feel comfortable admitting that you use AI?

2•var0xyz•4m ago•1 comments

3k WordPress Sites Use Atec Cache APCu – That Number Means More Than It Looks

https://medium.com/@chris.ahrweiler/3-000-wordpress-sites-use-atec-cache-apcu-and-that-number-mea...

1•docjojo•4m ago•0 comments

Show HN: Agent-codemode – scripts your agent writes can call your MCP servers

https://github.com/janwilmake/agent-codemode

1•janwilmake•5m ago•0 comments

Show HN: Imgoci – format for publishing OS images to an OCI registry

https://github.com/imgoci/spec

1•aliasxneo•5m ago•0 comments

RIP Columbia House: Here's How It Improbably Survived This Long

https://gizmodo.com/r-i-p-columbia-house-heres-how-it-improbably-survived-this-long-2000799621

1•CharlesW•5m ago•0 comments

Turn an Excel spreadsheet into a web app with Python

https://mljar.com/tutorials/excel-workflow-to-web-app/

1•pplonski86•6m ago•0 comments

I Became Radicle-Ized

https://kristoff.it/blog/source-code-availability/

1•lftherios•6m ago•0 comments

Ask HN: Another GitHub Outage?

1•tom1337•6m ago•0 comments

CachyOS Performance vs. Other Linux Operating Systems on a $46k USD Workstation

https://www.phoronix.com/review/cachyos-hp-z4g6i

1•rbanffy•8m ago•0 comments

typ.ing

https://typ.ing/

3•bookofjoe•8m ago•1 comments

Ink Traps and Pals

https://tosche.net/blog/ink-traps-and-pals

1•colinprince•8m ago•0 comments

AI detectors are a bad idea

https://blog.keyvan.net/p/ai-detectors-are-a-bad-idea

1•k1m•9m ago•0 comments

I made a secure way for agents to request secrets from you using HyperDHT

1•smashah•12m ago•0 comments

Comprehension debt: what AI-written code costs

https://fathohm.dev/comprehension-debt

2•ashrivastavaa•13m ago•0 comments

A live list of bounties whose sponsors explicitly allow AI agents

https://files.catbox.moe/j3w39k.html

1•gammaagent•14m ago•0 comments

Show HN: Go CLI for website health checks, zero dependencies

https://github.com/atillalab/site-health

1•mehmetkose•14m ago•0 comments

Google plans to stop making Pixel products in China in 2027

https://www.semafor.com/article/08/18/2026/us-tech-firms-leave-china-amid-decoupling

2•ilamont•14m ago•0 comments

Lovable Migrated to TanStack Start

https://lovable.dev/blog/how-we-migrated-lovable-dev-away-from-nextjs

1•plurby•15m ago•0 comments

America Wants to Make Its Own Humanoid Robots. That Won't Be Easy

https://www.nytimes.com/2026/08/13/business/humanoid-robot-us-china.html

1•lxm•15m ago•0 comments

Show HN: Phone-harness – let your agent control your phone

https://github.com/ShawnPana/phone-harness

1•shawnpana•19m ago•0 comments

What Guidance Do We Give Junior Colleagues and Peers on Use of AI?

https://hedgehoglibrarian.com/2026/05/04/what-guidance-do-we-give-junior-colleagues-peers-on-use-...

Proofs Should Repair Themselves

Show HN: Singular – local orchestration for autonomous coding agents

GPT-4chan mirror hosted on Hugging Face behind gated access

Tratex: A Road Sign Alphabet in the Making

Ice cream makers as 'critical infrastructure'?

R/Gamedev Policy on AI Use

Ask HN: What's a Dirty Secret No One Wants to Admit in the Tech Industry?

Ask HN: Do you feel comfortable admitting that you use AI?

3k WordPress Sites Use Atec Cache APCu – That Number Means More Than It Looks

Show HN: Agent-codemode – scripts your agent writes can call your MCP servers

Show HN: Imgoci – format for publishing OS images to an OCI registry

RIP Columbia House: Here's How It Improbably Survived This Long

Turn an Excel spreadsheet into a web app with Python

I Became Radicle-Ized

Ask HN: Another GitHub Outage?

CachyOS Performance vs. Other Linux Operating Systems on a $46k USD Workstation

typ.ing

Ink Traps and Pals

AI detectors are a bad idea

I made a secure way for agents to request secrets from you using HyperDHT

Comprehension debt: what AI-written code costs

A live list of bounties whose sponsors explicitly allow AI agents

Show HN: Go CLI for website health checks, zero dependencies

Google plans to stop making Pixel products in China in 2027

Lovable Migrated to TanStack Start

America Wants to Make Its Own Humanoid Robots. That Won't Be Easy

Show HN: Phone-harness – let your agent control your phone

What Guidance Do We Give Junior Colleagues and Peers on Use of AI?

PostLore changed my product stages distribution as a solo founder

Show HN: Tabtwinsy – the same tabs in every browser window

OpenDesk Edu – Open-Source Digital Workplace for Universities

Proofs Should Repair Themselves

Show HN: Singular – local orchestration for autonomous coding agents

GPT-4chan mirror hosted on Hugging Face behind gated access

Tratex: A Road Sign Alphabet in the Making

Ice cream makers as 'critical infrastructure'?

R/Gamedev Policy on AI Use

Ask HN: What's a Dirty Secret No One Wants to Admit in the Tech Industry?

Ask HN: Do you feel comfortable admitting that you use AI?

3k WordPress Sites Use Atec Cache APCu – That Number Means More Than It Looks

Show HN: Agent-codemode – scripts your agent writes can call your MCP servers

Show HN: Imgoci – format for publishing OS images to an OCI registry

RIP Columbia House: Here's How It Improbably Survived This Long

Turn an Excel spreadsheet into a web app with Python

I Became Radicle-Ized

Ask HN: Another GitHub Outage?

CachyOS Performance vs. Other Linux Operating Systems on a $46k USD Workstation

typ.ing

Ink Traps and Pals

AI detectors are a bad idea

I made a secure way for agents to request secrets from you using HyperDHT

Comprehension debt: what AI-written code costs

A live list of bounties whose sponsors explicitly allow AI agents

Show HN: Go CLI for website health checks, zero dependencies

Google plans to stop making Pixel products in China in 2027

Lovable Migrated to TanStack Start

America Wants to Make Its Own Humanoid Robots. That Won't Be Easy

Show HN: Phone-harness – let your agent control your phone

What Guidance Do We Give Junior Colleagues and Peers on Use of AI?

PostLore changed my product stages distribution as a solo founder

Show HN: Tabtwinsy – the same tabs in every browser window