Christine Rizkallah
@c_rizkallahAcademic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
Similar User
@HerrDreyer
@calebstanford4
@rg9119
@LeoLambro
@welltypedwitch
@lastland0
@alpha_convert
@AlexP_DownUnder
@GhostofBendy
@hgoldstein95
@ttforall
@tobycmurray
@p_droabreu0
@yuyuchazuke
@andrewkhirsch
If you're a member of @sigplan, nominate your favourite paper from 2021-2023 editions of PLDI, POPL, OOPSLA, ICFP, ASPLOS, or PPoPP for SIGPLAN Research Highlights! Nomination form: forms.gle/y8MM2htdCk1QEG… Details: sigplan.org/Highlights/ Deadline: 21 November 2024
Vincent Jackson is giving their 1st talk at #ITP this Tue on our (w @tobycmurray) general #isabelle framework for verifying concurrent code. A generalisation of RGSep; inst. to several logics and models. Please attend & support them if you're at ITP. drops.dagstuhl.de/storage/00lipi…
An insightful talk about how to teach programmers maths and vice versa (Rust and Lean as examples). Good ideas on how to systematically analyse, improve, and evaluate improvements, that may be applicable to other domains. Thanks @brendanzab for sharing! m.youtube.com/watch?v=ZOT5jQ…
I wish I could attend! If you’re in Sydney, here are some fun Tuesday evening plans!
If you'd like to know what this is, you're kindly invited to fly to Sydney and attend my #publiclecture “Zeros” on Tuesday, August 13, 2024 at 5:30pm at @SydMathInst, which is part of #NationalScienceWeek, see bit.ly/4dvtDm8 for details.
An interesting take on the adverse effects of the recent wave of capitalising on the neurodiverse, and how recent cartoonification and idolisation hinders the path to real inclusion. I’m two minded about it. I’m curious about other people’s take. dazeddigital.com/life-culture/a…
Very chuffed that my besties decided to ask me to start the series!😍 But the important fact is that we will have a series Women in Logic Online, yay!!!🥳🥳
🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Network Mathematics” with @valeriadepaiva via zoom on 🗓️ March 20, 5 pm CET! ➡️ tuwien.zoom.us/webinar/regist… @WomenInLogic1 @Elaine_Pim #logic
United States Trends
- 1. Gaetz 839 B posts
- 2. Ken Paxton 14,1 B posts
- 3. DeSantis 27,6 B posts
- 4. Volvo 19,9 B posts
- 5. Attorney General 214 B posts
- 6. Mark Levin 1.825 posts
- 7. 119th Congress 8.659 posts
- 8. Gary Gensler 33,9 B posts
- 9. Mike Davis 3.322 posts
- 10. Andrew Bailey 3.537 posts
- 11. Murkowski 41,2 B posts
- 12. Rubio's Senate 11,3 B posts
- 13. John Curtis 22,8 B posts
- 14. Netanyahu 828 B posts
- 15. ICBM 239 B posts
- 16. Dragon Believer 2.365 posts
- 17. #GeeksgivingGiveaway N/A
- 18. The ICC 440 B posts
- 19. Trey Gowdy 4.315 posts
- 20. #AskZB N/A
Who to follow
-
Derek Dreyer
@HerrDreyer -
Caleb Stanford
@calebstanford4 -
Ron Garcia
@rg9119 -
Leo Lampropoulos
@LeoLambro -
Prophet
@welltypedwitch -
Yao Li
@lastland0 -
Joe Cutler
@alpha_convert -
Alex Potanin
@AlexP_DownUnder -
Ben Delaware
@GhostofBendy -
Harry Goldstein
@hgoldstein95 -
Type Theory Forall
@ttforall -
Toby Murray
@tobycmurray -
Pedro Abreu
@p_droabreu0 -
Youyou Cong
@yuyuchazuke -
Andrew K. Hirsch
@andrewkhirsch
Something went wrong.
Something went wrong.