Post #3786757
2026-07-13 14:10 UTC
@ruben Hillel always talks about formal methods and verification so that might be a good jumping off point.
https://hillelwayne.com
Replies (1)
-
@ruben@friendship.quest 2026-07-13 14:26
@blainsmith@fosstodon.org @ruben Nice! Will subscribe