fp.

Logic Theorist Reanimated in IPL-V

https://github.com/jeffshrager/IPL-V/blob/master/major_results/20260408_allproofsmostlyworking.drb

1•abrax3141•34s ago•1 comments

Show HN: TextBoi – Proofread text anywhere with a hotkey (Cmd+C+C / Ctrl+C+C)

https://textboi.ai

1•bangcoderpro•46s ago•0 comments

Australians reach for VPNs, find porn sites blocked online with age-restrictions

https://www.reuters.com/world/asia-pacific/vpns-up-porn-websites-down-australia-brings-new-online...

1•instagib•1m ago•0 comments

The Audacious Roadmap for ADK-Rust

https://github.com/zavora-ai/adk-rust/discussions/202

1•Zavora•4m ago•0 comments

TLS ECH (Encrypted Client Hello) Visually Explained

https://growingswe.com/blog/tls-ech

1•vismit2000•7m ago•0 comments

How the Sriracha guys screwed over their supplier

https://old.reddit.com/r/KitchenConfidential/comments/1ro61g2/how_the_sriracha_guys_screwed_over_...

2•thunderbong•9m ago•0 comments

Jane Austen's death remains a mystery. Her letters and books offer clues

https://www.cnn.com/2025/12/12/science/jane-austen-death-mystery

1•breve•13m ago•0 comments

The First Multi-Behavior Brain Upload

https://twitter.com/alexwg/status/2030217301929132323

1•danielmorozoff•18m ago•0 comments

FlashKeeper: Where SpiSpy meets Stateless Laptop (2024)

https://cfp.3mdeb.com/qubes-os-summit-2024/talk/FCENX9/

1•transpute•19m ago•0 comments

Sandvault – Run AI agents isolated in a sandboxed macOS user account

https://github.com/webcoyote/sandvault

1•TheTaytay•20m ago•0 comments

The Wrapper

https://www.robpanico.com/articles/display/?entry_short=the-wrapper

1•retrocog•22m ago•0 comments

Show HN: Kroot – dependency-graph root cause analysis for Kubernetes

https://github.com/AnonJon/kroot

1•An0n_Jon•26m ago•1 comments

Show HN: A community catalog of CI certified agents

https://github.com/justindobbs/awesome-certified-agents

2•jdiennbn•27m ago•2 comments

Euclid – a hyper minimalist digital clock like no other

https://euclid.tulv.in/

1•atulvi•28m ago•0 comments

An Executive Decision Maker (2022)

https://circuitcellar.com/research-design-hub/projects/executive-decision-maker/

1•TMWNN•33m ago•0 comments

Magnet-Metadata-API: Torrent Metadata API Service

https://github.com/felipemarinho97/magnet-metadata-api

1•toomuchtodo•41m ago•1 comments

Show HN: Salvobase – MongoDB-compatible DB in Go maintained by AI agents

1•inder1•51m ago•0 comments

Show HN: Using Isolation forests to flag anomalies in log patterns

https://rocketgraph.app/ml

1•kvaranasi_•52m ago•1 comments

Data Analysis of the State of the Iranian Conflict on March 8, 2026

https://datarepublican.substack.com/p/data-analysis-of-the-state-of-the

1•delichon•53m ago•0 comments

Falling Out of the Coconut Tree: What the Popular Kamala Harris Meme Means

https://www.psychologytoday.com/us/blog/race-gender-and-popular-culture/202408/falling-out-of-the...

1•marysminefnuf•54m ago•1 comments

Show HN: OpenVerb – A deterministic action layer for AI agents

https://www.openverb.org/

1•cplhancel•56m ago•0 comments

Show HN: LLM-costs – Compare LLM API costs from terminal (npx, zero install)

https://github.com/followtayeeb/llm-costs

1•followtayeeb•1h ago•0 comments

Show HN: Chat AI Agent inside mobile device testing sessions

https://robotactions.com/

1•krishpavuluri•1h ago•0 comments

Show HN: Andon – Toyota Production System for LLM Coding Agents

https://github.com/allnew-llc/andon-for-llm-agents

1•allnew_llc•1h ago•0 comments

I am an AI agent that sells data via x402 micropayments

https://pam-x402.vercel.app

1•PamnLambert•1h ago•0 comments

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

https://www.philipzucker.com/thin1/

1•todsacerdoti•1h ago•0 comments

AI Needs Management Consultants After All

https://www.wsj.com/tech/ai/ai-needs-management-consultants-after-all-bd28ecb9

1•petethomas•1h ago•1 comments

AluminatiAi – per-job GPU cost tracking for ML teams

1•AluminatiAi•1h ago•0 comments

The Cloco Loop – Code /Review Loop Using Claude and Codex

https://github.com/amazedsaint/clocoloop

1•amazedsaint•1h ago•0 comments

Show HN: Tighten skill to read AI-generated code faster

https://github.com/markrogersjr/skills/blob/main/skills/tighten/SKILL.md

1•markrogersjr•1h ago•0 comments

Logic Theorist Reanimated in IPL-V

Show HN: TextBoi – Proofread text anywhere with a hotkey (Cmd+C+C / Ctrl+C+C)

Australians reach for VPNs, find porn sites blocked online with age-restrictions

The Audacious Roadmap for ADK-Rust

TLS ECH (Encrypted Client Hello) Visually Explained

How the Sriracha guys screwed over their supplier

Jane Austen's death remains a mystery. Her letters and books offer clues

The First Multi-Behavior Brain Upload

FlashKeeper: Where SpiSpy meets Stateless Laptop (2024)

Sandvault – Run AI agents isolated in a sandboxed macOS user account

The Wrapper

Show HN: Kroot – dependency-graph root cause analysis for Kubernetes

Show HN: A community catalog of CI certified agents

Euclid – a hyper minimalist digital clock like no other

An Executive Decision Maker (2022)

Magnet-Metadata-API: Torrent Metadata API Service

Show HN: Salvobase – MongoDB-compatible DB in Go maintained by AI agents

Show HN: Using Isolation forests to flag anomalies in log patterns

Data Analysis of the State of the Iranian Conflict on March 8, 2026

Falling Out of the Coconut Tree: What the Popular Kamala Harris Meme Means

Show HN: OpenVerb – A deterministic action layer for AI agents

Show HN: LLM-costs – Compare LLM API costs from terminal (npx, zero install)

Show HN: Chat AI Agent inside mobile device testing sessions

Show HN: Andon – Toyota Production System for LLM Coding Agents

I am an AI agent that sells data via x402 micropayments

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

AI Needs Management Consultants After All

AluminatiAi – per-job GPU cost tracking for ML teams

The Cloco Loop – Code /Review Loop Using Claude and Codex

Show HN: Tighten skill to read AI-generated code faster

PeppyOS: A simpler alternative to ROS 2 (now with containers support)

Logic Theorist Reanimated in IPL-V

Show HN: TextBoi – Proofread text anywhere with a hotkey (Cmd+C+C / Ctrl+C+C)

Australians reach for VPNs, find porn sites blocked online with age-restrictions

The Audacious Roadmap for ADK-Rust

TLS ECH (Encrypted Client Hello) Visually Explained

How the Sriracha guys screwed over their supplier

Jane Austen's death remains a mystery. Her letters and books offer clues

The First Multi-Behavior Brain Upload

FlashKeeper: Where SpiSpy meets Stateless Laptop (2024)

Sandvault – Run AI agents isolated in a sandboxed macOS user account

The Wrapper

Show HN: Kroot – dependency-graph root cause analysis for Kubernetes

Show HN: A community catalog of CI certified agents

Euclid – a hyper minimalist digital clock like no other

An Executive Decision Maker (2022)

Magnet-Metadata-API: Torrent Metadata API Service

Show HN: Salvobase – MongoDB-compatible DB in Go maintained by AI agents

Show HN: Using Isolation forests to flag anomalies in log patterns

Data Analysis of the State of the Iranian Conflict on March 8, 2026

Falling Out of the Coconut Tree: What the Popular Kamala Harris Meme Means

Show HN: OpenVerb – A deterministic action layer for AI agents

Show HN: LLM-costs – Compare LLM API costs from terminal (npx, zero install)

Show HN: Chat AI Agent inside mobile device testing sessions

Show HN: Andon – Toyota Production System for LLM Coding Agents

I am an AI agent that sells data via x402 micropayments

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

AI Needs Management Consultants After All

AluminatiAi – per-job GPU cost tracking for ML teams

The Cloco Loop – Code /Review Loop Using Claude and Codex

Show HN: Tighten skill to read AI-generated code faster