fp.

The Formalization of IUT: A Preliminary Progress Report [pdf]

https://www.kurims.kyoto-u.ac.jp/~motizuki/Formalization%20of%20IUT%20(2026-04).pdf

1•amichail•35s ago•0 comments

Self-Host Your Homelab Tunnels on Bunny.net

https://alec.is/posts/cloudflare-tunnels-on-bunny-net/

1•arm32•57s ago•0 comments

Chrome Platform Status

https://chromestatus.com/roadmap

1•jcbhmr•3m ago•0 comments

Crane Ledger – Headless Accounting API with REST, GraphQL, and MCP

https://craneledger.ai

1•lifeofjer•3m ago•0 comments

Show HN: Open-source, machine-bound licensing with a single POST request

https://github.com/archergate/archergate

1•Archerlm•4m ago•0 comments

Webloc: Analysis of Penlink's Ad-Based Geolocation Surveillance Tech

https://citizenlab.ca/research/analysis-of-penlinks-ad-based-geolocation-surveillance-tech/

1•ledoge•5m ago•0 comments

The Race to Protect Submarine Cables from Sabotage

https://www.wsj.com/tech/inside-the-race-to-protect-submarine-cables-from-sabotage-c90ba18c

1•Stratoscope•6m ago•0 comments

Cached knowledge is not intelligence

https://olshansky.info/thoughts/2026-04-09-cached-knowledge-is-not-intelligence

2•speckx•6m ago•0 comments

AI agents can now open business bank accounts

https://twitter.com/brandon/status/2042280053107540251

1•karlhughes•7m ago•0 comments

Car-T therapy vanquishes ultra-rare disease trio

https://www.nature.com/articles/d41586-026-01108-4

2•freediddy•8m ago•0 comments

SQLite Release 3.53.0

https://www.sqlite.org/releaselog/3_53_0.html

2•thunderbong•9m ago•0 comments

Show HN: Miracle Release v0.9.0 – A hackable Wayland compositor

https://github.com/miracle-wm-org/miracle-wm/releases/tag/v0.9.0

1•matthewkosarek•11m ago•0 comments

Advocating for the Death of the Modern A16Z Stack

https://rawquery.dev/blog/death-to-the-modern-stack

1•mooreds•11m ago•0 comments

Giving an Agent a Rooted Android Phone

https://workers.io/blog/autonomous-mobile-pentesting/

1•skshadan•12m ago•0 comments

What's breaking in your LLM gateway in production?

1•vrinda_future•12m ago•0 comments

Solus and Age Verification

https://getsol.us/2026/04/solus-and-age-verification/

1•speckx•14m ago•0 comments

Boxer3D – Lifting 2D detections to 3D on iPhone with Lidar

https://github.com/Barath19/Boxer3D

1•barathbee•15m ago•1 comments

We tested "stateful AI." It couldn't prove its own history

https://enlightenedcore.org/

1•EC-CGF•16m ago•0 comments

A VSCode Extension for C++ Code Coverage on Windows

https://marketplace.visualstudio.com/items?itemName=covdbg.covdbg

1•superreeen•17m ago•0 comments

Litterbox by Catbox

https://litterbox.catbox.moe/

1•hmokiguess•17m ago•0 comments

Show HN: Git-worm, the simple worktree manager

https://github.com/ThatXliner/git-worm

1•thatxliner•18m ago•0 comments

A full AI intelligence layer on WhatsApp – Opero.so

https://opero.so

1•juancruzguillen•19m ago•0 comments

11,000 Asteroids Spotted in 'Unprecedented' Haul

https://www.newsweek.com/11000-asteroids-spotted-in-unprecedented-haul-with-33-near-earth-objects...

1•mooreds•19m ago•0 comments

A WhatsApp chatbot that becomes smarter the more you use it

https://opero.so/blog/how-your-ai-agent-gets-smarter-every-conversation

1•juancruzguillen•20m ago•0 comments

Enterprise AI does not have a model problem. It has an adoption problem

1•taariqlewis•20m ago•0 comments

Why would you want a 64 bit microprocessor, especially in a personal system? (19

https://www.bourguet.org/v2/comparch/mashey-byte-1991

1•fanf2•21m ago•0 comments

New IKEA Matter over Thread bulbs can be switched to Zigbee by powercycling 12x

https://old.reddit.com/r/homeassistant/comments/1sgstis/90_cri_1500lm_e27_zigbee_bulb_for_999_yes...

The Formalization of IUT: A Preliminary Progress Report [pdf]

Self-Host Your Homelab Tunnels on Bunny.net

Chrome Platform Status

Crane Ledger – Headless Accounting API with REST, GraphQL, and MCP

Show HN: Open-source, machine-bound licensing with a single POST request

Webloc: Analysis of Penlink's Ad-Based Geolocation Surveillance Tech

The Race to Protect Submarine Cables from Sabotage

Cached knowledge is not intelligence

AI agents can now open business bank accounts

Car-T therapy vanquishes ultra-rare disease trio

SQLite Release 3.53.0

Show HN: Miracle Release v0.9.0 – A hackable Wayland compositor

Advocating for the Death of the Modern A16Z Stack

Giving an Agent a Rooted Android Phone

What's breaking in your LLM gateway in production?

Solus and Age Verification

Boxer3D – Lifting 2D detections to 3D on iPhone with Lidar

We tested "stateful AI." It couldn't prove its own history

A VSCode Extension for C++ Code Coverage on Windows

Litterbox by Catbox

Show HN: Git-worm, the simple worktree manager

A full AI intelligence layer on WhatsApp – Opero.so

11,000 Asteroids Spotted in 'Unprecedented' Haul

A WhatsApp chatbot that becomes smarter the more you use it

Enterprise AI does not have a model problem. It has an adoption problem

Why would you want a 64 bit microprocessor, especially in a personal system? (19

New IKEA Matter over Thread bulbs can be switched to Zigbee by powercycling 12x

Show HN: MCP Servers

Let's talk about LLMs

Show HN: AIMock – One Mock Server for Your AI Stack

AET: A transpiler that compresses code for LLMs (saves 30-55% tokens)

The Formalization of IUT: A Preliminary Progress Report [pdf]

Self-Host Your Homelab Tunnels on Bunny.net

Chrome Platform Status

Crane Ledger – Headless Accounting API with REST, GraphQL, and MCP

Show HN: Open-source, machine-bound licensing with a single POST request

Webloc: Analysis of Penlink's Ad-Based Geolocation Surveillance Tech

The Race to Protect Submarine Cables from Sabotage

Cached knowledge is not intelligence

AI agents can now open business bank accounts

Car-T therapy vanquishes ultra-rare disease trio

SQLite Release 3.53.0

Show HN: Miracle Release v0.9.0 – A hackable Wayland compositor

Advocating for the Death of the Modern A16Z Stack

Giving an Agent a Rooted Android Phone

What's breaking in your LLM gateway in production?

Solus and Age Verification

Boxer3D – Lifting 2D detections to 3D on iPhone with Lidar

We tested "stateful AI." It couldn't prove its own history

A VSCode Extension for C++ Code Coverage on Windows

Litterbox by Catbox

Show HN: Git-worm, the simple worktree manager

A full AI intelligence layer on WhatsApp – Opero.so

11,000 Asteroids Spotted in 'Unprecedented' Haul

A WhatsApp chatbot that becomes smarter the more you use it

Enterprise AI does not have a model problem. It has an adoption problem

Why would you want a 64 bit microprocessor, especially in a personal system? (19

New IKEA Matter over Thread bulbs can be switched to Zigbee by powercycling 12x

Show HN: MCP Servers

Let's talk about LLMs

Show HN: AIMock – One Mock Server for Your AI Stack