solalpirelli.bsky.social
Automated software verification, scientific integrity, and random rants. Currently at Sonar, previously did a PhD at EPFL.
27 posts
613 followers
60 following
Getting Started
Active Commenter
comment in response to
post
With the usual implicit "...in the United States".
And the more recent implicit "...while the rest of the world watches, eating popcorn".
comment in response to
post
E-waste, probably?
comment in response to
post
I would 😂 you should share, most people have no idea at all about this stuff. (Also open to DMs if you don't want to post them in your name, unfortunately there are good reasons not to)
comment in response to
post
Depending on timing, "X and Y are both bad" can be very political. Similar to "all lives matter". Lots of groups want to be the "real victims" of conflicts.
comment in response to
post
Check out coverage in @science.org by @cathleenogrady.bsky.social : www.science.org/content/arti...
comment in response to
post
So the general conclusion is that pet shop people are cool 🤔
www.youtube.com/watch?v=LNBj...
comment in response to
post
Most folks in the US either voted for Trump or didn't care enough to vote. Democrats control nothing (regardless of their incompetence).
It's sad but we should accept it, otherwise we'll all turn into Russian opposition claiming that most people secretly oppose the tsar... 😔
comment in response to
post
I didn't realize the scarf was a scarf and thought he had really long legs
comment in response to
post
People are worse at this than they think :-) arxiv.org/abs/1709.01609
comment in response to
post
Also, a lot of these authors aren't actually famous in the usual sense. You can find people with absurdly high h-indexes in a domain you're familiar with yet have never even seen their names, because they publish in... less reputable venues, to put it politely.
comment in response to
post
Good venues don't let reviewers see who the authors are for this reason.
comment in response to
post
Hungary is also the only country in the universe that uses decagrams as an everyday unit. 🤔
comment in response to
post
Do you see the fees getting lower in the future, then?
comment in response to
post
PU4/CD68 left of week 1 and right of week 4 are the same, I think?
comment in response to
post
Storage is pretty cheap these days. The "diamond open access" Journal of Open Source Software shared an interesting breakdown of their costs some years ago, stating it'd be $100/paper without volunteer work on the IT side:
blog.joss.theoj.org/2019/06/cost...
comment in response to
post
Yeah beginner's luck I guess. Though I learned later that there's some device to make them instead of using that one side of the grater you normally don't use? I am not making them again with a grater, it was so annoying 😅
comment in response to
post
Making some was the peak of my Twitter account, the only time a sitting member of government (Landsbergis) liked one my tweets 😂
comment in response to
post
Hopefully they'll apply transparency to their finances so we know what those $400 go toward, that's still a fair amount of money
comment in response to
post
Nothing specific, ChatGPT merely accentuates existing bad patterns in my experience. Grading criteria that penalize vagueness, overly long answers, extreme hedging, etc. will also penalize ChatGPT use.
comment in response to
post
Google says it's "type L". Looks like this, at first glance the spacing seems right until you actually try to insert an EU-style plug.
comment in response to
post
(...or borrow the one from the gym treadmill, it's not like anyone wanted to use it. I hope.)
comment in response to
post
Random potentially useful trivia: unless they've modernized since HotOS'19, the bedrooms have old school 3-prong Italian sockets, incompatible with usual 2-prong plugs, unlike most of Western Europe. Tell people to bring specialized adapters 😅