Moeketsi Raselimo
@informalmethod
Postdoctoral Researcher @humboldtuni
You might like
Congratulations to the Apple team! I'm proud to have contributed to the inception of MTE in 2017. Hopefully, other vendors will catch up.
🔺iPhone models announced today include Memory Integrity Enforcement, the culmination of an unprecedented design and engineering effort that we believe represents the most significant upgrade to memory safety in the history of consumer operating systems. security.apple.com/blog/memory-in…
‘I’m telling you Melania, this Palmer kid is special.’
“I don’t understand, this worked against Arsenal”
🏆 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…
"Hardware eventually fails. Software eventually works." — Michael Hartung
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…
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!
Autocorrect has become our worst enema.
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
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.
We tested a pre-release version of o3 and found that it frequently fabricates actions it never took, and then elaborately justifies these actions when confronted. We were surprised, so we dug deeper 🔎🧵(1/) x.com/OpenAI/status/…
We're through to the semi-finals! 😭🌍 Zamalek 0️⃣–1️⃣ Stellenbosch FC Aggregate score: 0️⃣–1️⃣
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.
Male Track Athlete of the Year Winner 🏆 🇧🇼's Letsile Tebogo is your Male Track Athlete of the Year 🤩 #AthleticsAwards
🔮 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
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…
What a player! 💙
A sculpture in Berlin called "Politicians discussing global warming"
United States Trends
- 1. Purdy 15.8K posts
- 2. #WWERaw 30.8K posts
- 3. Panthers 25.2K posts
- 4. Mac Jones 3,343 posts
- 5. Jaycee Horn 1,434 posts
- 6. 49ers 27.4K posts
- 7. Gunther 10.7K posts
- 8. Melo 16.1K posts
- 9. #FTTB 3,640 posts
- 10. #KeepPounding 4,096 posts
- 11. Niners 3,745 posts
- 12. #RawOnNetflix 1,228 posts
- 13. Canales 9,520 posts
- 14. Syracuse 6,439 posts
- 15. #CARvsSF N/A
- 16. Mike Jack N/A
- 17. Kittle 2,782 posts
- 18. Mark Kelly 147K posts
- 19. Comey 212K posts
- 20. Dowdle 1,771 posts
You might like
-
Mamo
@judelehla -
R A P H Y
@LordHiii -
Stefanos Nikolaidis
@snikolaidis19 -
Molaoli
@MolungoaMolaol1 -
Relic Thapelo🇱🇸
@RelicThapelo -
Malume Thato🇱🇸
@thato_matela -
t.lhompho
@_RonnieJohane -
Traxler
@bakoena_seboka -
Yi Liu
@iamyiliu -
Mo Ebrahimkhani
@MoEbrahimkhani -
Lars Lindemann
@LarsLindemann2 -
Tšolo Kabane
@Tsolo_Kabane -
ASU SenSIP
@asusensip -
(S)AIN'T
@Kanelo_Fortune -
㊙Edℹth㊗
@edith_theko
Something went wrong.
Something went wrong.