Moeketsi Raselimo @informalmethod
Postdoctoral Researcher @humboldtuni Berlin, Germany Joined August 2011-
Tweets303
-
Followers341
-
Following825
-
Likes17K
Moeketsi Raselimo retweeted
CHELSEA ARE WORLD CHAMPIONS. 🏆
3K
49K
226K
7.0M
3K
Download Image
Moeketsi Raselimo retweeted
‘I’m telling you Melania, this Palmer kid is special.’
Moeketsi Raselimo retweeted
“I don’t understand, this worked against Arsenal”
Moeketsi Raselimo retweeted
🏆 CHAMPIONS OF THE WORLD! 🇿🇦 A 5 wicket victory! The Proteas Men have conquered the Test arena, winning the ICC World Test Championship 2025 Final against Australia at the iconic Lord’s Cricket Ground 🏟️🙌 Undeniable. Unstoppable. Unrelenting. History made at the Home of…
Moeketsi Raselimo retweeted
Here's a paper describing quantum computing using standard programming constructs, w/o linear algebra! Goal: demystify quantum computing + serve as a formal foundation for reasoning about quantum programs. paper paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla
Moeketsi Raselimo retweeted
"Hardware eventually fails. Software eventually works." — Michael Hartung
Moeketsi Raselimo retweeted
If Peter Drury was commentating for this tennis match, he’d probably say something like: “He came as a boy, cramping, cracking, crumbling… and yet, he rose. From two sets down, Carlos Alcaraz summoned the spirit of champions past, danced upon the Parisian clay, and carved his…
Moeketsi Raselimo retweeted
LR parsing is the static typing of parsing: if your grammar is provably LR, you've ruled out a whole class of ways it can go wrong. Every time I've examined a non-LR parser, it has had unexpected bugs: parsers are hard to get right!
Moeketsi Raselimo retweeted
Autocorrect has become our worst enema.
Moeketsi Raselimo retweeted
Kick4Life are the 2025 Laureus Sport for Good Award recipient ✨ The inspirational programme uses football to reach at-risk children and young people in Lesotho. #Laureus25 | #SportForGood
Moeketsi Raselimo retweeted
The LLM provides measurements it has never had the ability to take and even provides a detailed account of how it has supposedly taken them - because it would be reasonable for one to say who would give such an answer.
The LLM provides measurements it has never had the ability to take and even provides a detailed account of how it has supposedly taken them - because it would be reasonable for one to say who would give such an answer.
Moeketsi Raselimo retweeted
We're through to the semi-finals! 😭🌍 Zamalek 0️⃣–1️⃣ Stellenbosch FC Aggregate score: 0️⃣–1️⃣
Moeketsi Raselimo retweeted
BREAKING: Trump signs executive order rescinding the undecidability of the Halting Problem, claiming it holds back American progress. All major chip manufacturers immediately slave through the night to add HALTP to their instruction sets in compliance.
Moeketsi Raselimo retweeted
Male Track Athlete of the Year Winner 🏆 🇧🇼's Letsile Tebogo is your Male Track Athlete of the Year 🤩 #AthleticsAwards
Moeketsi Raselimo retweeted
🔮 ACM TOSEM Perspective Paper on Software Security in 2030 (Invited). 📝 mpi-softsec.github.io/papers/TOSEM25… Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello // @acm_tosem @c_cadar @Sun450gmailcom1 @g_scanniello
Moeketsi Raselimo retweeted
I just co-authored a blog post arguing that #LLM #prompts are programs and require new research from #ProgrammingLanguages and #SoftwareEngineering. We need to rethink our #SoftwareTools to work for prompts blog.sigplan.org/2024/10/22/pro…
Moeketsi Raselimo retweeted
Is the LaTeX compiler sentient?,
What a player! 💙
Moeketsi Raselimo retweeted
A sculpture in Berlin called "Politicians discussing global warming"
Moeketsi Raselimo retweeted
Interested in learning Haskell? The full set of 16 videos from my introductory course based on the book "Programming in Haskell" is now freely available on YouTube. Happy Haskelling :-) tinyurl.com/haskell-notts
Lekhoakhoa🧚🏽... @irene_matela
16K Followers 5K Following
Chris Theko @Chrisstheko
22K Followers 3K Following Comms Specialist | Media personality #90sHipHop | Journalist | Fitness Enthusiast| MC | Award Winning Journalist🥇🇱🇸 | My story, God's design.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
a dime @_DivaMotelle
13K Followers 943 Following GOE🙏 Actor,Model, Presenter and MC DM for Promo https://t.co/NdnimCbhBD [email protected]
Lee❤❤ @LeeMosothoane
19K Followers 4K Following Law Student,,Law Graduate ,,Admitted Advocate of the Courts of Lesotho ♥️ A go getter
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
R E F I L O E @filoe_khotle
4K Followers 2K Following 💣 Thoughtful and memorable gift packages? @Yourgiftdesire1🤞 Biochemistry graduate 🎓 Living proof of a Loving God❤️
UncleMorisky》》 @MatloleK
1K Followers 689 Following
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
B⃒oņoŁo💋 @bonolo55Sello
42K Followers 23K Following God first 💯❤️ || ♥️|| Very humble Student 😵💁🤗|||• 🤖kind &Loving , ||Foodie||☺💋🇱🇸🇿🇦
Kingdom's Uncle @MrBeeKay
10K Followers 9K Following Entrepreneur // Public Administrator & a Political Scientist 🎓// Qualified Educator🎓 // NUL Alumni// UNISA Alumni//
Tabitha @SeaslooVWJ
7 Followers 529 Following
Marko Njegomir @MarkoNjegomir
443 Followers 1K Following PhD student | TA | Machine learning, graph neural networks, software engineering, medical neuroscience. The limits of my compute mean the limits of my world.
Sheyslar @SheyslarfwGi
31 Followers 4K Following
VernaTours @350uBSMA0027GF
65 Followers 7K Following
Shraddha Barke @shraddha_96
677 Followers 887 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
John Businge @Johnxu211
129 Followers 185 Following Software ecosystem researcher. Mbarara University, Uganda 🇺🇬 & The University of Antwerp, Belgium 🇧🇪 & The University of Nevada Las Vegas 🇱🇷.
Sabato Nocera @sabato_nocera
33 Followers 45 Following Ph.D. Student in Computer Science, University of Salerno, Italy @unisalerno
WendyMaxwell @oJ8VbTltW3nb6D7
76 Followers 7K Following
Grotaez @GrotaezTWz7jrK
3 Followers 305 Following
Jezza 🇿🇦🇩�... @JezzaMaqasa
9K Followers 989 Following Aviator who thrives at 40000ft and cruising speed at 999 km/h| |Motoring Reviewer|Scientist. [email protected]
FSE 2025 @FSEconf
5K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)
Ting Su @su_tingsu
673 Followers 521 Following Professor of computer science @ECNUer, previously postdoc @ETH_en and @NTUsg; focus on SE/PL/Security
Imad Berrouyne @imad_berrouyne
372 Followers 379 Following Researcher • IoT Expert • Alumni @IMTAtlantique & @UQAC
Maliheh (Mali) Izadi @MalihehIzadi
691 Followers 696 Following Assistant Prof @TUDelft, Research at the intersection of #ML, #SE. Currently addressing #LLMs4Code challenges. Director of @AISE_tudelft research lab
Brittany Johnson-Matt... @DrBrittJay
858 Followers 474 Following Who I am in less than 10 words: Black. Researcher. Artist. DIYer. PHenomenal Woman. ✊🏽❤️ Director of @INSPIREDLabGMU #blacklivesmatter
Giuseppe Destefanis @GiuseppeDes
449 Followers 1K Following Associate Professor at UCL. A(nother) Sardinian in London. Co-head of https://t.co/jemJhUVp4A
Daniel Sokolowski @Soko2D
202 Followers 315 Following ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist.
Michael Fariello @MikeJamesstrong
229 Followers 364 Following I’m kind,fair and smart! I see through the b/s of the far left! Best person for the job! Screw Censorship! I’m the fucking man! Trump 2024🇺🇸! Common Sense!
Andy Gordon @AndrewDGordon
2K Followers 996 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Nicolás Díaz Ferrey... @nicolasediaz
267 Followers 560 Following Senior Researcher and Lecturer at @tuhamburg Ph.D 🎓 Computer Scientist 🖥 #usablesecurity #HCI #EmpiricalSoftwareEngineering Argentinian in Germany 🇦🇷🇩🇪
John Aerni-Flessner @LesothoJohn
10K Followers 5K Following Assoc Prof, African History, MSU, RCAH Dreams for Lesotho: https://t.co/7PSlVMOg2k Historical Dictionary: https://t.co/yHcEw5sqdV Views my own
Litlhare Nkhati🇱�... @LilyNkhati
5K Followers 2K Following nurse 👩⚕️ 💊midwife 🤱 🇱🇸🇬🇧 PSoN https://t.co/EonAI94ExK
Ruijie Meng @RuijieMeng
337 Followers 467 Following PhD candidate at @NUSComputing, and incoming tenure-track faculty at CISPA. Software Security.
Thuddat @Thuddat152771
36 Followers 1K Following
razzmatazz @razzm
275 Followers 2K Following
Betty @enriquez38betty
345 Followers 3K Following Unite powerful wizards, alter time, and save reality in this story-rich
Mildred @mildredskolnick
248 Followers 3K Following
Jo @lane7jo
230 Followers 3K Following
Ali Ouni @ouniaali
730 Followers 941 Following Father, husband, researcher, professor, software engineer
Bach Le @BachLe13
156 Followers 384 Following Senior Lecturer (US Associate Prof) @ University of Melbourne & ARC Decra Fellow'22. Previously @ Carnegie Mellon University, Singapore Management University.
Yonghui(Danny) Liu @DannyGooo
105 Followers 287 Following Ph.D Candidate @MonashUni @HumaniseL #SoftwareEngineering #ProgramAnalysis #MobileSecurity
Fiona Boolman @FionaeuBoolman
30 Followers 1K Following Lured the best beauties from all US states 😽 Ready for a 1 on 1 meeting See nude photos before a date! Watching this https://t.co/6XWHQi6rfv
Mingwei Liu @mliu918351
217 Followers 725 Following Software Engineering Researcher, Associate Professor at the School of Software Engineering, Sun Yat-Sen University, China.
C++ fanboy @ajay9470
2K Followers 644 Following Straight A student but I'm friends with the cool kids!
Shirley @williams95shirl
345 Followers 3K Following
Yasutaka Kamei @yasutaka_kamei
405 Followers 467 Following
Tiisetso John Rantlo(... @Tiisetso_Rantlo
1K Followers 1K Following Extractive Industry Law in Africa Unit_UP || Environmental Law, Extractive Industry Law & Climate Change Law Scholar
Mr Tk @MrTk73066557388
0 Followers 5 Following
Metis Hive @MetisHive
434 Followers 1K Following A community of life science professionals providing career counselling, mentoring and overall development for a fulfilling future.
Kate jemmy @kate_jemmy
2 Followers 7 Following
Teboho Mochaoa @stebuoahamojela
2K Followers 3K Following Visual Communication Design | UX-UI | Writing | Social Media | Emblem Creative | [email protected]
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Lekhoakhoa🧚🏽... @irene_matela
16K Followers 5K Following
Lerato Mphaka @Smongana
34K Followers 877 Following Africa rising...what a time to be alive! Author of Career Masterclass Series Available Now!!! ACXC® CPPC® BPGroup
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Andreas Zeller @AndreasZeller
9K Followers 220 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Chris Theko @Chrisstheko
22K Followers 3K Following Comms Specialist | Media personality #90sHipHop | Journalist | Fitness Enthusiast| MC | Award Winning Journalist🥇🇱🇸 | My story, God's design.
Monyanyi Moleleki @SkaftinLB
27K Followers 2K Following Comedian | Writer | Town Planner | Radio Sensation | Public Figure | SkaftinAds | for bookings call +26650331367 or [email protected]
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
a dime @_DivaMotelle
13K Followers 943 Following GOE🙏 Actor,Model, Presenter and MC DM for Promo https://t.co/NdnimCbhBD [email protected]
Lee❤❤ @LeeMosothoane
19K Followers 4K Following Law Student,,Law Graduate ,,Admitted Advocate of the Courts of Lesotho ♥️ A go getter
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Sir Schaba @Sirschaba
14K Followers 5K Following Musician,DJ,Music Producer and Founder of YME Tunes
R E F I L O E @filoe_khotle
4K Followers 2K Following 💣 Thoughtful and memorable gift packages? @Yourgiftdesire1🤞 Biochemistry graduate 🎓 Living proof of a Loving God❤️
@official_carol_motol... @CarolMotolo
58K Followers 11K Following Ngwana Badimo / +27817357278 Text only !
Sedii Moshounyane @SediMoshounyane
18K Followers 15 Following Sedii M 🎓👷♀️🎧 +27648073651 📧: lesedisedii70@gmail.
Hannah Woolaver @hannahwoolaver
874 Followers 202 Following Associate Professor of Public International Law, University of Cape Town
UK in Lesotho @UKinLesotho
146 Followers 20 Following
Bundeskanzler Friedri... @bundeskanzler
121K Followers 108 Following Bundeskanzler der Bundesrepublik Deutschland. Für ein starkes Deutschland. Für ein starkes Europa. MdB-Account @_FriedrichMerz | Federal Chancellor of Germany
LawZero - LoiZéro @LawZero_
3K Followers 43 Following NPO founded by @Yoshua_Bengio, committed to advancing safe-by-design AI - OBNL fondée par @Yoshua_Bengio visant à concevoir des systèmes d'IA sécuritaires
Thapelo Tseko @TsekoThapelo
16K Followers 13K Following I learn by mistakes, kindly be patient with me. Let's make everything simple and achieve the most complex of things
DeepSeek @deepseek_ai
973K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
joomy @joomy
2K Followers 957 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Naman Jain @StringChaos
2K Followers 1K Following PhD @UCBerkeley ; Research @cursor_ai | Projects - LiveCodeBench, DeepSWE, R2E-Gym, GSO, Syzygy, LMArena Coding | Past: @MetaAI @AWS @MSFTResearch @iitbombay
Jackson Hinkle 🇺�... @jacksonhinklle
3.6M Followers 605 Following Follow: @LegitTargets & @ACPMain [email protected]
Douglas Macgregor @DougAMacgregor
571K Followers 74 Following U.S. Army Colonel Retired Combat Veteran | SECDEF Advisor | Author | Consultant | Military TV Analyst | Chairman of Advisory Board @ https://t.co/njnEqeBb8J |
Scott Ritter @RealScottRitter
491K Followers 2K Following Former UN Weapons Inspector, former USMC Intelligence Officer, author, analyst. Follow me on my webpages: https://t.co/cgkh5IIhOJ https://t.co/UjkJb82ulR
Shin Hwei Tan @tan_hwei
522 Followers 402 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
Rasmus Andersson @rsms
82K Followers 3K Following Adventures in software & design. Founder of @playbit_, designer of Inter, @Figma, @Spotify. Eng & design @Facebook. (https://t.co/cS300CeZsH)
Mathias Payer @gannimo
8K Followers 388 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
Dmitrii Kovanikov @ChShersh
42K Followers 204 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Shraddha Barke @shraddha_96
677 Followers 887 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Sabato Nocera @sabato_nocera
33 Followers 45 Following Ph.D. Student in Computer Science, University of Salerno, Italy @unisalerno
Martin Monperrus @martinmonperrus
317 Followers 50 Following
Chuang Gan @gan_chuang
9K Followers 484 Following Faculty Member at UMass Amherst; Principal researcher at MIT-IBM Watson AI Lab; Homepage: https://t.co/Pc8WeREfTz
Julien Vanegue @jvanegue
6K Followers 958 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Imad Berrouyne @imad_berrouyne
372 Followers 379 Following Researcher • IoT Expert • Alumni @IMTAtlantique & @UQAC
Jezza 🇿🇦🇩�... @JezzaMaqasa
9K Followers 989 Following Aviator who thrives at 40000ft and cruising speed at 999 km/h| |Motoring Reviewer|Scientist. [email protected]
rui•maranhao @rmaranhao
1K Followers 597 Following Research SE @Meta, Full Professor @feup_porto 🇵🇹, Entrepreneur, @Google/@RowsHQ/@PARCinc alumnus; husband, father of 3👶.
Yixue Zhao, PhD @yixue_zhao
905 Followers 306 Following Professional dreamer 🪄 & writer ✍️ & thinker 🤯 independent researcher on #AI4Health 💚 | Happy meditator & Meditation teacher 🧘♀️🪷💫 | PhD @CSatUSC 👩💻
Maliheh (Mali) Izadi @MalihehIzadi
691 Followers 696 Following Assistant Prof @TUDelft, Research at the intersection of #ML, #SE. Currently addressing #LLMs4Code challenges. Director of @AISE_tudelft research lab
Giuseppe Destefanis @GiuseppeDes
449 Followers 1K Following Associate Professor at UCL. A(nother) Sardinian in London. Co-head of https://t.co/jemJhUVp4A
Daniel Sokolowski @Soko2D
202 Followers 315 Following ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist.
ISSTA Conference @issta_conf
2K Followers 17 Following The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Valentin Wüstholz @vwuestholz
950 Followers 1K Following Principal Researcher at ConsenSys Diligence, previously at @CSatETH, @UTAustin, @MSFTResearch, and @Google
Andy Gordon @AndrewDGordon
2K Followers 996 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Nicolás Díaz Ferrey... @nicolasediaz
267 Followers 560 Following Senior Researcher and Lecturer at @tuhamburg Ph.D 🎓 Computer Scientist 🖥 #usablesecurity #HCI #EmpiricalSoftwareEngineering Argentinian in Germany 🇦🇷🇩🇪
Journal of Systems an... @JSSoftware
2K Followers 212 Following Journal of Systems and Software. 3rd ranked Systems venue (see https://t.co/SsziKIp5Vb). Handling 1000+ submissions per year.
Tim Berners-Lee @timberners_lee
326K Followers 738 Following Inventor of WWW Co-founder/CTO https://t.co/El70jppi0M Co-founder https://t.co/61fuIdZHHu Founder https://t.co/sEpIVjXIsU Mastodon: https://t.co/iDQ5mmzR0H My memoir ‘This is for Everyone’ out 9th September ⬇️
Litlhare Nkhati🇱�... @LilyNkhati
5K Followers 2K Following nurse 👩⚕️ 💊midwife 🤱 🇱🇸🇬🇧 PSoN https://t.co/EonAI94ExK
Yonghui(Danny) Liu @DannyGooo
105 Followers 287 Following Ph.D Candidate @MonashUni @HumaniseL #SoftwareEngineering #ProgramAnalysis #MobileSecurity
Ranthony A. Clark, Ph... @RanthonyClark
10K Followers 362 Following Math PhD. NSF Postdoc at Duke. (Commutative) Algebraist. TDA convert. Quantitative Justice. Goal: increase access to STEM through community engaged scholarship.
tosem @acm_tosem
2K Followers 830 Following
Ruijie Meng @RuijieMeng
337 Followers 467 Following PhD candidate at @NUSComputing, and incoming tenure-track faculty at CISPA. Software Security.
ICST @icstconference
2K Followers 767 Following The 17th IEEE Conference on Software Testing, Validation and Verification (Toronto, Canada). Use #ICST2024
Trends for United States
180 B posts
10,9 B posts
1.492 posts
17,8 B posts
5.456 posts
20,8 B posts
48,9 B posts
1.373 posts
38 B posts
5.650 posts
129 B posts
18,1 B posts
1.068 posts
4.399 posts
You might like
Mamo
@judelehla
3K Followers
R A P H Y
@LordHiii
1K Followers
Stefanos Nikolaidis
@snikolaidis19
1K Followers
Molaoli
@MolungoaMolaol1
2K Followers
Malume Thato🇱🇸
@thato_matela
1K Followers
t.lhompho
@_RonnieJohane
5K Followers
Rajeev Alur
@RajeevAlur
2K Followers
ASU_APG
@ApgAsu
249 Followers
Traxler
@bakoena_seboka
2K Followers
Yi Liu
@iamyiliu
1K Followers
Mo Ebrahimkhani
@MoEbrahimkhani
1K Followers
Lars Lindemann
@LarsLindemann2
1K Followers
Tšolo Kabane
@Tsolo_Kabane
3K Followers
(S)AIN'T
@Kanelo_Fortune
803 Followers
㊙Edℹth㊗
@edith_theko
5K Followers