Hillel

@hillelwayne.com did:plc:rvlyeda73kxm7l2weegk73pa

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/

Bei Bluesky seit 4 Mai 2023

Follower: 8.217
Folgt: 104
Posts: 5.153
Tage in Ranglisten: 0

Zusammenfassung

Hillel (@hillelwayne.com) ist seit 4 Mai 2023 auf Bluesky. Das Konto hat 8.217 Follower, folgt 104 Konten und hat 5.153 Posts veröffentlicht.

Ranglisten-Platzierungen

Die besten Tage, an denen Posts dieses Kontos in Debyas Tagesliste kamen.

Dieses Konto war noch in keiner Tagesrangliste.

Zuletzt gelikte Posts

Öffentliche Likes aus dem Bluesky-Netzwerk.

Carl Sverre@f0a.org02.11.2026 16:25
If you only read one thing this week, make it this wonderful ode to formal methods and dst by @hillelwayne.com antithesis.com/blog/2026/hi...
Post anzeigen
Gabriel@thegabriel.eu30.10.2026 16:53
Great webinar @hillelwayne.com! Very cool stuff!
Post anzeigen
Antithesis@antithesis.com30.10.2026 16:53
Some people were surprised when Mr. Formal Methods @hillelwayne.com joined Antithesis. Let him tell you in his own words a bit about why: antithesis.com/blog/2026/hi...
Post anzeigen
Derek Graham@deejaygraham.github.io05.10.2026 22:53
Watching “Logic for Programmers” youtu.be/8Xrvyu5tV28 by @hillelwayne.com
Post anzeigen
asker the gauche, glycojohn destroyer of carbs@johnbender.bsky.social30.09.2026 20:11
It’s a weird time to work in system verification/FM. Verifying an OS kernel is possible three months (arxiv.org/abs/2609.04043) and everyone wants to secure systems from the infinite red-team robots but very few people are aware of both or even know what correctness means for a given domain. 🫠
Post anzeigen

Melde dich an, um mehr zu sehen

Blockierte Konten

Blockierungen sind auf Bluesky öffentlich.