Lightnews — Scholar-powered news

José Cambronero @josepablocam.bsky.social · May 28

Classic working cat

José Cambronero @josepablocam.bsky.social · May 13

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.

3

José Cambronero @josepablocam.bsky.social · May 6

Looks like the Danish have made a clear choice.

1

José Cambronero @josepablocam.bsky.social · Apr 22

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.

3

José Cambronero @josepablocam.bsky.social · Mar 30

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

1 1

José Cambronero @josepablocam.bsky.social · Mar 29

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

1 1

José Cambronero @josepablocam.bsky.social · Mar 29

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)

José Cambronero @josepablocam.bsky.social · Mar 27

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

1

José Cambronero @josepablocam.bsky.social · Mar 27

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

2 2

José Cambronero @josepablocam.bsky.social · Mar 27

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!

1

José Cambronero @josepablocam.bsky.social · Mar 26

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

1

José Cambronero @josepablocam.bsky.social · Mar 26

Next Wednesday! My calendar reading skills are horrible.

1

José Cambronero @josepablocam.bsky.social · Mar 26

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

1 2

José Cambronero @josepablocam.bsky.social · Mar 11

This is the way

1

José Cambronero @josepablocam.bsky.social · Mar 6

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!

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

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

3

José Cambronero @josepablocam.bsky.social · Mar 2

Beyond shocking

José Cambronero @josepablocam.bsky.social · Mar 1

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

1 4

José Cambronero @josepablocam.bsky.social · Feb 28

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

José Cambronero @josepablocam.bsky.social · Feb 21

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.

Greg Bluestein @bluestein.bsky.social · Feb 21

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

1

Reposted by José Cambronero

Sebastijan Dumancic @sdumancic.bsky.social · Feb 20

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

This link will take you to a page that’s not on LinkedIn

lnkd.in

3 1

Reposted by José Cambronero

Martin Enserink @martinenserink.bsky.social · Feb 20

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)

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

560 4.7K 10K

Reposted by José Cambronero

Jonathan Edwards @jonathoda.bsky.social · Feb 19

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

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

9 8

José Cambronero @josepablocam.bsky.social · Feb 18

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

José Cambronero @josepablocam.bsky.social · Feb 17

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.

José Cambronero @josepablocam.bsky.social · Feb 16

Lol...someone legit decided this was a reasonable choice...

3