This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
We (School of #ComputerScience at U Sydney) are running an outreach semester-long program for a high-school students (emphasis on underrepresented backgrounds and groups) to discover CS at U Syd (for credit) and participate in a project along the way. Anybody know what are the best channels to advertise this in #NSW/#Australia/#Sydney ? #STEM #education
Rahul Gopinath posted Apr 19, 2023
I am trying to introduce my students in software engineering to LLMs. I want them to have a good idea of what it is like to work with them, or to build tools on top of them. What is the best option currently?
Rahul Gopinath posted Apr 10, 2023
It seems that I have almost entirely replaced my use of Grammarly and LanguageTool with ChatGPT (GPT4). The ability to instruct the AI on what to do in different parts, --ignore latex comments, keep the structure, make abstract concise, make introduction simple etc.--are a real game changer for me. However, I find its ability to write code I want *extremely* lacking!.
Rahul Gopinath posted Mar 30, 2023
At Schloss Dagstuhl #dagstuhl finding bugs.
I got a 2.5 Million EUR ERC Advanced Grant #ERCAdG (my 2nd)! In the project "Semantics of Software Systems" (S3), we will research massive generation of tests and oracles for software. Details (and proposal!) here: https://www.cispa.de/s3. Come work with me!
A big "thank you" to all who have helped me with the many proposal revisions and interview rehearsals. Particular 🙏🙏🙏 go to @rahul and @dsteinhoefel – this proposal would not have been possible without you and your work!
Rahul Gopinath posted Mar 17, 2023
Valiant's general context free parser is one of the few very well known general context free parsers. Its claim to fame is that given any context-free grammar, it can parse any strings in that grammar in less than O(N^3) time, by leveraging advances matrix multiplication. Unfortunately, lucid explanations of what Valiant's algorithm does is somewhat hard to find. I have just written a live notebook post that explains the Valiant's parser, and lets you play with the algorithm directly.
Rahul Gopinath posted Mar 16, 2023
An unforeseen (or perhaps foreseeable) issue; Most foot guns I have learned to avoid in Python are present in GPT4 generated code, and it is not immediately obvious anymore. Chased a surprising bug and found
C = [[{}] * m for _ in range(m)]
followed by
C[i][j][k] = "V"
buried deep. Because I trusted GPT4 (it aught to be good at these things) I failed to recognize this pattern :/
Rahul Gopinath posted Mar 16, 2023
It is very mesmerizing to get chatGPT+ (GPT4) to write code for you. It keeps making different mistakes every time, and inventing newer explanations!
The registration fees for ICSE are INSANE! Also, there is no online option. ICSE is really going backwards…
Welcome to all our new users!
We'd love to hear more about you. A great way to get your name in circulation is to post an introduction (using the #introduction hashtag).
Likewise, search #introduction to learn about new members.
To appear in the Profiles directory, enable Profile -> Appearance -> "Suggest account to others"
And if you have more time:
Mastodon quick start guide
https://blog.joinmastodon.org/2018/08/mastodon-quick-start-guide/
WIRED - How to Get Started on Mastodon
https://www.wired.com/story/how-to-get-started-use-mastodon/