-
Tweets259
-
Followers77
-
Following392
-
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
40 Followers 5K Following
IrmaGeoffrey @gEAh6r87KBfThj
77 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
26 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
218 Followers 250 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
924 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
173 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 6K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
MaramaldoScannagatta @Ubimaramaldo
655 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
14 Followers 36 Following
fabednubiak @fabednubiak
5 Followers 16 Following
Michaël Marcozzi �... @michaelmarcozzi
522 Followers 439 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 608 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 107 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 365 Following
mariocavalieri @mariocavalieri0
4 Followers 40 Following
Jackson Tale @typeocaml
144 Followers 229 Following
Oliver @modular_oliver
340 Followers 3K Following
David Bessis @davidbessis
9K Followers 351 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
173 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 629 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
26K 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 133 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 363 Following Machine Learning and Security, Professor of Computer Science at TU Berlin, On Bluesky: @rieck.mlsec.org
Pliny the Liberator �... @elder_plinius
131K Followers 985 Following ⊰•-•⦑ latent space steward ❦ prompt incanter 𓃹 hacker of matrices ⊞ breaker of jails ☣︎ ai danger researcher ⚔︎ red team bt6 ⚕︎ architect-healer ⦒•-•⊱
kyutai @kyutai_labs
24K Followers 11 Following
Samuel Pollard @samdpollard
101 Followers 118 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 273 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_
553 Followers 208 Following ML research scientist @arcinstitute | PhD @PurdueCS | Ex intern @GoogleDeepMind and @AIatMeta (FAIR). Previously @SapienzaRoma
Kimon Fountoulakis @kfountou
2K Followers 90 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
121 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
434 Followers 416 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
661 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
Formal Methods Europe @FormalMtds
758 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
346 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
183 Followers 334 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
48K 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 for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
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 2nd International Workshop on Large Language Models for Code Co-located with @ICSEconf 2025
Manuel Dileo (manueld... @ManuelDileo
154 Followers 154 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 393 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 413 Following Firmware Security • Embedded Systems • AI x Infosec • Researcher @binarly_io • PhD Candidate @TUBerlin • Capturing Flags for @ENOFLAG
Matthew Parkinson @ParkyMatthew
546 Followers 559 Following Working at Microsoft Research on various programming language things.
Robert Heaton @RobJHeaton
6K Followers 9 Following Frontier red team @AnthropicAI . Writing a book about being a dad.
LLM Security @llm_sec
10K Followers 294 Following Research, papers, jobs, and news on large language model security. Got something relevant? DM / tag @llm_sec
Benedict Evans @benedictevans
362K Followers 966 Following No longer active here - that would be complicity. See Threads, web or newsletter.Trends for United States
57,5 B posts
87,4 B posts
61,7 B posts
16,2 B posts
80,1 B posts
15,6 B posts
88,5 B posts
57,9 B posts
17,5 B posts
55,8 B posts
4.784 posts
1.469 posts
4.912 posts
9.089 posts
47,4 B posts
6.780 posts
41,2 B posts
10,1 B posts
1.145 posts
1.888 posts
You might like
Marwan Nour
@__M4rwan
98 Followers
Zay
@ZaynahNicolas
173 Followers
TrustInSoft
@TrustInSoft
473 Followers
Charles Babu
@charleskm06
70 Followers