@rg9119

Transmogrifies coffee into LaTeX at University of British Columbia

Joined May 2010
  • Tweets5.3K
  • Following424
  • Followers1.8K
464Media
Sometimes it takes me 22 years (+ one evening) to write a blog post. Here are my thoughts on "homoiconicity" and, as an alternative, "bicameral syntax". (Warning: 4000 words.) parentheticallyspeaking.org/…
14
32
21
214
53,554
The @sigplan Robin Milner Young Research Award goes to Armando Solar-Lezama for his work on program synthesis.
1
14
80
4,907
For those reaching out to me for the upcoming PhD admissions cycle: Yes, I am taking students and post-docs with a strong PL background and similar research interests. So, if you are interested, please apply to UTCS!
1
17
1
102
14,607
For students applying to PhD programs this cycle: I am recruiting! I do research on parallel programming, compilers, run-time systems, and parallel algorithms. My main focus is making it simpler and safer to write efficient, scalable, and correct parallel code.
5
55
2
187
19,574
#UBC Computer Science is proud to welcome our new faculty member, Dr. Reto Achermann. Read all about his history, what he's working on, and his thoughts on working in the department and living in #Vancouver. cs.ubc.ca/news/2024/10/new-h… @UBC_Systopia @achreto @UBCNews @UBCScience
4
5
25
1,537
Michael's writings are among the most lucid, precise, and clarifying I've seen on these topics, and that's not just his banger twitter threads. Check out the wealth of resources on his site!
This Post is from an account that no longer exists. Learn more
4
454
A microcosm of my lifelong battles with math: spent an unreasonable number of hours (on and off, over weeks) trying to flesh out the details of one throwaway sentence in a larger proof. 😩
A picture of text from a math book. "...there is a least positive integer d such that ... namely the least d such that id = kn for some k..." Highlighted phrase in a broader proof: "Also, d|n because [irrelevant formula] only if id = kn for some k, and gcd(k,n) = 1 because d is least."

ALT A picture of text from a math book. "...there is a least positive integer d such that ... namely the least d such that id = kn for some k..." Highlighted phrase in a broader proof: "Also, d|n because [irrelevant formula] only if id = kn for some k, and gcd(k,n) = 1 because d is least."

1
1
8
499
Congratulations to our own Dr. Alex Summers for being recognized as an Outstanding Reviewer at OOPSLA 2024. Only 7 reviewers were honoured from over 100 committee members. ow.ly/ytxA50TAEKi #OOPSLA #ComputerScience #OutstandingReviewer @UBC_Systopia @UBC_SPL
3
18
883
Replying to @rg9119
don't cry because the proof is probably wrong, smile because you get the chance to fix it
1
2
239
The OOPSLA 2025 Web site is now fully live, including the HotCRP submission site (which is linked to it). Submit away! 2025.splashcon.org/track/OOP…
14
41
4,064
New on my blog: Introduction to the λ-calculus lawrencecpaulson.github.io/2…
11
72
4,796
Public Service Announcement: If a proof of a theorem: a) says "without loss of generality, assume..."; b) doesn't explain why generality is not lost; c) you can't figure out why generality is not lost; then d) it's okay to cry and be mad 🥲
2
1
26
1,257
My (now former) student Jifeng Wu (@gulistaniabbasi) will be presenting his MSc work, QuAC, at SPLASH/OOPSLA in October! pre-print --->(carolemieux.com/quac_oopsla_…)
1
1
1
11
1,605
RacketCon 2024 - it’s not too late to get your tickets Celebrating 40 years of magic with Hal Abelson & Gerald Sussman at the (fourteenth RacketCon) Oct 5-6, 2024, University of Washington Featuring Lisp legend Gregor Kiczales con.racket-lang.org eventbrite.com/e/racketcon-2…
2
11
30
1,912
Replying to @UBC_CS
@UBC_CS is a wonderful place to work at. Come join us!
UBC Computer Science@UBC_CS13 Sep 2024
Come teach at one of North America's top computer science departments, at #UBC Vancouver. We're hiring multiple Tenure-Track Assistant Professors of Teaching! Start as early as Jan. 1, 2025 ow.ly/Yg6950TnlBb #TeachComputerScience #HigherEducation #AssistantProfessor
1
3
316
Reality check: I asked a class of ~100 students if they know who The Grateful Dead are: a handful of students raised their hands. Then I asked them if they knew who Phish are and even fewer did.
2
9
979
This year, we're hiring Tenure-Track Assistant Professors of Teaching! More details below.
UBC Computer Science@UBC_CS13 Sep 2024
Come teach at one of North America's top computer science departments, at #UBC Vancouver. We're hiring multiple Tenure-Track Assistant Professors of Teaching! Start as early as Jan. 1, 2025 ow.ly/Yg6950TnlBb #TeachComputerScience #HigherEducation #AssistantProfessor
1
9
18
4,103
Get ready for the (fourteenth RacketCon) Get ready for the (fourteenth RacketCon)! Celebrating 40 years of magic with Hal Abelson & Gerald Sussman, featuring Lisp legend Gregor Kiczales October 5-6, 2024 con.racket-lang.org/ #lisp #sicp #racket
5
2
26
1,470
We are hiring an Assistant Teaching Professor at UCSD CSE! This is a teaching-focused position with equal status to assistant professor, including tenure, faculty governance, and so on. More in thread... apol-recruit.ucsd.edu/JPF040…
2
11
55
10,651
Load more