solalpirelli.bsky.social
Scala compiler engineer @ EPFL. Scientific integrity, and random rants. Previously: PhD in automated software verification.
👤 Joined on 18 outubro 2023
Followers
Following
Total Posts
@solalpirelli.bsky.socialAh shit if this traffic jam isn’t mutable I’m never getting out of here
Show PostI 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 PostAt 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"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 PostIt’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