Quite shocked at the amount of crapware and number of subscriptions Windows 11 tries to subscribe you to during a clean install !??? Gamepass, advertising IDs, two separate prompts for office products (first a premium, then a basic; finally settling on "well you can also use the free option!").

The RAID 2025 portal is now accepting submissions! raid2025.github.io/call.html
RAID, or Research in Attacks, Intrusions, and Defenses, is a top venue for cybersecurity (Core A ranked), and this year will be hosted in the sunny Gold Coast of Australia. Submit now- I'll see you there! #AcademicSky 🧪

The 28th International Symposium on Research in Attacks, Intrusions, and Defenses (RAID 2025) invites submissions for topics in computer security, including AI/SW/HW/IoT/networks etc!

Deadline: Apr 17th 2025 AoE

More details: raid2025.github.io/call.html

#RAID2025 #Cybersecurity #AcademicSky

The results of the study are outlined in the document titled "the immutable function" which unfortunately no longer exists

#academicsky

Really excited to share that Yulei Sui and I were awarded an ARC Discovery Project at #UNSW #CSE! Our project will be exploring how code generation by #LLMs can be made more correct, secure, and robust. We'll propose new techniques to certify the outputs of these models to ensure safety / security.

CSE, UNSW Sydney is hiring multiple Associate Professors (Level D, tenured) on:
- Algorithms
- Computer Graphics
- Embedded Systems
- Formal Methods
- NLP
- Theoretical Machine Learning
- Robotics
Closing 27 Jan 2025. Those wanting to know about working in Sydney and Australia do reach out 🦘🎓
URL👇

Bit embarrassing when the DAC'25 research🧪 conference portal crashes in the minutes leading up to the submission deadline with what I can only assume is a DDDDoS attack; Deadline Driven Distributed Denial of Service :) Looks like the entire softconf went down!

I hope there will be a grace period?

Today in relatable science: Gulls making a mysterious daily trip that turned out to be to a potato chip factory

At Koli Calling in Finland presenting our very early work on fine-tuning Large Language Models to align them with pedagogical behaviour.

These models power our compiler error explanation system: dcc.cse.unsw.edu.au

Read the paper: dl.acm.org/doi/10.1145/...

@cyberhammond.com, @litoria.bsky.social

Just returned my Phillips "smart" TV. Never have I had the misfortune to use such garbage. Adverts absolutely everywhere. Minutes of delay after power up before you could do anything. Frequent 30-45 second lag spikes when using the remote. If I was Phillips I'd be ashamed of releasing such junk.

This is the most accurate image AI has ever generated

Absolutely crazy and continues to show the importance of cyber resilience, especially for critical infrastructure!

youtu.be/IUmAorslXms?...

The new openAI capabilities are crazy, 128k context length and built in RAG features, copyright shield, and lower costs? Hoping the open source model systems can also release additional features to compete...

Happy SIGCSE notification day! Celebrating the acceptance of our paper "dcc --help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models". @litoria.bsky.social @cyberhammond.com

Godot 4 has coroutines, but simultaneously it has no way to elegantly abort a started coroutine. Start up the pot, it's spaghetti time

Just watched a student with their nose in their phone walk into the wall of a bus stop. I shall now report this with my own nose in my own phone as I too walk

The attack on school and public libraries from the “parents’ rights movement” aims to eliminate the freedom to read, which is the one form of autonomy and civic respect that our public institutions grant to an otherwise completely powerless segment of our society: children. 📚

Our newest addition to the research team!