José Cambronero

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.

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.

Program synthesis predates LLMs by many decades. But nowadays, indeed, many program synthesis tasks are tackled with LLMs

Good question: generating programs given some input about its expected behavior (e.g. a description, examples, formal logical properties)

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)

This sounds great, let me DM you and will also share the link when ready

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

It looks like unfortunately not. But this is a talk I'm happy to give many times :), so if there is an opportunity at some point to coordinate for such a talk (virtual or in person), let me know!

I promise the talk will be better than my ability to read the calendar

Next Wednesday! My calendar reading skills are horrible.

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.

This is the way

Title says "will ai replace software engineers? Hold your breath"

Title says: will ai replace software engineers? Do *not* hold your breath

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!

Beyond shocking

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

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.

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

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

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)

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...

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...

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.

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.

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.

@georgetakei.bsky.social they just fired the LLS, the laboratory experts who work alongside the Epidemic Intelligence Service as frontline responders to outbreaks. Without those lab experts, the nation is in the dark about the pathogens threatening us.

Thanks for speaking up @jeffdean.bsky.social . My wife is in EIS, we just moved down to Atlanta this past july for it. It's sad and scary to see the harm being done to institutions designed to serve the country.

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...