Hillel
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/
👤 Joined on 04 May 2023
8193
Followers
104
Following
5143
Total Posts
📜 Kullanıcı Geçmişi
- 04 May 2023, 16:54
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@hillelogram.bsky.social - 05 May 2023, 18:30
✏️ Kullanıcı adı değişti:
@hillelogram.bsky.social→@hillelwayne.com - 13 Kas 2023, 01:00
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
skilldb.bsky.social
did:plc:b2oc2qtn2j5etzmqxfqq2fci
Not Found
robot-en
ak-jp.bsky.social
permiepurveyor.bsky.social
did:plc:e373ghyrxohjhyaj6xjuvjya
Not Found
did:plc:ebmzsne5cp7e4auh5fvl6bzx
Not Found
did:plc:25xiebdedgg6pz77fccx5z75
Not Found
Bluebagger57
bluebagger57.bsky.social
did:plc:arvsnyycjqpldchd2xqe4rll
Not Found
🐱 The Pharaoh of Cats - 🇨🇦 Freedom - 🇺🇸 Does not support sex crime
thepharaohofcats36.bsky.social
ridenetworkph.bsky.social
Punktoady
punktoady.bsky.social
Santa’s Little Helper
poems4themasses.bsky.social
Greg H
wuutguy.bsky.social
leftylitvegan.bsky.social
did:plc:n3xzykntjadiywuzk2mah725
Not Found
Wishfulthinking
omaproud.bsky.social
did:plc:vx6fmwgy77errzgmoe4pbini
Not Found
did:plc:hym2owu4itas4phbvyb3ctzp
Not Found
did:plc:4cjmlhbmk6foa42xaf2i6xmw
Not Found
did:plc:ou5arlicalwasur4562ien32
Not Found
did:plc:squcwsoa45f5ibxykhzpnvnc
Not Found
did:plc:fyuazsol5z6hsjeycnsyqdup
Not Found
carolinaintheam
carolinaintheam.bsky.social
Judi Bryan 🚫MAGA 🚫Porn 🚫DMs
time4sanity.bsky.social
❤️ Beğendiği Gönderiler
Watching “Logic for Programmers” youtu.be/8Xrvyu5tV28 by @hillelwayne.com
Show Post
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. 🫠
Show Post
In case @hillelwayne.com ever needs more exercises for Logic for Programmers, this sticker provides! Particularly fond of “ALL CARTS OR NO CARTS MUST BE INSTALLED FOR TAXI, TAKE-OFF, TURBULENCE AND LANDING”
Show Post
