Formally proved nerd
@lostcrab.bsky.social
Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
Is that a thing still being marketed?
November 24, 2024 at 10:44 PM
Is that a thing still being marketed?
Learn from twitter's mistakes.
November 12, 2024 at 10:07 PM
Learn from twitter's mistakes.
Alan Turing laughed.
November 12, 2024 at 7:04 PM
Alan Turing laughed.
Git pre-commit hook session incoming?
November 10, 2024 at 10:16 PM
Git pre-commit hook session incoming?