Matteo Pradella

Homo sapiens

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
https://t.co/ZkJIj3kRmr

[Formal Methods 2026 @FMsymp]

#FM2024 saw a record-breaking number of 219 submissions to 6 tracks with 4 keynotes, 5 co-located events and 6 workshops leading to countless discussions and ideas shared throughout all last week 💡

Grazie 🙏
📸➡️https://t.co/s3oX5BoqF0

Looking forward to #FM2026 🚀

[Formal Methods 2026 @FMsymp]

📢📢 Thanks to all who have submitted abstracts to #FM2024; we have just reached a record number of submissions: over 200! 🎉

[Nicola Gigante @gignico]

So my first CAV paper got accepted after all! Nice wake-up news! :D Thanks to @bzoto and @micchiari, and Luca Geatti!

[Racket & Rhombus @racketlang]

Racket Programming the Fun Way: From Strings to Turing Machines
by James W. Stelly
https://t.co/jclJhw6SZ8

[José Valim @josevalim]

Tomorrow marks 13 years since the first commit to the Elixir repo. And today we celebrate by announcing that Elixir is, officially, a gradually typed language:

[Formal Methods 2026 @FMsymp]

📢📢 We invite workshop proposals for FM 2024 in Milan, Sep 9-10, 2024.
Share your expertise and contribute to advancing formal methods research!
#FM2024

📅 Submission Deadline: Jan 19, 2024
📬 Notification: Feb 2, 2024

Details: https://t.co/an7Fzhy92e

[Formal Methods 2026 @FMsymp]

🚀 Exciting news! FM will host the 18th International Conference on Tests and Proofs (TAP) as a co-located event in Milan from September 9-10, 2024.

🗓️ Mark your calendars!

➡️ Details: https://t.co/FcJ9HinZ1j

[Diego Marmsoler @DiegoMarmsoler]

Working on formal aspects of component software?Happy to announce that @facs_conf will take place on 9-10 September 2024, co-located with @FMsymp! Details will be announced soon!

[Formal Methods Europe @FormalMtds]

The next edition of @FMsymp is accepting *Tutorial Papers*:

* broadly accessible
* clarify important ideas
* bring new researchers into the community,
* serve as a bridge for practitioners

22 pages (LNCS)
Deadline: 19th Apr 2024
Full Details: https://t.co/qQrpwWE8ZJ

#FM2024

[Matteo Pradella @bzoto]

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages https://t.co/EHPLjtWgET
OP is now officially the largest known class of languages where Aperiodic = Star-free = First Order

[70s Sci-Fi Art @70sscifi]

Okay I'm retweeting the orb thread

[BrendanEich @BrendanEich]

@metaweta @paul_snively @TheWizardTower In my ten days in May ‘95 “Mocha” prototype of what quickly became JavaScript, == was strict: if operand types differed, result was false. I infamously and idiotically caved into demands from inside-Netscape early adopters to make == sloppy.

[Massimo @Rainmaker1973]

How to draw a realistic eye.

[James Lucas @JamesLucasIT]

La costola dei volumi de "Il declino e la
caduta dell'impero romano" di Edward
Gibbon. Iconica edizione del 1946.

[Neovim, e/plugins @Neovim]

We are heartbroken by the loss of the Vim boss.

Rest in peace, Bram.

[Matteo Pradella @bzoto]

A Model Checker for Operator Precedence Languages | ACM Transactions on Programming Languages and Systems https://t.co/jGxyFN5OFB

[Torsten Bergmann @TorstenAstares]

"Squeak by Example" Edition 6.0 - paperback and PDF available

https://t.co/KvZ8KmHGtY

[Livia Lestingi @livia_lestingi]

It's official! 🎉🇮🇹
Looking forward to seeing you all in Milan! @polimi @DeepSE_PoliMi @FormalMtds

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Jeff Siskind has sent me email with the full account of the development of STALIN and it's every bit as epic as I remember. I would like you to contemplate the absolute beast-mode coding that we are talking about here. I do not joke when I say this should be in a computer museum.