jessicat(@jessi_cata):"The solution today: sorry, you have to verify over literally your entire program, including database, networking, any caching layers, everything. Modern AI can do it." Cryptocurrency has pioneered making secure-by-design networked software that is correct from the get-go.

jessicat

@jessi_cata

CS / Math / AI / Philosophy blogger. Aspiring cyborg. Sleeping Beauty thirder. "There is no pleasure more complex than that of thought" — Borges

Joined August 2011

1K Following 7.8K Followers

jessicat@jessi_cata

2026.09.16 21:53

"The solution today: sorry, you have to verify over literally your entire program, including database, networking, any caching layers, everything. Modern AI can do it." Cryptocurrency has pioneered making secure-by-design networked software that is correct from the get-go.