Rahul Gopinath
rahul@gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between Software Engineering and Cybersecurity. Interested in Program Analysis, Automatic Repair, Mutation Analysis, Specification Mining, Grammar Based Generators and Parsing. My website is at https://rahul.gopinath.org

New blog: Distinguishing an Interpreter from a Compiler tratt.net/laurie/blog/2023/dis. This is a follow-up to "Compiled and Interpreted Languages: Two Ways of Saying Tomato", based on an insightful comment from Mario Wolczko.

dbplyr 2.3.0 is out now: tidyverse.org/blog/2023/01/dbp!

Thanks to the continued efforts of Maximilian Girlich many pipelines now produce much simpler SQL. We've also improved error messages, added a translation for stringr::str_like(), and added features in anticipation of dplyr 1.1.0.

#rstats

RT @issta_conf@twitter.com

📢 Five weeks left until the Second ISSTA deadline!

It is time to think about preparing your research papers for the ISSTA 2023 second round.

🗓 Submission deadline: Feb. 16, 2023.
🔗 Submission link: issta2023.hotcrp.com

ℹ️ More info: conf.researchr.org/track/issta

#ISSTA2023

🐦🔗: twitter.com/issta_conf/status/

This is a post I originally made on my #calckey account, but I think it belongs here too.

==

The more I use different #fediverse apps, the more I feel that we are on the edge of a different future, in the early stages of something that we haven't seen before.

In the last few months, I've used #Mastodon, #Misskey, #Calckey, #Funkwhale, #lemmy, #Peertube, #Bookwyrm and #Pixelfed. Soon, I'm going to try an install of #kbin. In the not too distant future, we will see #GreatApe bringing more options for video chat to the Fediverse. There are countless more platforms that I haven't had a chance to try.

The network formed by the interconnections between those apps is the Fediverse; a Federated Universe. Federated, because everything out there is connected with everything else, in one giant network. What I am truly beginning to appreciate is just how real that vision is, and just how disruptive to our future it's going to be. More than a truism, these the fediverse platforms really will allow us to see and interact with nearly anything else out there.

The platform we use no longer determines the information we can access; it doesn't build walls around us. Instead, what out choice of platform determines, is how we interact with information, rather than determining what information we are able interact with in the first place. The walls in the walled garden haven't so much been torn down, as simply never built.

I can write a blog post, and someone on Mastodon can reply to it. I can make a group post on lemmy, and someone from Calckey can reply to it. I can see an awesome photo on Pixelfed, bring it in to #Akkoma and boost it for everyone else to see. And then anyone who sees it can interact with it.

The cross platform interactions are still imperfect. Standards are still being developed, code is still being written and features are still being defined, but the future is right here, we are on the cusp of something new and amazing.

Of course, this is all old news to someone who has been part of the fediverse for years now, but it feels different now. The momentum is here, we are seeing a shift and I think once we cross that precipice, once we have normalised the cross channel interactions we are starting to develop, it's going to be very hard to go back.

Honestly, I can't wait.

#introduction
Hello everyone! I have just moved from types.pl to try out this instance by ACM. Since my toots were not migrated with me, let me introduce myself again.
My name is Yao Li (李垚). I am currently an assistant professor at Portland State University. My research area is programming languages/formal verification/interactive theorem proving. Always happy to chat with people about research or general things about programming languages!

RT @Grady_Booch@twitter.com

Programming will be obsolete.
— Matt Welsh

Nope. The entire history of software engineering is one of rising levels of abstraction.
— Me
m-cacm.acm.org/magazines/2023/

🐦🔗: twitter.com/Grady_Booch/status

Today, my former Ph.D. student Martin Burger starts his new job as a Software Engineering and Software Quality Assurance professor at @htw@twitter.com Saarbrücken. Congratulations, Professor Martin! saarland.de/mfw/DE/aktuelles/a