José Cambronero
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Classic working cat
May 28, 2025 at 12:06 AM
Classic working cat
Turning 36 today and once again thankful for all the people I have the good fortune of spending my life with. It's been a great 36 years so far.
May 13, 2025 at 6:15 PM
Turning 36 today and once again thankful for all the people I have the good fortune of spending my life with. It's been a great 36 years so far.
Looks like the Danish have made a clear choice.
May 6, 2025 at 3:58 PM
Looks like the Danish have made a clear choice.
Looking forward to attending ICSE 2025 next week on Ottawa -- if you'll be there and are interested in AI for code (broad applications including program repair and synthesis), would love to chat.
April 22, 2025 at 1:45 PM
Looking forward to attending ICSE 2025 next week on Ottawa -- if you'll be there and are interested in AI for code (broad applications including program repair and synthesis), would love to chat.
I wonder what fraction of the US public is following the events in Turkey, and notice we're on the same path here (just 10 years earlier)
March 29, 2025 at 1:35 PM
I wonder what fraction of the US public is following the events in Turkey, and notice we're on the same path here (just 10 years earlier)
I know of multiple talented prospective CS PhD applicants, who unfortunately did not get any admits (I very much suspect funding uncertainty played a role here). Are there any non-US opportunities that are still open? These applicants have done meaningful research in AI for code
March 27, 2025 at 1:24 PM
I know of multiple talented prospective CS PhD applicants, who unfortunately did not get any admits (I very much suspect funding uncertainty played a role here). Are there any non-US opportunities that are still open? These applicants have done meaningful research in AI for code
If you're in the ATL area, join us next Thursday for a Foundations of AI seminar series instance at Georgia Tech (foundationsofai.github.io), where I'll be presenting work on LLM-based agents for software engineering.
Foundations of AI Seminar Series | Georgia Tech
foundationsofai.github.io
March 26, 2025 at 8:03 PM
If you're in the ATL area, join us next Thursday for a Foundations of AI seminar series instance at Georgia Tech (foundationsofai.github.io), where I'll be presenting work on LLM-based agents for software engineering.
I was catching up on recent papers and did a double take when i saw this. Then after clicking into arxiv saw that the paper title was closer to what i would have expected. @abhikrc.bsky.social seems like google scholar has made this title quite exciting!
March 6, 2025 at 8:29 PM
I was catching up on recent papers and did a double take when i saw this. Then after clicking into arxiv saw that the paper title was closer to what i would have expected. @abhikrc.bsky.social seems like google scholar has made this title quite exciting!
Flying is always a bit annoying (verging on miserable depending on the flight), but the fact that i can go to sleep on one continent and wake up on another is nothing short of a miracle
March 1, 2025 at 10:58 PM
Flying is always a bit annoying (verging on miserable depending on the flight), but the fact that i can go to sleep on one continent and wake up on another is nothing short of a miracle
Every time i read about another cryptocurrency scandal, i wonder who is still plowing money into these. Too bad the sec probably wont look at these for the foreseeable future
February 28, 2025 at 2:22 PM
Every time i read about another cryptocurrency scandal, i wonder who is still plowing money into these. Too bad the sec probably wont look at these for the foreseeable future
McCormick's entire argument rests on appeal to authority, that somehow because he's an MD he understands federal staffing needs and thinks it is reasonable to expect AI to replace cut staff. If this guy knows as little about medicine as he knows about technology, I'm glad he's no longer practicing.
U.S. Rep. Rich McCormick was peppered with boos and catcalls throughout a town hall meeting in Roswell late Thursday, as hundreds of critics jeered the Republican for backing President Donald Trump’s agenda during his first month in office. #gapol ajc.com/politics/mcc...
Georgia congressman confronted by angry crowd over support for Trump’s agenda
U.S. Rep. Rich McCormick was met with boos and jeers at a town hall in a north Atlanta suburb Thursday.
ajc.com
February 21, 2025 at 3:10 PM
McCormick's entire argument rests on appeal to authority, that somehow because he's an MD he understands federal staffing needs and thinks it is reasonable to expect AI to replace cut staff. If this guy knows as little about medicine as he knows about technology, I'm glad he's no longer practicing.
Reposted by José Cambronero
Sicco Verwer, Annibale Panichella, and I are hiring!
If you are interested in program synthesis and repair, explainable AI, and reducing errors in software, consider applying!
lnkd.in/djir-dsh
If you are interested in program synthesis and repair, explainable AI, and reducing errors in software, consider applying!
lnkd.in/djir-dsh
LinkedIn
This link will take you to a page that’s not on LinkedIn
lnkd.in
February 20, 2025 at 2:45 PM
Sicco Verwer, Annibale Panichella, and I are hiring!
If you are interested in program synthesis and repair, explainable AI, and reducing errors in software, consider applying!
lnkd.in/djir-dsh
If you are interested in program synthesis and repair, explainable AI, and reducing errors in software, consider applying!
lnkd.in/djir-dsh
Reposted by José Cambronero
The CDC has an ultra-competitive 2-year program to train "the best of the best" to lead public health labs.
Most of the current class were terminated over the weekend. www.science.org/content/arti... (by @meredithwadman.bsky.social)
Most of the current class were terminated over the weekend. www.science.org/content/arti... (by @meredithwadman.bsky.social)
Ax falls on elite group of Ph.D.s training to lead U.S. public health labs
Most of the fellows in CDC’s highly competitive Laboratory Leadership Service were fired last weekend
www.science.org
February 20, 2025 at 12:23 PM
The CDC has an ultra-competitive 2-year program to train "the best of the best" to lead public health labs.
Most of the current class were terminated over the weekend. www.science.org/content/arti... (by @meredithwadman.bsky.social)
Most of the current class were terminated over the weekend. www.science.org/content/arti... (by @meredithwadman.bsky.social)
Reposted by José Cambronero
Please submit to Onward! papers and essays. One of the best places to publish ambitious non-mainstream ideas on programming.
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
SPLASH 2025 - Onward! Papers - SPLASH 2025
Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radi...
2025.splashcon.org
February 19, 2025 at 1:26 AM
Please submit to Onward! papers and essays. One of the best places to publish ambitious non-mainstream ideas on programming.
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
And there it is, a Faustian deal if I've ever seen one www.nytimes.com/2025/02/17/w...
Costa Rica to Receive 200 Deported Migrants From U.S.
Costa Rica is the second Central American nation to accept migrants from distant countries as the Trump administration ramps up deportation flights.
www.nytimes.com
February 18, 2025 at 1:35 PM
And there it is, a Faustian deal if I've ever seen one www.nytimes.com/2025/02/17/w...
Can someone explain to me how the f. congress/senate members are allowed to trade individual stocks? Truly insider trading for you but not for me.
February 17, 2025 at 6:36 PM
Can someone explain to me how the f. congress/senate members are allowed to trade individual stocks? Truly insider trading for you but not for me.
Lol...someone legit decided this was a reasonable choice...
February 16, 2025 at 6:49 PM
Lol...someone legit decided this was a reasonable choice...
The incompetence boggles the mind. These people dont know their head from their ass. And dem leaders still cant figure out how to stop them... The dumbest timeline of all.
February 16, 2025 at 12:49 AM
The incompetence boggles the mind. These people dont know their head from their ass. And dem leaders still cant figure out how to stop them... The dumbest timeline of all.
Reposted by José Cambronero
Donald Trump and Elon Musk’s idea of efficiency is stopping research on curing cancer.
February 14, 2025 at 1:59 AM
Donald Trump and Elon Musk’s idea of efficiency is stopping research on curing cancer.
some times you think you're going crazy -- and then some times you realize it's bad hashing in your experiment's keys...
February 12, 2025 at 9:29 PM
some times you think you're going crazy -- and then some times you realize it's bad hashing in your experiment's keys...
"just one more lane... that's the trick"
February 5, 2025 at 10:58 PM
"just one more lane... that's the trick"
Terrarium Saturday (first time but so fun!)
February 1, 2025 at 10:39 PM
Terrarium Saturday (first time but so fun!)
Excited to share that our work on validating synthetic data for spreadsheet formula generation from natural language will be presented at NAACL Findings 2025 arxiv.org/abs/2407.10657 congratulations to the lead author, Usneek Singh, who i had the pleasure of working with at MSFT.
An Empirical Study of Validating Synthetic Data for Formula Generation
Large language models (LLMs) can be leveraged to help with writing formulas in spreadsheets, but resources on these formulas are scarce, impacting both the base performance of pre-trained models and l...
arxiv.org
January 29, 2025 at 2:22 PM
Excited to share that our work on validating synthetic data for spreadsheet formula generation from natural language will be presented at NAACL Findings 2025 arxiv.org/abs/2407.10657 congratulations to the lead author, Usneek Singh, who i had the pleasure of working with at MSFT.
Cats as album covers
January 25, 2025 at 5:22 PM
Cats as album covers
There are many magical places out there. It's important we protect them
January 21, 2025 at 1:36 AM
There are many magical places out there. It's important we protect them