Following
@ycabello.bsky.socialHillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com Newsletter: https://buttondown.email/hillelwayne/
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app