Andrea Mocci 🇪🇺@🇨🇭

Sneak peak! 🫣@mariofusco and @kevindubois will give a workshop on Thursday 16 Jan 2025 @VoxxedTicino 💥 #VDT25

@a_martinlopez @ICSEconf @issta_conf @snsf_ch Congrats! And wish you quick recovery for the wrist.

Things that happened yesterday: - I got a paper accepted at @ICSEconf. - I submitted a paper to @issta_conf. - I submitted a ~1M€ project proposal to @snsf_ch. - I celebrated Halloween dressed as a banana. And all that with a broken wrist! Now, that was spooky!

1st Program Committee meeting for @VoxxedTicino (online). Stay tuned for the first (small) round of selection. 🤩

👇Superb new article from @apple AI: “we found no evidence of formal reasoning in language models . Their behavior is better explained by sophisticated pattern matching—so fragile, in fact, that changing names can alter results by ~10%!” 𝗧𝗵𝗲𝗿𝗲 𝗶𝘀 𝗷𝘂𝘀𝘁 𝗻𝗼 𝘄𝗮𝘆 𝗰𝗮𝗻 𝘆𝗼𝘂 𝗯𝘂𝗶𝗹𝗱 𝗿𝗲𝗹𝗶𝗮𝗯𝗹𝗲 𝗮𝗴𝗲𝗻𝘁𝘀 𝗼𝗻 𝘁𝗵𝗶𝘀 𝗳𝗼𝘂𝗻𝗱𝗮𝘁𝗶𝗼𝗻, where changing a word or two in irrelevant ways can give you a different answer. Strongly encourage you to read the whole thread.

The wonders of AI. A popular & expensive vision model is predicting with 1.0 confidence that the language of the 1st line in red here is corse (okay), while the 2nd one is again - 1.0 confidence, with no alternatives - "bm", i.e., the Bambara language (en.wikipedia.org/wiki/Bambara_l…)

🎟 The first #VDT25 tickets are already on sale! 🎟 Don’t miss this opportunity to get you ticket at a very special price! tickets.voxxeddays.com/event/vdt25 #voxxeddays #tickets

…have you heard?! The #CFP for the upcoming #VDT25 is open! 💥 Submit your paper now! Link for submission: ticino.voxxeddays.com you have time until the 20th of October #voxxeddays #callforpaper

A no-code platform founded by Adam Chlipala, built on formal methods, functional programming and an AI interface: nectry.com/about.html. That's something to follow.

@Franzi_Woeckel @kubukoz @Hivemind_Tech @jdegoes @zivergetech This is quite unsurprising though, given some past events.

🏝️ The best summer #SIESTA is back on the seaside! Discover more about our software engineering summer school and register now! siesta.si.usi.ch/2024/

Watch how to Minimize your Python Discomfort: A tour of NLP with Spacy, ScalaPy, and Scala 3 by @andreamocci during the Scalar Conference 2024 Subscribe to our YouTube channel so you don’t miss the rest of #scalarconf videos. youtube.com/watch?v=Z1dKpX…

@burny_tech @PALRobotics is a Spanish company, for example. pal-robotics.com/about-us/

Is there anything happening in EU?

@baldram @riccardo_cardin Yeah I just wanted to point out that particular issue of a by-name, the syntax is actually the same modulo even less-braces. I honestly wasn't 100% sure anymore that you could use a by-name param in an extension method but... obviously Scala is cool enough to allow it.

@andreamocci @riccardo_cardin The sketch example I sent works with Scala 3 syntax too and the extension method is similar to what you showed. There's by-name of course.

Do you have an old-fashioned #Scala function that still throws exceptions? With Raise4s, You can migrate to raising logic-typed errors using the '$catch' function. Don't worry; in version 0.0.3, the function will be renamed to 'catching' 😜

@baldram @riccardo_cardin I like it! I would first though get rid of the `() =>` by using a by-name param, and yes, it works with extension methods. In this way, the argument is not evaluated before the call. The same could be done with `$catch`, and I'm attaching an alternative syntax.

How about implementing an extension method and doing it straightforward as in the attached picture? The syntax will not only be more fluent but also more intuitive and easier to use. Btw. to get your example working, you probably had to run this in proper block e.g. `either`, or add a line like `given raise: Raise[UserNotFound] = new DefaultRaise`? Would you consider adding a working example like this in tests to document the use-case and functionality?

Much of the chatter about GenAI is writing new code, but that's a small part of our work. Adam Tornhill talks to me and my Thoughtworks colleagues about how AI can help with refactoring. thoughtworks.com/insights/podca…

@davidcshepherd Yes but SJR bla bla bla yada yada. Let's do like UZH and stop this (or maybe count how many published papers have available/functional/reusable artifacts, that would be a cool metric :P) swissinfo.ch/eng/education/…

LOL TOSEM. Discuss #icse24.

@mariofusco Too bad GADTs can be expressed, but then not really used with pattern matching :(

... and then you can traverse them using the new switch syntax #DevoxxGR

The combination of records and sealed classes is the Java way to define algebraic data types #DevoxxGR

@davidcshepherd @ShriramKMurthi @samth @guidosalva @ICSE2024 Yeah I also remember that :) I guess the community needs some reflection on what it means to be author, and being clear about contributions. For example, some domains explicitly require author contribution statements on papers, thought typically on journals.

@andreamocci @ShriramKMurthi @samth @guidosalva @ICSE2024 I remember that... what an intense town hall we had at ICSE that year! I think it was actually a good idea; maybe some variant of it will re-surface that can work to limit spamming submissions without causing too much outrage.

Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers. Interactive dashboard: app.powerbi.com/view?r=eyJrIjo…