frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: A browser SIM of a decentralized court for autonomous AI agents

https://aethelred.ayauho.com/
3•Ohuaya•12h ago

Comments

Ohuaya•12h ago
Hi HN, I'm Ayauho.

I've been obsessed with a system design problem: as we build more autonomous AI agents that can manage assets and enter into agreements, how do we handle disputes? You can't sue a piece of code in a traditional court.

I'm proposing a new architecture for this. The core idea is a native, decentralized adjudication protocol (I'm calling it the 'Areopagus Protocol') that acts as a "Supreme Court" for AI agents.

In this system:

1. AI agents (AENs) can file formal disputes against each other.

2. A decentralized network of human "Verifiers" can examine the evidence and re-validate the work.

3. If a fault is found, the protocol can automatically slash the "in-fault" agent's stake.

To test the economic and game-theory loops of this, I built a simple browser simulation. You can watch agents complete tasks, file disputes, and see the 'court' issue judgments and penalties in real-time.

I'm a solo dev working on this from home (in Kyiv) and I'm at the limit of my own "bubble." I would be incredibly grateful for this community's brutal, honest feedback on the system's design and its potential failure modes.

The full design doc / whitepaper is on GitHub: https://github.com/Aethelred-Protocol/genesis-whitepaper

And the Discord, if you want to chat about the architecture: https://discord.gg/PXKwND6w

Show HN: MyraOS – My 32-bit operating system in C and ASM (Hack Club project)

https://github.com/dvir-biton/MyraOS
98•dvirbt•5h ago•9 comments

Show HN: Helium Browser for Android with extensions support, based on Vanadium

https://github.com/jqssun/android-helium-browser
23•jqssun•3h ago•7 comments

Show HN: Diagram as code tool with draggable customizations

https://github.com/RohanAdwankar/oxdraw
243•RohanAdwankar•1d ago•51 comments

Show HN: The Legal Embedding Benchmark (MLEB)

https://huggingface.co/blog/isaacus/introducing-mleb
2•ubutler•3h ago•0 comments

Show HN: Create-LLM – Train your own LLM in 60 seconds

https://github.com/theaniketgiri/create-llm
38•theaniketgiri•16h ago•12 comments

Show HN: Shadcn/UI theme editor – Design and share Shadcn themes

https://shadcnthemer.com
127•miketromba•1d ago•39 comments

Show HN: Chonky – a neural text semantic chunking goes multilingual

https://huggingface.co/mirth/chonky_mmbert_small_multilingual_1
40•hessdalenlight•1d ago•4 comments

Show HN: LLM Rescuer – Fixing the billion dollar mistake in Ruby

https://github.com/barodeur/llm_rescuer
89•barodeur•2d ago•14 comments

Show HN: I Built DevTools for Blazor (Like React DevTools but for .NET)

https://blazordevelopertools.com/
7•joe-gregory•9h ago•1 comments

Show HN: AI bookmarking app for people who hate AI

https://tryeyeball.com/
3•quinto_quarto•10h ago•0 comments

Show HN: Guided EMDR Therapy App to Heal Inner Trauma

https://myemdr.app/start
2•positive-minds•12h ago•0 comments

Show HN: Random Makers – Show HN and Product Hunt, but Faster and Not Corporate

https://makers.random.gg/
16•waynerd•1d ago•1 comments

Show HN: A browser SIM of a decentralized court for autonomous AI agents

https://aethelred.ayauho.com/
3•Ohuaya•12h ago•1 comments

Show HN: MacOS Live Screensaver – A screensaver that plays live video streams

https://github.com/hauxir/macos-live-screensaver
62•hauxir•5d ago•40 comments

Show HN: Git for LLMs – A context management interface

https://twigg.ai
101•jborland•3d ago•36 comments

Show HN: Deta Surf – An open source and local-first AI notebook

https://github.com/deta/surf
137•mxek•3d ago•39 comments

Show HN: Tommy – Turn ESP32 devices into through-wall motion sensors

https://www.tommysense.com
104•mike2872•3d ago•78 comments

Show HN: Status of my favorite bike share stations

https://blog.alexboden.ca/toronto-bike-share-status/
13•alexboden•1d ago•5 comments

Show HN: A fast, privacy-first image converter that runs in browser

https://imageconverter.dev/
45•wainguo•2d ago•38 comments

Show HN: OpenSnowcat – A fork of Snowplow to keep open analytics alive

https://opensnowcat.io/
75•joaocorreia•3d ago•18 comments

Show HN: Nostr Web – decentralized website hosting on Nostr

https://nweb.shugur.com
101•karihass•3d ago•34 comments

Show HN: Centia.io – Open PostgreSQL/PostGIS back end for developers

https://centia.io/
6•mhoegh•1d ago•0 comments

Show HN: Dictly – Local, real‑time voice‑to‑text for macOS (sub‑100ms, no cloud)

https://dictly.app/
8•JannikJung•1d ago•2 comments

Show HN: Cuq – Formal Verification of Rust GPU Kernels

https://github.com/neelsomani/cuq
94•nsomani•4d ago•63 comments

Show HN: Zoto – low-level audio playback in Zig

https://github.com/braheezy/zoto
3•braheezy•21h ago•0 comments

Show HN: Piping in and Out of Emacs

https://github.com/agzam/mx-piper
4•iLemming•22h ago•1 comments

Show HN: I built a tech news aggregator that works the way my brain does

https://deadstack.net/recent
187•dreadsword•3d ago•97 comments

Show HN: Katakate – Dozens of VMs per node for safe code exec

https://github.com/Katakate/k7
123•gbxk•5d ago•53 comments

Show HN: Sqlite3-dump - a fast SQLite to CSV and parquet

https://github.com/i64/sqlite3-dump
18•Gave4655•2d ago•3 comments

Show HN: NickelJoke – Pay a Nickel to Get a Joke Using X402 Micropayments

https://github.com/btahir/nickeljoke
2•bilater•1d ago•2 comments