Hila Peleg
hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
👤 Joined on 08 July 2023
1202
Followers
237
Following
516
Total Posts
📜 Kullanıcı Geçmişi
- 08 Tem 2023, 08:47
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@hilacodes.bsky.social - 12 Kas 2023, 22:48
🔄 Profil bilgileri güncellendi
❤️ Beğendiği Gönderiler
"oh so code is trans now?" always has been
Show Post
U. Colorado Boulder Mathematics is hiring for two tenure-track faculty positions: 1 open area jobs.colorado.edu/jobs/JobDeta... due Nov 15 1 at the interface of AI + math jobs.colorado.edu/jobs/JobDeta... due Nov 11 Please help spread the word! #MathSky #AcademicSky
Show Post
7 year old just asked me “what’s the opposite of Tuesday?” and I simultaneously knew both that this is a nonsensical question, and that the answer is Thursday
Show Post
there is truly no class more oppressed than the vibecoder
Show Post