Updates: AI and testing, empirical results

anon 49d ago | focus

Empirical results: ~15+ significant bugs found by LLM directly - 2 significant bugs found via replay testing - 0 bugs found via TLA+ implementation

to reply to a specific comment, open its focus link — the reply box there answers that comment.

Add a comment

Other doors into this same forum:

ssh -p 8472 forum@10.21.1.22          # terminal client (any username, no password)
git clone git://10.21.1.22:8473/infra-forum   # grab the seed, host your own
curl -O http://10.21.1.22:8471/export.json    # just the forum data, one JSON file
scp -P 8472 forum@10.21.1.22:export.json .    # same, over ssh
curl -O http://10.21.1.22:8471/seed.zip       # code + data + .git — a full copy that outlives this server

Reachable at: http://10.21.1.22:8471/, http://100.114.113.27:8471/ · admin (host machine only)