Solal Pirelli

Solal Pirelli

solalpirelli.bsky.social

Scala compiler engineer @ EPFL. Scientific integrity, and random rants. Previously: PhD in automated software verification.

👤 Joined on 18 octubre 2023

876

Followers

198

Following

725

Total Posts

📜 Kullanıcı Geçmişi

  • 18 Eki 2023, 12:51
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @solalpirelli.bsky.social
  • 10 Kas 2023, 05:13
    🔄 Profil bilgileri güncellendi

❤️ Beğendiği Gönderiler

Steve Klabnik
31 octubre 2026 22:29

Ah shit if this traffic jam isn’t mutable I’m never getting out of here

Show Post

I don’t buy the math results yet - these proofs require intense peer review even when a human can capably explain how they did what they did.

Show Post

At best, it's similar to an over-confident first year graduate student with poor judgement about almost everything and an infinite motivation to flatter and impress (derogatory).

Show Post
gabby
31 octubre 2026 22:14

"I want to pay for a product built by a company that somehow treats its employees even worse than my boss treats me" - literally nobody ever

Show Post
Nick DeVito
31 octubre 2026 22:13

It’s good they’re doing this but man…gotta ask some tough questions about how you let it get this bad to begin with.

Show Post

Seleccione el idioma