Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
PhD student @ University of Zürich.
Interested in software engineering and software testing.
https://kitsiosk.github.io
Trust me, I’m an engineer!
Currently working at @softwareheritage.org
Co-founder and CEO at Hugging Face
Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Founding chairman of www.publichealthactionnetwork.org
PhD student at UC Irvine ➡️ MPI-SP advised by @mboehme.bsky.social
https://jing6.netlify.app/
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Securing every bit of your data
https://quarkslab.com
Tweeting about my personal opinions; RT or Following ≠ endorsement. Professor of Empirical Software Engineering at the University of Zurich. Bolognese.
researcher @google; serial complexity unpacker
ex @ msft & aerospace
@PyTorch "My learning style is Horace twitter threads" -
@typedfemale
