Picture

Moeketsi Raselimo @informalmethod

Postdoctoral Researcher @humboldtuni moeketsi.me Berlin, Germany Joined August 2011
  • Tweets
    304
  • Followers
    339
  • Following
    828
  • Likes
    17K
Moeketsi Raselimo retweeted
kayseesee Profile Picture

Kostya Serebryany @kayseesee

3 weeks ago

Congratulations to the Apple team! I'm proud to have contributed to the inception of MTE in 2017. Hopefully, other vendors will catch up.

radian Profile Picture

Ivan Krstić @radian

3 weeks ago

Congratulations to the Apple team! I'm proud to have contributed to the inception of MTE in 2017. Hopefully, other vendors will catch up.

Moeketsi Raselimo retweeted
FIFACWC Profile Picture

FIFA Club World Cup @FIFACWC

3 months ago

CHELSEA ARE WORLD CHAMPIONS. 🏆

Moeketsi Raselimo retweeted
EmenaIo Profile Picture

CFChris. @EmenaIo

3 months ago

‘I’m telling you Melania, this Palmer kid is special.’

Moeketsi Raselimo retweeted
NoContextChe1 Profile Picture

Out Of Context Chelsea @NoContextChe1

3 months ago

“I don’t understand, this worked against Arsenal”

Moeketsi Raselimo retweeted
ProteasMenCSA Profile Picture

Proteas Men @ProteasMenCSA

4 months ago

🏆 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
awsTO Profile Picture

Aws Albarghouthi 🍉 أوس @awsTO

4 months ago

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
MIT_CSAIL Profile Picture

MIT CSAIL @MIT_CSAIL

4 months ago

"Hardware eventually fails. Software eventually works." — Michael Hartung

Moeketsi Raselimo retweeted
MapsMaponyane Profile Picture

Maps Maponyane @MapsMaponyane

4 months ago

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
laurencetratt Profile Picture

Laurence Tratt @laurencetratt

4 months ago

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
MerriamWebster Profile Picture

Merriam-Webster @MerriamWebster

5 months ago

Autocorrect has become our worst enema.

Moeketsi Raselimo retweeted
LaureusSport Profile Picture

Laureus @LaureusSport

5 months ago

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
mboehme_ Profile Picture

Marcel Böhme👨‍🔬 @mboehme_

6 months ago

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.

TransluceAI Profile Picture

Transluce @TransluceAI

6 months ago

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
StellenboschFC Profile Picture

Stellenbosch FC @StellenboschFC

6 months ago

We're through to the semi-finals! 😭🌍 Zamalek 0️⃣–1️⃣ Stellenbosch FC Aggregate score: 0️⃣–1️⃣

Moeketsi Raselimo retweeted
ShriramKMurthi Profile Picture

Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi

8 months ago

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
WorldAthletics Profile Picture

World Athletics @WorldAthletics

10 months ago

Male Track Athlete of the Year Winner 🏆 🇧🇼's Letsile Tebogo is your Male Track Athlete of the Year 🤩 #AthleticsAwards

Moeketsi Raselimo retweeted
mboehme_ Profile Picture

Marcel Böhme👨‍🔬 @mboehme_

10 months ago

🔮 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
benzorn Profile Picture

Ben Zorn (he/him) https://aka.ms/zorn @benzorn

11 months ago

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
joshmpollock Profile Picture

Josh Pollock @joshmpollock

2 years ago

Is the LaTeX compiler sentient?,

informalmethod Profile Picture

Moeketsi Raselimo @informalmethod

2 years ago

What a player! 💙

ChelseaFC Profile Picture

Chelsea FC @ChelseaFC

2 years ago

What a player! 💙

Moeketsi Raselimo retweeted
vardi Profile Picture

Moshe Vardi @vardi

2 years ago

A sculpture in Berlin called "Politicians discussing global warming"

Trends for United States

Nicki
468 B posts
Dodgers
81,6 B posts
Aces
24,6 B posts
Fever
40 B posts
Kelsey Mitchell
5.743 posts
#DWTS
35,1 B posts
Odyssey Sims
2.523 posts
Boone
26,6 B posts
Chelsea Gray
2.318 posts
#WNBAPlayoffs
2.372 posts
Chapman
17,8 B posts
Yankees
99,6 B posts
Lauren
56 B posts
Jackie Young
2.223 posts
Snell
8.856 posts
Fried
38,8 B posts
Reds
38,8 B posts
Ohtani
30,6 B posts
A'ja Wilson
3.924 posts
Hunter Greene
5.019 posts

You might like

Pisces♓️ 🇱🇸. Bachelor of Laws(LLB)🎓
Mamo
@judelehla
3K Followers
S T A Y W O K E
R A P H Y
@LordHiii
1K Followers
Associate Professor @USC. PhD from @CMU_Robotics, MS from @MIT, MEng from #UTokyo, BS from @NTUA. Previously worked at @SquareEnix in Tokyo.
Stefanos Nikolaidis
@snikolaidis19
1K Followers
| Learning Photographer |Videographer |
Molaoli
@MolungoaMolaol1
2K Followers
📸Photographer ✉BOOKING +266 68019671 https://t.co/zxKuc7RDd3 Portrait|Events|Lifestyle
Relic Thapelo🇱🇸
@RelicThapelo
860 Followers
Health Information Officer 🦲, Philippians 4:6🕯🕯🕯 Audi lover🤍 Man City fan💙
Malume Thato🇱🇸
@thato_matela
1K Followers
Ey Nkosi yam😩
t.lhompho
@_RonnieJohane
5K Followers
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Rajeev Alur
@RajeevAlur
2K Followers
#ASU Active Perception Group A new American computing research group / A forum for debating research ideas / A circle of open-mind collaborators... @Prof_YZ
ASU_APG
@ApgAsu
251 Followers
Music Curator | Chess Player♟️| Data Analyst FOUNDER @thehutanalytix @ManCity 💙
Traxler
@bakoena_seboka
2K Followers
Assistant Professor at Stony Brook University. Geometric Deep Learning, AI4Science, Scientific Machine Learning, LLMs for Science.
Yi Liu
@iamyiliu
1K Followers
Associate Prof @UPitt| Programming Morphogenesis w Synthetic &SystemsBio #EmbryoModels #Organoids #Regeneration #StemCell opinions are my own #UCL #MIT
Mo Ebrahimkhani
@MoEbrahimkhani
1K Followers
Assistant Professor of Algorithmic Systems Theory @ETH_en. Interested in everything that moves autonomously! Previously @USC, @Penn, @KTHuniversity and @kielu.
Lars Lindemann
@LarsLindemann2
1K Followers
Tšolo Kabane
@Tsolo_Kabane
3K Followers
The ASU SenSIP center and industry consortium is supported by its industry members and by NSF grants. SenSIP was originally established as an NSF I/UCRC.
ASU SenSIP
@asusensip
334 Followers