I am quite comfortable auditing and using LLM-generated code. I think I'm also comfortable auditing LLM-generated Indian food recipes. Here is one for a "creamy paneer dish with tomatoes." Someone should try to run it unmodified. (I did not.)

- 1 pound paneer, cut into cubes
- 2 tablespoons ghee or vegetable oil
- 1 large onion, finely chopped
- 3 garlic cloves, minced
- 1 tablespoon grated fresh ginger
- 2 teaspoons ground cumin
- 2 teaspoons ground coriander
- 1 teaspoon turmeric
- 1/2 teaspoon cayenne pepper
- 1/2 teaspoon smoked paprika
- 1/2 teaspoon salt
- 1 can (14.5 ounces) diced tomatoes, undrained
- 1 cup heavy cream
- 1/4 cup chopped fresh cilantro


1. In a large skillet, heat the ghee or vegetable oil over medium heat. Add the paneer cubes and fry until lightly browned on all sides. Remove the paneer with a slotted spoon and set aside.

2. Add the chopped onion to the skillet and sauté until softened, about 5 minutes. Add the minced garlic and grated ginger, and sauté for another minute.

3. Add the ground cumin, ground coriander, turmeric, cayenne pepper, smoked paprika, and salt to the skillet, and stir to combine. Cook for 2-3 minutes, stirring constantly.

4. Add the undrained diced tomatoes to the skillet, and stir to combine. Bring to a simmer and cook for 5 minutes.

5. Add the heavy cream to the skillet, and stir to combine. Add the fried paneer cubes back to the skillet, and simmer for another 5 minutes, until the sauce has thickened and the paneer is heated through.

6. Garnish with chopped fresh cilantro before serving. Serve hot with rice or naan bread. Enjoy!

Does anyone recognize this programming language? It seems like Smalltalk, but I'm not sure what to make of the annotations. File extension was .st.

Arjun Guha boosted

RT @StackOverflow:

AI giveth and AI taketh away. Our Head of Content @benpopper chats with Professor @emeryberger, who teaches computer science at the University of Massachusetts Amherst, to discuss recent advances in AI and potential ramifications of its use in education.


Arjun Guha boosted

#TempleUniversity deactivated my health insurance and the insurance of all striking graduate workers today, effective immediately - a move no US university has EVER taken against striking workers.

We were not informed by the university this happened - workers found out when their insurance was rejected at doctor offices or when picking up prescriptions today.

Help us put #Temple on blast for this unethical and deeply harmful behaviour by sharing this post!

#TUGSAStrike #TempleUnionMade

As a user of Northeastern University Outlook, I wonder if it will get life-changing ChatGPT features before Gmail. That would give me something to be smug about.

Arjun Guha boosted

Interested in teaching CS at a small liberal arts school? Oberlin has two positions for two year visitors starting in Fall! jobs.oberlin.edu/postings/1353

So, the academic community has gone full send on ORCID, right? I guess it will probably outlast Google Scholar.

Arjun Guha boosted

Slurm is an improvement over all its successors, isn't it?

Aloft has been the vision for Mariot hotels for 10+ years. Will they ever revise their vision? Because the colors in the evaluators make me motion sick.

The free market is really working for the parking app market. No monopolies in sight.

Arjun Guha boosted

New Techtonic episode: interview with Craig Silverman from @ProPublica about Google's ad business of "porn, privacy, and fraud" - and how this affects ALL of us.

Stream the show (interview starts at 5:31):

Playlist & listener comments:

Download the podcast:

More Techtonic episodes: techtonic.fm

Phone calls and text messages seem to work over WiFi in airplane mode on Verizon. When did this start? It’s handy, but also means I get calls in the middle of the night in India.

Arjun Guha boosted

Career update: I’ll be joining Wellesley’s Computer Science department as an Assistant Professor starting Fall 2023! I’m super excited to continue research across programming languages and systems, teach a bunch of very cool classes, and become a part of the broader Boston academic community. 🍁

Arjun Guha boosted

Wellesley is unbelievably lucky to have hired @avanhatt. They’ll get a top-notch compilers/systems/PL research talent, an incredibly strong teacher, and a natural leader all at once. 👏 discuss.systems/@avanhatt/1096

Arjun Guha boosted

(reminder) APPLICATIONS DUE Tuesday 10 January 2023:

New #NSF-funded program in #AIEthics and #DataEthics at #NortheasternUniversity!

We'll bring in cohorts of approx. 10 #philosophy (or related) graduate students to #Boston for 10 weeks for each of the next 3 years (beginning this year) for training in #AIEthics and #DataEthics from our faculty and visiting scholars.

$12k stipend per student

More details+application info for summer 2023 at the program website.


Arjun Guha boosted

Phil Ting's #FreedomToWalk Act is now law in California. You can cross the street anywhere as long as you're not creating a hazard.

#Jaywalking, the fake "crime" created by automobile industry lobbying to blame victims of #TrafficViolence, no longer exists in California.

Enjoy your freedom to walk! ktla.com/news/california/new-l

I've been seeing this extraordinarily dumb ad on Twitter for GPT-powered spellcheck. I thought I'd share it here, since ads seem to be lacking on Mastadon.

Arjun Guha boosted

I've done video exams for a few years now, and finally analyzed some (with Rachel Lim and Mia Minnes):

Post: jpolitz.github.io/notes/2022/1
Full paper: jpolitz.github.io/docs/sigcse-

We see misconceptions in video traces that are hard to see in static artifacts because they have to do with the *order* students did things in.

For example, the screenshot on this post has 3 different orders used to fill in values in traces of the same kind of loop.

Strategy B matches Java's semantics best, and there are hints that submissions of students in that group did better on the exam (and no, trace ordering wasn't on the rubric!).

From this analysis, I can think of loops to trace that distinguish these strategies. We can poke at if helping students pick a trace strategy helps with other learning, and I can highlight in class.

I wouldn't have noticed without these videos in the loop in their assessments.

Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.