PierreDonatBouillud

Computer science researcher/assistant professor at CVUT (Prague)

@pierredb.bsky.social
@[email protected]

[PierreDonatBouillud @DBPierre]

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

[PierreDonatBouillud @DBPierre]

@ShriramKMurthi @sidharth_raja Decathlon (European, sport stores) has had a similar system for a few years.

[Anil Madhavapeddy @avsm]

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

[Bruno Rodrigues @brodriguesco]

New blog post #Python needs its CRAN

https://t.co/yZOdvIoZMF

[PierreDonatBouillud @DBPierre]

Fill our quick survey about re-executability and reproducibility of R to help us improve R4R

https://t.co/Rm7WJe05MQ

[PierreDonatBouillud @DBPierre]

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.

[PierreDonatBouillud @DBPierre]

Code and article at ACM REP 2025:

https://t.co/EOL312NjrP

[Tomas Petricek (find me on BlueSky) @tomaspetricek]

Coming to @programmingconf? Submit a Lightning Talk proposal to share & discuss what you are currently working on!

https://t.co/4jFKX8MjDT

[Zhongtang Luo @zhtluo]

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

[Tomas Petricek (find me on BlueSky) @tomaspetricek]

@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

[PierreDonatBouillud @DBPierre]

@ultra_mobile I ordered a SIM card online more than 2 weeks ago and I never received an email with a tracking number for the SIM card. Can you help?

[Maxime Sbaihi @MxSba]

"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

[Stanley Pignal @spignal]

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

[Jan Vitek @j_v_66]

My co-peeps could not attend SPLASH, so here is me speaking for them: https://t.co/eZX5vSv66m

[PierreDonatBouillud @DBPierre]

An analysis of community notes: https://t.co/CnwTtiUt8d

[PierreDonatBouillud @DBPierre]

@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

[PierreDonatBouillud @DBPierre]

@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

[Constanza Rojas-Molina @Coni777]

First day of holidays! I’ll disconnect and recover, I thought. Until I saw this in a creperie P=?NP 😅#beaulieusurdordogne

[PierreDonatBouillud @DBPierre]

@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