This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
This action will block this actor and hide all of their past and future posts. Are you certain you want to block this actor?
This action will block this object. Are you certain you want to block this object?
Our paper “An Empirical Study of Automated Unit Test Generation for Python” (w. F. Kroiß &
@thegordonfraser@twitter.com
finally appeared in
@emsejournal@twitter.com
(Open Access): https://doi.org/10.1007/s10664-022-10248-w
For this work, we extended our
@PynguinTestGen@twitter.com
test generator with three state-of-the-art test-generation algorithms and evaluated them in the context of the #Python programming language. Additionally, we were able to confirm and extend the evaluation results from our previous work published in 2020
“(Re)Use of Research Results (Is Rampant)”
https://cacm.acm.org/magazines/2023/2/268938-reuse-of-research-results-is-rampant/fulltext
From the intro: “only 2.4% of the ICSE publications are explicitly associated with any kind of reuse. Worse still, according to that report, there were no replicated or reproduced results from ICSE in the last decade.”
And ICSE is a leading software engineering conference. Ouch.
New blog: Distinguishing an Interpreter from a Compiler https://tratt.net/laurie/blog/2023/distinguishing_an_interpreter_from_a_compiler.html. 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: https://www.tidyverse.org/blog/2023/01/dbplyr-2-3-0/!
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.
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: https://issta2023.hotcrp.com
ℹ️ More info: https://conf.researchr.org/track/issta-2023/issta-2023-technical-papers
🐦🔗: https://twitter.com/issta_conf/status/1613114124010921985
New blog: Compiled and Interpreted Languages: Two Ways of Saying Tomato https://tratt.net/laurie/blog/2023/compiled_and_interpreted_languages_two_ways_of_saying_tomato.html
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
https://m-cacm.acm.org/magazines/2023/1/267976-the-end-of-programming/fulltext#.Y7D06mk6QFw.twitter
🐦🔗: https://twitter.com/Grady_Booch/status/1609382384109223938
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! https://www.saarland.de/mfw/DE/aktuelles/aktuelle-meldungen/medieninfo/2022/pm_2022-12-13-Ernennung-Burger.html