Consider submitting at SPLASH-E 2026, a forum for educators to make connections between programming languages research and the ways we educate computer science students in PL/SE.
It is colocated with SPLASH 2026 (Oakland, 6-9 October)
https://t.co/Cn9oMXZ2Fw
Here's my proposal for voluntary disclosure of AI tool usage in published OCaml code. Are any other language ecosystems doing this? I'd love to hear about them if so! https://t.co/BiqetnKFu7
R4R is a tool for creating a reproducible environment from a dynamic program trace, from our lab in Prague.
From a R script/notebook, it generates a Docker image that contains everything to run the R code and reproduce the results.
Do you know that a system paper might be worth 3 AI papers in computer science according to some dubious metric? I launched an interactive website to measure the relative effort spent on one top-tier paper in each computer science field. https://t.co/jPU72x5ojD
@matfyz Together with colleagues working on programming languages and systems at @FIT_CTU, we started a new network to help you find all the cool PL things happening in Prague: https://t.co/A5RDdn3jtl
"Tous nos voisins, notamment l'Allemagne et le UK ont compris que les étudiants internationaux étaient un élément important de soft power, ils augmentent leurs effectifs. Avec ce type de mesure, la France risque de reculer en attractivité" #LoiImmigration https://t.co/OerboXmnO2
The FT is making a splash with what seems to be a remarkable stat: EU GDP used to be 91% of US in 2013, and is now 65%.
But this is for the same reason EU GDP went from 70% America's in 2001 to 110% in 2008 - because exchange rates moved around
Non-story then, non-story now
@lebarsy@PeurAvion@LemotCambronne@Armee_de_lair@DGA@Armees_Gouv "Weapons containing submunitions which all individually weigh at least 20 kg (44 lb) are also excluded" of the Convention. C'est le cas de l'Apache AG (50 kg chacune). Article 2, paragraphe 2 https://t.co/4msRKNmGmd
@GaetanPowis @Ukraine_in_NATO @PeurAvion@G_Yakovleff@nicolas_richoux@frog_of_war Il me semble que les sous-munitions des APACHE AP sont autorisées par la convention: "Weapons containing submunitions which all individually weigh at least 20 kg (44 lb) are also excluded" https://t.co/YDYffs5MXI
@marietropique trainline a un moteur de recherche plus intelligent ; il est capable de couper un trajet en plusieurs trajets (à la même place) avec différents tarifs, ce qui permet d'avoir un billet moins cher