Ron Garcia
@rg9119.bsky.social
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Reposted by Ron Garcia
Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...
Introducing ARIA’s next CEO
Kathleen Fisher will join us in February 2026.
ariaresearch.substack.com
November 19, 2025 at 8:23 AM
Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...
Reposted by Ron Garcia
Beautiful remembrance of Brian Cantwell Smith, from Faculty of Information, University of Toronto: ischool.utoronto.ca/news/obituar...
Obituary: Brian Cantwell Smith (1950 to 2025) - Faculty of Information
Former dean wove philosophy and computation into a lifelong inquiry into the human dimensions of intelligence, judgment, and meaning Born into a prominent Canadian family known for both its intellectu...
ischool.utoronto.ca
November 4, 2025 at 12:52 AM
Beautiful remembrance of Brian Cantwell Smith, from Faculty of Information, University of Toronto: ischool.utoronto.ca/news/obituar...
Reposted by Ron Garcia
New on my blog: "Why don't you use dependent types?"
lawrencecpaulson.github.io/2025/11/02/W...
lawrencecpaulson.github.io/2025/11/02/W...
"Why don't you use dependent types?"
lawrencecpaulson.github.io
November 2, 2025 at 11:44 AM
New on my blog: "Why don't you use dependent types?"
lawrencecpaulson.github.io/2025/11/02/W...
lawrencecpaulson.github.io/2025/11/02/W...
Reposted by Ron Garcia
UBC Computer Science invites applications for up to two full-time tenure-track positions with the following priority areas: visualization, robotics, reinforcement learning, data management, and data mining. Applications are due Wed Dec 10, 2025. Learn more: www.cs.ubc.ca/our-departme...
October 23, 2025 at 12:43 AM
UBC Computer Science invites applications for up to two full-time tenure-track positions with the following priority areas: visualization, robotics, reinforcement learning, data management, and data mining. Applications are due Wed Dec 10, 2025. Learn more: www.cs.ubc.ca/our-departme...
Reposted by Ron Garcia
New on my blog: Everything you know is wrong
lawrencecpaulson.github.io/2025/09/20/W...
lawrencecpaulson.github.io/2025/09/20/W...
Everything you know is wrong
lawrencecpaulson.github.io
September 20, 2025 at 10:43 AM
New on my blog: Everything you know is wrong
lawrencecpaulson.github.io/2025/09/20/W...
lawrencecpaulson.github.io/2025/09/20/W...
Reposted by Ron Garcia
Summer Undergraduate Internship - reposts welcome!
Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?
Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?
August 6, 2025 at 7:25 PM
Summer Undergraduate Internship - reposts welcome!
Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?
Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?
Reposted by Ron Garcia
Thomas Kuhn was born OTD in 1922.
Historicity—over revolutions and paradigms—was core to his thought.
“History, if viewed as a repository for more than anecdote or chronology, could produce a decisive transformation in the image of science by which we are now possessed.”
🧠🗃️ #HistSTM #PhilSci 🦋🦫
Historicity—over revolutions and paradigms—was core to his thought.
“History, if viewed as a repository for more than anecdote or chronology, could produce a decisive transformation in the image of science by which we are now possessed.”
🧠🗃️ #HistSTM #PhilSci 🦋🦫
July 18, 2025 at 5:51 PM
Reposted by Ron Garcia
Did you hear that I'll be teaching four brand new remote courses this year covering Bayesian mixture modeling, survival modeling, pairwise comparison modeling, and ordinal modeling, www.eventzilla.net/e/advanced-b...?
Reskeets and sharing with your friends and colleges appreciated!
Reskeets and sharing with your friends and colleges appreciated!
Advanced Bayesian Modeling In Stan
Despite the promise of big data, inferences are often limited not by the size of data but rather by…
www.eventzilla.net
July 11, 2025 at 3:26 PM
Did you hear that I'll be teaching four brand new remote courses this year covering Bayesian mixture modeling, survival modeling, pairwise comparison modeling, and ordinal modeling, www.eventzilla.net/e/advanced-b...?
Reskeets and sharing with your friends and colleges appreciated!
Reskeets and sharing with your friends and colleges appreciated!
Not a bad way to celebrate Canada Day: by updating my cv 🤗🇨🇦
July 2, 2025 at 12:10 AM
Not a bad way to celebrate Canada Day: by updating my cv 🤗🇨🇦
Reposted by Ron Garcia
Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
June 28, 2025 at 4:15 AM
Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
Reposted by Ron Garcia
Some more exciting news! This year we had not one, but two(!) dissertations receiving the SIGPLAN John C. Reynolds Doctoral Dissertation Award at PLDI!
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
June 28, 2025 at 3:56 AM
Some more exciting news! This year we had not one, but two(!) dissertations receiving the SIGPLAN John C. Reynolds Doctoral Dissertation Award at PLDI!
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
Reposted by Ron Garcia
In Leibniz notation, his name is d(Optimus)/dx.
June 25, 2025 at 2:08 PM
In Leibniz notation, his name is d(Optimus)/dx.
The return of "niche of a niche" blogging:
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com/2025/06/the-...
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com/2025/06/the-...
The Product Topology, or, How Not to Stumble into the Box Topology
WARNING : This post won’t make much sense unless you’ve read at least my first Topology As Touching post. Product Topologies and the Myste...
relatedwork.blogspot.com
June 22, 2025 at 9:00 PM
The return of "niche of a niche" blogging:
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com/2025/06/the-...
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com/2025/06/the-...
Reposted by Ron Garcia
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Bloomberg Infrastructure & Security Ph.D. Fellowship | Bloomberg LP
Apply now for the Bloomberg Infrastructure & Security Ph.D. Fellowship program. Applications are due by Monday, June 30, 2025 for the 2025-2026 academic year.
www.bloomberg.com
June 18, 2025 at 9:29 PM
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
June 14, 2025 at 10:16 PM
Reposted by Ron Garcia
If you are considering applying for a PhD this Fall, please get in touch. I’m looking for students who are interested in PL, SE, and/or HCI — and ideally all three! You can find more information about me and my work on my website: harrisongoldste.in
Harrison Goldstein
harrisongoldste.in
May 7, 2025 at 6:38 PM
If you are considering applying for a PhD this Fall, please get in touch. I’m looking for students who are interested in PL, SE, and/or HCI — and ideally all three! You can find more information about me and my work on my website: harrisongoldste.in
Reposted by Ron Garcia
I am hiring a 2-year postdoc (either at Research Associate or Senior Research Associate level) to work on static analysis tools, particular with application to Fortran, at @cst.cam.ac.uk @iccscambridge.bsky.social. Details: www.jobs.cam.ac.uk/job/51153/ (closing date 25th May)
Research Associate/Senior Research Associate in Static Analysis and Programming Language Tools (Fixed Term) - Job Opportunities - University of Cambridge
Research Associate/Senior Research Associate in Static Analysis and Programming Language Tools (Fixed Term) in the Department of Computer Science and Technology at the University of Cambridge.
www.jobs.cam.ac.uk
April 29, 2025 at 8:26 AM
I am hiring a 2-year postdoc (either at Research Associate or Senior Research Associate level) to work on static analysis tools, particular with application to Fortran, at @cst.cam.ac.uk @iccscambridge.bsky.social. Details: www.jobs.cam.ac.uk/job/51153/ (closing date 25th May)
Reposted by Ron Garcia
Pleased to announce my research proposal "Improving Usability of Dependently Typed Programming Languages" was offered an NSERC 5-year Discovery Grant.
So, I'm now recruiting PhD students. I'll make a formal recruiting post soon, but you can see preliminary details here: eremondi.com/post/recruit...
So, I'm now recruiting PhD students. I'll make a formal recruiting post soon, but you can see preliminary details here: eremondi.com/post/recruit...
Joey Eremondi | Assistant Professor, University of Regina
eremondi.com
April 10, 2025 at 4:30 PM
Pleased to announce my research proposal "Improving Usability of Dependently Typed Programming Languages" was offered an NSERC 5-year Discovery Grant.
So, I'm now recruiting PhD students. I'll make a formal recruiting post soon, but you can see preliminary details here: eremondi.com/post/recruit...
So, I'm now recruiting PhD students. I'll make a formal recruiting post soon, but you can see preliminary details here: eremondi.com/post/recruit...
Reposted by Ron Garcia
Happy birthday to one of greatest #mathematicians of all time Emmy Noether (1882-1935), here with her eponymous theorem, the backbone of modern physics. 🧪🐡👩🏼🔬🧮🎢 #histsci Noether’s theorem links any symmetry of a system with a conservation law. In my portrait, I chose to depict a young Emmy in front 🧵
March 23, 2025 at 11:48 AM
Happy birthday to one of greatest #mathematicians of all time Emmy Noether (1882-1935), here with her eponymous theorem, the backbone of modern physics. 🧪🐡👩🏼🔬🧮🎢 #histsci Noether’s theorem links any symmetry of a system with a conservation law. In my portrait, I chose to depict a young Emmy in front 🧵
Reposted by Ron Garcia
Are you, or is someone you know, struggling to develop, implement, or scale a Bayesian analysis compatible with your domain expertise? If so then I can help.
I can be reached at inquiries@symplectomorphic.com for any questions about potential consulting engagements and training courses.
I can be reached at inquiries@symplectomorphic.com for any questions about potential consulting engagements and training courses.
March 3, 2025 at 2:53 PM
Are you, or is someone you know, struggling to develop, implement, or scale a Bayesian analysis compatible with your domain expertise? If so then I can help.
I can be reached at inquiries@symplectomorphic.com for any questions about potential consulting engagements and training courses.
I can be reached at inquiries@symplectomorphic.com for any questions about potential consulting engagements and training courses.
Reposted by Ron Garcia
After a long hiatus, SIGPLAN Research Highlights are back!
The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒
[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.
The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒
[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.
February 24, 2025 at 2:10 PM
After a long hiatus, SIGPLAN Research Highlights are back!
The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒
[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.
The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒
[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.
Reposted by Ron Garcia
Any time you see a controversial/non-unique edge case or generalization it's okay to step back and recognize the well-defined starting case and the possible generalizations and then use different notations/terminologies for each if that helps you to avoid confusion. I do it all the time! 9/n
February 24, 2025 at 2:44 AM
Any time you see a controversial/non-unique edge case or generalization it's okay to step back and recognize the well-defined starting case and the possible generalizations and then use different notations/terminologies for each if that helps you to avoid confusion. I do it all the time! 9/n
Reposted by Ron Garcia
Bad math terminology strikes again!
Historically math has had a bad habit of taking something defined in a particular circumstance then generalizing it but using the same exact terminology and often notation, even when the generalization is not unique. 1/n
Historically math has had a bad habit of taking something defined in a particular circumstance then generalizing it but using the same exact terminology and often notation, even when the generalization is not unique. 1/n
I can't believe someone just decided 0! = 1 and we LET THEM GET AWAY WITH IT
February 24, 2025 at 2:28 AM
Bad math terminology strikes again!
Historically math has had a bad habit of taking something defined in a particular circumstance then generalizing it but using the same exact terminology and often notation, even when the generalization is not unique. 1/n
Historically math has had a bad habit of taking something defined in a particular circumstance then generalizing it but using the same exact terminology and often notation, even when the generalization is not unique. 1/n
Reposted by Ron Garcia
Preprint: Coverage Semantics for Dependent Pattern Matching (to appear at ESOP2025).
arxiv.org/abs/2501.18087
We build on folklore around spaces and pattern matching to formalize how sheaves and Grothendieck topologies can model dependent matching
#categorytheory #typetheory #dependenttypes
arxiv.org/abs/2501.18087
We build on folklore around spaces and pattern matching to formalize how sheaves and Grothendieck topologies can model dependent matching
#categorytheory #typetheory #dependenttypes
Coverage Semantics for Dependent Pattern Matching
Dependent pattern matching is a key feature in dependently typed programming. However, there is a theory-practice disconnect: while many proof assistants implement pattern matching as primitive, theor...
arxiv.org
January 31, 2025 at 2:21 AM
Preprint: Coverage Semantics for Dependent Pattern Matching (to appear at ESOP2025).
arxiv.org/abs/2501.18087
We build on folklore around spaces and pattern matching to formalize how sheaves and Grothendieck topologies can model dependent matching
#categorytheory #typetheory #dependenttypes
arxiv.org/abs/2501.18087
We build on folklore around spaces and pattern matching to formalize how sheaves and Grothendieck topologies can model dependent matching
#categorytheory #typetheory #dependenttypes