-
Tweets259
-
Followers77
-
Following395
-
Likes102
ChatGPT on software verification and Star Wars. Turns out, the resistance uses Frama-C 🤯
0
0
2
0
0
Download Image
Tom DeLonge lives in Paris and works on C code verification when not doing music. Who would have thought. Wild!
Michele Alberti retweeted
“Come potete rimanere indifferenti. Un numero impressionante di bambini muore per disidratazione da diarrea: a salvarli basterebbe qualche bustina di reintegratore di sali da sciogliere nell’acqua, che costa venti centesimi di dollaro”. (Carlo Urbani)
Today I got an "internal compiler error" w/ respective segfault from g++ (9.2.1 on Ubuntu 19.10). After a loud exclamation in Italian, I shrugged. Then I switched to Clang++, and all went as it should ✌️.
Tell me, did you run a bulletin board system (BBS) or read some in your youth? How was it back then?
"Was the world wave function waiting to jump for thousand of millions of years until a single-celled living creature appeared? Or did it have to wait a little longer for some highly qualified measurer, –with a Ph.D.?" -- John Bell
Consider Q una lettura stupenda. Un passo che non dimenticherò mai: “Ieri ho domandato a un bambino di cinque anni chi fosse Gesù. Sapete cosa ha risposto? Una statua.” #20annidiQ
Immenso Maestro. "Mission" rimane la mia preferita.
500gr of Tiramisù 😋 In collaboration with @archeojones.
Mangum Patrick @OscarDiaz14535
0 Followers 96 Following Recruiting webshell engineers to penetra te websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/4321bZuxjc
MollyAnne @I830e81naD9HjUu
38 Followers 5K Following
IrmaGeoffrey @gEAh6r87KBfThj
80 Followers 7K Following
AISER Team @aiser_team
28 Followers 43 Following AI Safety, Explainability and Robustness Team at CEA. Tools: - CAISAR: https://t.co/m9KJaC0FkU - PyRAT: https://t.co/zlIKcDfxk5 - Colibri*: https://t.co/dqirmPTGNx
Hiet Guillaume @GuillaumeHiet
164 Followers 200 Following Professor of computer security @CentraleSupelec / @irisa_lab. I work on security at the software/hardware interface. now at @guillaumehiet.bsky.social
Laure Gonnord @l_gonnord
1K Followers 614 Following Enseignante-Chercheuse en Informatique, sur le départ de twitter
Nouseyn @nouseyn85018
25 Followers 1K Following
Daniel Salvadori @danaugrs
1K Followers 4K Following Building @PurLanguage. Machine learning, computer graphics, crypto and finance. Prev. @Dassault3DS @UCSD @UCSDJacobs @RadySchool
Joseph talford @Jgdrog28
0 Followers 20 Following
François Bobot @BobotFrancois
23 Followers 200 Following
Thibaud Antignac @tantignac
318 Followers 468 Following 🛡️💻 #privacy #cybersecurity #dataprotection | 🦄🧘🏻♂️📷🇪🇺 he/him
Cedric Gouy-Pailler @gouypaic
296 Followers 817 Following Head of lab at CEA List, Université Paris-Saclay
Wen-Ding Li @xu3kev
3K Followers 6K Following LLM for code and reasoning. PhD student at Cornell. Previously Student Researcher at @google. Previously intern at @theteamatx.
Lesly-Ann Daniel @LeslyAnnDaniel1
220 Followers 251 Following Postdoc @ KU Leuven Formal methods & HW/SW security No longer on Twitter Mastodon: @[email protected] Bluesky: @lesly-ann.bsky.social
Matthieu Lemerre @lemerre_m
161 Followers 120 Following Matthieu Lemerre -- tenured researcher in formal methods, computer systems, cybersecurity and so on #StaticAnalysis #OS #Cybersecurity #AbstractInterpretation
Zim @1Zimzim
3 Followers 28 Following
BINSEC Team @ Univers... @BinsecTool
928 Followers 356 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Lightsephi @Lightsephi
4 Followers 88 Following
A @1O10O0OOI0lOI0I
4 Followers 4K Following
Zay @ZaynahNicolas
172 Followers 198 Following
Tobias Grosser @Tobias_Grosser
2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8
Roberto Di Cosmo @rdicosmo
5K Followers 5K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
MaramaldoScannagatta @Ubimaramaldo
654 Followers 1K Following A me Murray piace molto. _ nella foto del profilo son quello a desrta _
Benjamin Monate @bmonate
48 Followers 81 Following
Jakub Zwolakowski @JakubZwolakowsk
15 Followers 36 Following
fabednubiak @fabednubiak
5 Followers 16 Following
Michaël Marcozzi �... @michaelmarcozzi
521 Followers 438 Following Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Anne Pacalet @_Anne_P
36 Followers 273 Following
Jessica @JessicaBeyond
131 Followers 424 Following Geek & running, Apple & nouvelles technologies, mode & style, musique & infos, économie & finance
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
Paolinopaolo72 @Paolinopaolo722
71 Followers 607 Following
Tout est nul @alleskrap
134 Followers 145 Following Joël Cohen. Mathématicien, enseignant à l'Université Paris Sud, geek, aventurier d'internet, et organisateur de la tournée de π.
Emilie Delnieppe @EmilieDelnieppe
68 Followers 106 Following Doctorante en mathématiques à l'université d'Aix-Marseille Organisatrice de la journée de Pi Professeur de mathématiques
Mirko Capriotti @Capri8Mc
11 Followers 106 Following
ana greta @anagreta2
11 Followers 125 Following
Gergö Barany @princess_gergo
261 Followers 197 Following Compiler geek working on @graalvm. Mastodon: @[email protected]
Annamaria Iezzi @aiezzi314
196 Followers 364 Following
mariocavalieri @mariocavalieri0
4 Followers 40 Following
Jackson Tale @typeocaml
144 Followers 229 Following
Oliver @modular_oliver
340 Followers 3K Following
joernchen @joernchen
8K Followers 525 Following Your mom's favorite hacker. Also at @[email protected]
Alessandro Suglia @ale_suglia
1K Followers 1K Following Lecturer @EdinburghNLP; Ex Head of Visual Dialogue at @helloalana; PhD @EDINRobotics; Ex Research Intern @MetaAI and @AmazonScience.
Kostya Serebryany @kayseesee
4K Followers 565 Following Program analysis, simulators, bug detectors. Fuzzing software and hardware. Views are my own. Tweets are not only about tech.
David Bessis @davidbessis
9K Followers 353 Following Rogue mathematician. "The product of mathematics is clarity and understanding." — Bill Thurston
Rishabh Anand @rishabh16_
5K Followers 2K Following backpropagating @yale • geometric DL + generative modelling for proteins & RNA • prev @prescientdesign @nusingapore @cambridge_cl 🧬🛠
Zay @ZaynahNicolas
172 Followers 198 Following
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
Machine Learning Stre... @MLStreetTalk
35K Followers 638 Following MLST is by Dr. Tim Scarfe @ecsquendor w/ cameos from @DoctorDuggar https://t.co/5YCv2SdFwN (early access/priv.discord) - Sponsor us!
ARC Prize @arcprize
28K Followers 173 Following A North Star for open AGI. Co-founders: @fchollet @mikeknoop. President: @gregkamradt. Help support the mission - make a donation today.
the tiny corp @__tinygrad__
59K Followers 134 Following We make tinygrad and sell tinybox, the best perf/$ AI computer. $25k for 4x 5090 in a quiet box. Our mission is to commoditize the petaflop.
Mathieu Acher @acherm
2K Followers 5K Following Professor @INSA_Rennes Researcher @DiverSE_Inria Junior member #IUF @InstUnivFr #SciencesDuLogiciel, Software #Variability, Artificial Intelligence and #Chess
Halvar Flake @halvarflake
44K Followers 3K Following Choose disfavour where obedience does not bring honour. I do math. And was once asked by R. Morris Sr. : "For whom?" @[email protected]
Konrad Rieck 🌈 @mlsec
3K Followers 361 Following Machine Learning and Security, Professor of Computer Science at TU Berlin, On Bluesky: @rieck.mlsec.org
Pliny the Liberator �... @elder_plinius
135K Followers 989 Following ⊰•-•⦑ latent space steward ❦ prompt incanter 𓃹 hacker of matrices ⊞ breaker of markov chains ☣︎ ai danger researcher ⚔︎ bt6 ⚕︎ architect-healer ⦒•-•⊱
kyutai @kyutai_labs
24K Followers 11 Following
Samuel Pollard @samdpollard
101 Followers 119 Following Scientist at Sandia National Labs. I research how to apply formal methods to floating-point arithmetic, state machines, and high-performance computing.
Type Theory Forall @ttforall
4K Followers 280 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Guy Van den Broeck @guyvdb
4K Followers 2K Following Professor of Computer Science and Samueli Fellow at UCLA @UCLAComSci; Scientist at @RelationalAI; working on Artificial Intelligence
AISER Team @aiser_team
28 Followers 43 Following AI Safety, Explainability and Robustness Team at CEA. Tools: - CAISAR: https://t.co/m9KJaC0FkU - PyRAT: https://t.co/zlIKcDfxk5 - Colibri*: https://t.co/dqirmPTGNx
Hiet Guillaume @GuillaumeHiet
164 Followers 200 Following Professor of computer security @CentraleSupelec / @irisa_lab. I work on security at the software/hardware interface. now at @guillaumehiet.bsky.social
Beatrice Bevilacqua @beabevi_
551 Followers 208 Following ML research scientist @arcinstitute | PhD @PurdueCS | Ex intern @GoogleDeepMind and @AIatMeta (FAIR). Previously @SapienzaRoma
Kimon Fountoulakis @kfountou
2K Followers 89 Following Associate Professor at CS UWaterloo Machine Learning and AI Lab: https://t.co/Yrb5b8lwrT
Bruno Ribeiro @brunofmr
2K Followers 273 Following Associate Professor of Computer Science @Purdue, interested in graphs, invariances, causality, and OOD robustness in ML
Verification papers @verif_papers
234 Followers 7 Following Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
Joshua Saxe @joshua_saxe
3K Followers 1K Following AI+cybersecurity at Meta; past lives in academic history, labor / community organizing, classical/jazz piano, hacking scene
FORGE @ConfForge
120 Followers 105 Following AI Foundation Models For Software Engineering (FORGE 2025). Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada. Official hashtag: #FORGE2025
Giovanni Cherubin @gchers
435 Followers 415 Following I research ML and (its) security/privacy @MSFTResearchCam & @msftsecresponse. May rant for hours about climbing/openbsd/rust/conformal prediction/ctfs
Formal Methods 2026 @FMsymp
664 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
Formal Methods Europe @FormalMtds
764 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Sébastien Bardin @Seb_Bardin
189 Followers 333 Following Researcher in Computer Science, formal methods / program analysis / cybersecurity / software engineering, a bit of quantum programming too
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
Steven Ruiz @theStevenRuiz
49K Followers 1K Following I write about the NFL at the @ringer. watch the games.
Nora Princiotti @NoraPrinciotti
45K Followers 2K Following host of every single album, writer for the ringer posting at https://t.co/GObRYcvet8
SaTML Conference @satml_conf
2K Followers 0 Following IEEE Conference on Secure and Trustworthy Machine Learning March 2026 (Munich) • #SaTML2026
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Antonino Sabetta @antoninosabetta
185 Followers 412 Following Views/thoughts are my own and may not reflect those of my employer.
LLM4Code @llm4code
567 Followers 103 Following The 3rd International Workshop on Large Language Models for Code Co-located with @ICSEconf #icse2026
Manuel Dileo (manueld... @ManuelDileo
156 Followers 152 Following PhD Student @ University of Milan. Former visiting PGR at @InfAtEd. Network science and machine learning on temporal graph. Former Google DSC Lead. Whovian
CEA Paris-Saclay @CEAParisSaclay
10K Followers 477 Following Centre de recherche multidisciplinaire (des 🌟, à 🧬 en passant par 📡 et le 🧠, ou encore ⚡). Made in Paris-Saclay ! Toutes nos actualités ⬇️
Carota Boys @CarotaBoys
5K Followers 131 Following Pagina ufficiale dei fan 🥕 di @janniksin Carotaboys, quelli veri e originali😉🥕 ✉️ [email protected] IG: @carotaboys
Zhaocheng Zhu @zhu_zhaocheng
3K Followers 394 Following Senior Research Scientist @nvidia. PhD @Mila_Quebec. BSc @PKU1898. Reasoning, LLMs, ML systems. Photographer. Opinions are my own.
dmolnar @dmolnar
2K Followers 5K Following I like security. He/him. Supporting scaling security superpowers at Meta (Facebook). We're hiring across Meta Security, DMs open.
lukas seidel @pr0me
2K Followers 405 Following Firmware Security • Embedded Systems • AI x Infosec • Researcher @binarly_io • PhD Candidate @TUBerlin • Capturing Flags for @ENOFLAG
Matthew Parkinson @ParkyMatthew
548 Followers 557 Following Working at Microsoft Research on various programming language things.Trends for United States
50,1 B posts
27,9 B posts
282 B posts
20 B posts
55,9 B posts
32,4 B posts
1.287 posts
151 B posts
2.510 posts
6.547 posts
5.674 posts
287 B posts
1.305 posts
43,6 B posts
493 B posts
9.137 posts
10,3 B posts
You might like
Olivier Nicole
@OlivierNicole1
207 Followers
Marwan Nour
@__M4rwan
97 Followers
Zay
@ZaynahNicolas
172 Followers
TrustInSoft
@TrustInSoft
474 Followers
Charles Babu
@charleskm06
76 Followers