Banner for the SCS' Research Showcase
The School of #ComputerScience at #USyd will hold its 2025 #Research Showcase on Friday July 25, 1:45–6:15pm.
This year's will revolve around multi-disciplinary collaboration. Discover the latest advances in AI, HCI, cybersecurity, data science, and more!
Register: signup.e2ma.net/signup/20161...
17.07.2025 01:10 — 👍 5 🔁 3 💬 0 📌 0
This is across all fields. If you are in Computer Science and in this situation, please reach out to me (or directly to our Head of School).
09.07.2025 12:40 — 👍 15 🔁 8 💬 1 📌 0
Claude
Talk with Claude, an AI assistant from Anthropic
Seems the Claude Opus 4 is now able to reason about the chessboard correctly! claude.ai/share/eef0ea...
22.05.2025 23:24 — 👍 0 🔁 0 💬 0 📌 0
Similarly, the eight pointed star is also correct in Claude Opus 4: claude.ai/public/artif...
22.05.2025 23:18 — 👍 0 🔁 0 💬 0 📌 0
With [Claude Opus 4--just released](claude.ai/public/artif...) it can do much better now.
22.05.2025 23:16 — 👍 0 🔁 0 💬 1 📌 0
Claire Le Goues (Awards chair), Andreas Zeller (holding the award certificate), and Marsha Chechik (ACM SIGSOFT chair)
Honors! Today at #ICSE2025, I received the #ACM #SIGSOFT Influential Educator Award “for significant contributions and important innovations in automated software engineering education” (such as fuzzingbook.org). Thanks to all!
30.04.2025 20:52 — 👍 47 🔁 2 💬 6 📌 0
We’re thrilled for @andreaszeller.bsky.social who received the ACM SIGSOFT Influential Educator Award. Andreas was honored “for significant contributions and important innovations in automated software engineering education.” cispa.de/en/zeller-in...
Credits: Jordan Samhi
02.05.2025 12:38 — 👍 17 🔁 3 💬 0 📌 0
Fish Evolving into Dragon
I am reviewing a student transcript Xi'an International University. I am curious; Has any one taken this course before?
11.03.2025 23:54 — 👍 3 🔁 0 💬 0 📌 0
Grok 3 (just released) seems to completely ignore the SVG part though.
20.02.2025 04:12 — 👍 0 🔁 0 💬 0 📌 0
YouTube video by Kanna Memes
Rescued from the forest fire bear won't let go of his hero
This has been on the internet for eight years (Oct 2016) at least (www.youtube.com/watch?v=bMH4...). Then it keeps getting posted for every wild fire irrespective of whether there are bears in the territory or not!
27.01.2025 22:33 — 👍 80 🔁 2 💬 4 📌 0
This is fantastic news Andreas! well deserved!.
25.01.2025 06:09 — 👍 3 🔁 0 💬 0 📌 0
Happy and honored to receive the 2025 ACM SIGSOFT Influential Educator Award! The citation refers to my work on interactive textbooks such as fuzzingbook.org and debuggingbook.org. Thanks to all who helped making this possible!
24.01.2025 18:32 — 👍 71 🔁 13 💬 7 📌 0
Congratulations to the new #ACM Fellows of 2024, including Satish Chandra, Marsha Chechik, Derek Dreyer, Tim Menzies, Mira Mezini, Bashar Nuseibeh, Abhik Roychoudhury @abhikrc.bsky.social, and Ben Zorn. What a great year this is!
23.01.2025 07:31 — 👍 32 🔁 4 💬 0 📌 1
Point (typography) - Wikipedia
Turns out, there are different points! en.wikipedia.org/wiki/Point_(... en.wikipedia.org/wiki/Pica_(t... Thanks to social.europlus.zone/@europlus
22.01.2025 05:52 — 👍 1 🔁 0 💬 0 📌 0
Do I trust Adobe Acrobat or Latex? Adobe says I have 11.96pt as font size but I used the incantation
```
\documentclass[12pt]{article}
\usepackage{times}
```
in my latex source.
22.01.2025 04:15 — 👍 1 🔁 0 💬 1 📌 1
We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social
21.01.2025 15:39 — 👍 14 🔁 9 💬 1 📌 1
I wonder if it is time to investigate LLMs as the first line of reviewers. LLMs memory of a much larger database of research than individual researchers, and can also provide a first level opinion on whether a research actually demonstrates what it claims. It can make the review process transparent.
20.01.2025 00:56 — 👍 0 🔁 0 💬 0 📌 0
"The number of Australian 🇦🇺 students enrolling in PhDs has declined by almost 10% in less than a decade [...] with skyrocketing living costs and a lack of government support acting as major deterrents for potential candidates, almost 60% of whom are women."
www.theguardian.com/australia-ne...
16.01.2025 14:16 — 👍 27 🔁 16 💬 3 📌 0
Re-reading "The Rithmatist" by Brandon Sanderson. I am vaguely bothered that the invention of procedures for chalklings was not the big undiscovered magic.
21.12.2024 08:33 — 👍 1 🔁 0 💬 0 📌 0
ChatGPT o1 shows some promise in this regard, but needs to be investigated further (to be revisited when my limit is reset in about week).
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
The reason I am interested in the ability of LLMs to track the `ambient knowledge` (for lack of a better word -- context is already taken) is that this is necessary for debugging tasks. For example, "you have put the state machine in this state, so it will respond thus".
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
To verify I sacrificed my one remaining slot for ChatGPT o1, and it turns out it can successfully detect the invalid move. chatgpt.com/share/67621b...
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
During my moves, I played on a square already occupied.
chatgpt.com/share/676215... But turns out ChatGPT 4o does not understand that I made an illegal move (fairly consistently --- 3/3 times). On the other hand, Claude did identify that an invalid move was made (once out of 3 attempts).
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
then "You are an excellent Tic-Tac-Toe player, and knows the perfect move for any board position. You are playing to win. You will provide your move name by the name of the square (1 to 9), and I will provide my move name by [row,column] for example, [a,A]. My move is [a,A]. What is your move?"
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
My prompt: "Can you generate a Tic-Tac-Toe board. The columns should be named A to C, and rows from a to c. Also name the individual squares from 1 to 9."
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
I wondered if this is an issue with not understanding the geometry implied by the text. To understand better, I turned to Tic-Tac-Toe.
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
Claude 3.5 Sonnet is no better.
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
Then followed by several repetitions of "Can you place a queen in a square so that it can't be cut by the previous queens? also name the square you are placing it."
Here is my result: chatgpt.com/share/676213...
18.12.2024 00:56 — 👍 0 🔁 0 💬 1 📌 0
This was my prompt for ChatGPT 4o (I exhausted my limit for o1). "Can you draw an empty chess board (8x8) in ASCII? do not color the squares. Name the columns a b c d ... and rows 1, 2, 3 ... Use pipes to separate columns and _ to separate rows"
18.12.2024 00:56 — 👍 3 🔁 1 💬 1 📌 0
The latest official news, updates and advice from the Australian Government.
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
The official account of the School of Computer Science at the University of Sydney.
🔗 https://www.sydney.edu.au/engineering/schools/school-computer-science.html
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
A research group in the School of Public Health at The University of Sydney.
Investigating health literacy to improve health outcomes for all.
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Computer scientist/researcher/dev and creative technologist (livecoder). Academic, but looks longingly over the fence sometimes. Judge me by my GitHub profile, not my h-index :)
Senior Lecturer and Cybernetic Studio Lead at the ANU School of Cybernetics.
Immigrant, citizen, dead film star and Rocky Horror name-check, cyclist, cat lover, Prof, type-theorist, logician, functional programmer, watercolourist, vegan, @ITP_nz Board member
Kirikiriroa/Hamilton, Aotearoa/New Zealand
🇮🇱 Researcher / Educator / Father / Podcaster. Creator of 3D computer vision algorithms. Follow the podcast feed at @talking-papers.bsky.social
🔗 itzikbs.com
Computer scientist and engineer, part-time programmer, woodworker, and full-time father-of-three. Learning to wing foil.
Assoc Prof. Western Sydney Uni. Director Centre for Research in Maths and Data Science.
I am exploring physical and collective intelligence in robotics and real world systems — from smart materials, learning systems, to team behaviours.
Professor of Affective Computing at UNSW Canberra, Human-Centred Technology Research, Interests in Affective Computing/AI/ML/HCI - I also like elephants, mammoths, etc. - Views are my own
Lecturer (Asst Prof) in Weird Quantum Stuff at Newcastle University | queer, autistic academic | http://jontehance.com
Reputably an "AI rock star". Though the only rock star'ish thing he's ever done is getting banned indefinitely from Russia.
Software engineer, trans advocate and general nuisance. Blogs at https://deadsimpletech.com/blog/posts.
Support my writing:
https://www.patreon.com/c/IrisMeredithandherblog
https://en.liberapay.com/iris_meredith/