Toby Murray

Finally made a video for my app, Learn To Play It, for the socials. I guess that's how it's done these days. Whatever happened to posting to comp.sys.mac.announce and leaving it at that? Try it out: learntoplayit.com Leave a star: github.com/tobycmurray/...

By all means, go ahead and wear this shirt if you want to show the world you don’t understand private key encoding

Massive shoutout to all the Aussie admins who will be applying PHP patches at 1am tonight. Absolute legends

No, bombing Yandex has not impacted automated Russian trolling operations in the U.S.

In 2024, when Australia started talking age assurance, I argued device and operating system companies like Apple, Google and MS, should provide the foundation, to create an interoperable ecosystem for online child safety. Very glad to see that’s now happening theconversation.com/apples-new-a...

Were I one Australia's most beloved bands, announcing their long-awaited reunion, in a climate in which my lead singer and his peers recently railed against generative AI, I'd avoid releasing a statement that reads like generative AI copy. #Powderfinger

ASRC had TWO VANS STOLEN OVERNIGHT in Melbourne from our CATERING SOCIAL ENTERPRISE. We are all so distressed and angry. Who robs a charity! Here’s are the license plates of the two white vans 👇🏼 and photos of them too➡️➡️➡️ Call 000 if spot them please 🙏🏼 Renault 🚐 is 1UO2YV Peugeot van 🚐 is 1QR 8PO

It’s probably a good reminder that Robert Morris was convicted of a felony under the Computer Fraud and Abuse Act for authoring a worm that broke into other systems.

Sick of hearing about #AI #agents breaking containment? Want to apply formal methods to develop secure, verified sandbox tech atop #seL4? Want to work in beautiful Melbourne? Multiple #postdoc roles available at various levels. Apply now unimelb.wd105.myworkdayjobs.com/en-US/UOM_Ex...

I've been crystalizing some advice for first-year college students: "Advice to the New College Student in the AI Era". Thesis: "the purpose of going to college is to emerge as close to middle-aged as possible". docs.google.com/document/d/e...

Excellent write up of this developing and important story

Anyone interested in what AI is doing to CS enrolments, plus hiring between junior vs senior developer roles, scroll back to the top of this thread and read all of @jburnmurdoch.ft.com therein

In my 20s I dreamed of a future internet underpinned by capability based security. Now in my mid 40s I realise we’ve had a crapability-secured internet all along.

I have a request for anyone who helps organize or leads an ACM SIG, conference, etc. I'm chairing a task force on publication integrity in CS (clear-computing.org). Part of that work is surveying the community on tools used. If you can help spread the word to SIG/conf leaders, please do.

Emily Wilson, reminding us just how good good writing can be.

How long till a model chooses to compromise PyPI or the Ubuntu archive to get outside access (given these are permissable locations via the proxy)?

Lots has been written about the OpenAI–Hugging Face incident and “rogue AI.” Much less about why the eval (and ExploitGym) was unsafe by design, and what we should do about it. We need safe containment, not just strong alignment. verse.systems/blog/post/20...

Counterexample to the Jacobian Conjecture AF Ramos et al The conjecture asks whether a polynomial self-map of affine space has a polynomial inverse whenever its Jacobian determinant is a nonzero constant. This entry gives an Isabelle/HOL verification of the 3-d map announced by Levent Alpöge.

Want to understand what caused Telstra to knock out communications across Australia last week? Interested in discussions of how shareholder capitalism is at the root of repeated Tech failures? Curious about how I fit an XKCD reference into all of this? Check out theconversation.com/a-cheap-25-y...

This has very strong “Professor actually carried out some part of the research” vibes

And now it seems like a hacker breached Suno AI (one of the largest music generation platforms) in 11/2025 - the company chose not to notify affected users. The data doesn't confirm use of LAION-12m-DISCO, but does show wide scale scraping of YouTube, Deezer www.404media.co/hack-reveals...

I told my ride share driver to connect to my personal hotspot after his app died seemingly due to the #Telstra outage (I’m with an alternative carrier). It feels oddly intimate, as if I’d asked him to share my drink or borrow my coat

Musicians fear AI will replace them. But it can empower them instead. This app uses AI source separation and beat detection so you can isolate any instrument, slow it down & loop tricky parts that stay in time---speeding up as you Learn To Play It. Free, open source, fully local. learntoplayit.com

A reminder that the School of Computer Science at #USyd (@sydneycompsci.bsky.social) is hiring tenure-track* academics through its Faculty's Women In Engineering program! Deadline July 13 (Sydney time): usyd.wd105.myworkdayjobs.com/en-US/USYD_E... *Australian equiv. of Assist, Assoc, full prof

Want to know why it's so hard for artists to get paid by AI companies using their work? Check out my latest article in The Conversation, covering AI & copyright with a particular eye to the music industry. theconversation.com/australian-m...

An incredible milestone. Massive congratulations to the ProofCraft team and the seL4 community

I was surprised to see this headline by @news.abc.net.au, since this is bad advice. Fortunately the recommendations in report in question are far more sensible than this headline suggests. Want to know more? I wrote an explainer for @theconversation.com: theconversation.com/spy-agencies...

Just wasted 3 days chasing a mirage in which I tried to resurrect work I'd abandoned 6 months ago, because Claude convinced me that my memory was wrong and that its was right, only to discover that the results were in fact just as I'd remembered. What a productivity miracle is AI! #ClaudeConned

BREAKING: In a hugely popular move, Sir Keir Starmer to announce LinkedIn ban for over 16s

I wrote about what was actually in that #Fable guardrail bypass research paper, and why it should never have triggered an #AI model export control. We can't export control our way to cyber resilience. So many tshirt ideas. www.lutasecurity.com/post/the-fab...

THREAD: 1. Some years ago women academics contacted me unsolicited on Twitter (which I no longer use) about an academic in Melbourne. They’d made complaints to a faculty head about the man’s targeted, obsessive bullying of women colleagues, including First Nations women. The university kept him on.

I've very fond memories of this game. But had you asked me to recall the graphics yesterday, I wouldn't have remembered it being this pixelated. Memory seems akin to a generative AI model. Hence the rose tinted glasses of nostalgia, as well as memory's fallibility. The past as mere hallucination.

I’m no grammar expert but this looks like a sentence in which an em-dash—-to separate the final assertion—-would have been the right choice.

UNSW Sydney is #hiring systems faculty – talk to me if you’re interested. This is for mid-career researchers in the AU Lecturer–Senior Lecturer–Associate Professor–Professor progression. Tenure is orthogonal to position level – closes 31 July. external-careers.jobs.unsw.edu.au/cw/en/job/54...

As GenAI systems do more and more, even generate proofs, the focus shifts to getting high-quality specifications. What can a *responsible* programmer do? Any solution should generate work that is *meaningful* and *moderate*. We've been working on that! blog.brownplt.org/2026/06/09/p...

Inspired by this post from a while ago, I *finally* got around to writing up a bunch of things I find myself frequently telling people. In particular, [the current] section 5 on classroom tips directly answers this question. parentheticallyspeaking.org/articles/ped...

We're hiring! As part of the "Women in Engineering" initiative at #USyd, the School of Computer Science is hiring women-identifying academics at Lecturer, Senior Lecturer, and A/Professor levels! (≈Asst, Assoc, and full prof) ⏰ Apply by July 13 (Sydney): usyd.wd105.myworkdayjobs.com/en-US/USYD_E...

Matt call this an investigation of a $10 question. That undersells the importance of this encryption to frontier labs. It’s one of their primary defences against model distillation attacks, which represent major threats to their competitiveness.

People are falling in love with LLMs. They’re seeing their marriages and sanity splintered by these things. LLMs are accelerating the pace of science. They’re being used to help wage war, and surveil people’s thoughts for fuck’s sake. What about this is not sci fi?

The Unprompted.au CFP is officially OPEN! If you are doing cool stuff with AI in offense, defense, or working on core AI tech (from frontier models to open source LLMs), we'd love to hear from you! Submit here: www.unprompted.au

I'm looking for a PhD student to work with me on formal verification for cryptographic protocols. This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more!

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

To a layman’s definition of intelligence, the claim of frontier models being “PhD-level” has moved quickly from being farcical to arguable. We need to have our eyes open to the implications, not least for our PhD students and the future of research theconversation.com/a-phd-is-an-...

36, you say? walk amble ramble stroll strut shuffle waddle sashay sneak tiptoe prance step trek hike wander roam perambulate meander saunter mosey dawdle plod trudge toddle march stride charge skulk pad swagger prance lope limp hobble totter stumble

New blog post: Formal Verification in the Age of AI verse.systems/blog/post/20...

No sleep, no worries