iiinova — where your digital self keeps evolving

Reposted by Toby Murray

Kon Karapanagiotidis @kkarapanagiotidis.bsky.social · 28/09/2026

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

8140130

Reposted by Toby Murray

Serge Egelman @v0max.bsky.social · 26/09/2026

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.

0148

Toby Murray @tobycmurray.bsky.social · 24/09/2026

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...

unimelb.wd105.myworkdayjobs.com

Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow

Role type: Full time, Fixed-term until November 2027 (part-time considered) Faculty: Faculty of Engineering and Information Technology Salary: Level A - $87,266 - $118,416 p.a. plus 17% super Level B ...

152

Reposted by Toby Murray

Shriram Krishnamurthi @shriram.bsky.social · 13/09/2026

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...

docs.google.com

Advice to the New College Student in the AI Era

1193

Toby Murray @tobycmurray.bsky.social · 10/09/2026

Excellent write up of this developing and important story

110

Toby Murray @tobycmurray.bsky.social · 04/09/2026

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

220

Toby Murray @tobycmurray.bsky.social · 22/08/2026

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.

030

Reposted by Toby Murray

Michael S. Kirkpatrick @kirkpams.bsky.social · 11/08/2026

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.

forms.gle

CLEAR Survey: Tool Adoption For Ethics And Policy Violations

The CLEAR Task force is gathering information from conference and journal organizers about tools used or being developed to identify, investigate, or manage ethics and policy violations in peer review...

3611

Toby Murray @tobycmurray.bsky.social · 28/07/2026

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

A meme image depicting Obi-Wan Kenobi with the caption "This word order---to neat for coincidence. Only. a classicist-translator is so precise."

A screenshot of text "The exuberantly villainous Antinous --- Pattinson is the only person on set who seems to be having any fun --- clearly deserves to be stabbed to death with the dagger of Sinon, but he also deserves one of the Oscars that will shower down on this movie like the golden rain of Zeus." The final part of the sentence from "will shower down ..." onwards is highlighted.

021

Reposted by Toby Murray

Alex Murray @alexmurray.bsky.social · 27/07/2026

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)?

232

Toby Murray @tobycmurray.bsky.social · 27/07/2026

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...

verse.systems

Don't Use Ordinary Software to Contain Software-Hacking Agents

Why the Hugging Face-OpenAI incident was foreseeable

251

Reposted by Toby Murray

Lawrence Paulson @lawrpaulson.bsky.social · 21/07/2026

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.

isa-afp.org

Formal Verification of an Explicit Counterexample to the Jacobian Conjecture

Formal Verification of an Explicit Counterexample to the Jacobian Conjecture in the Archive of Formal Proofs

101

Toby Murray @tobycmurray.bsky.social · 20/07/2026

Anyone asking themselves "if AI can disprove the Jacobian conjecture, what's left for me to do?" ask yourself instead: "Which of yesterday's insurmountable problems might we solve today, with such tools at our command?" The superintelligence is *you* augmented with AI.

110

Reposted by Toby Murray

Andrew Cullen @adrcullen.bsky.social · 20/07/2026

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...

theconversation.com

A cheap 25-year-old piece of hardware broke Telstra. It’s a wake-up call for other businesses

Telstra is far from alone in its neglect of key pieces of equipment.

011

Toby Murray @tobycmurray.bsky.social · 16/07/2026

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

140

Reposted by Toby Murray

Andrew Cullen @adrcullen.bsky.social · 15/07/2026

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...

404media.co

Hack Reveals Suno AI Music Generator Scraped YouTube, Deezer, and Genius

Hacked source code reveals how Suno scraped decades worth of music and podcasts from the internet to train its AI tool.

021

Toby Murray @tobycmurray.bsky.social · 08/07/2026

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

010

Toby Murray @tobycmurray.bsky.social · 07/07/2026

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

learntoplayit.com

Learn To Play It

Isolate any instrument from a song, slow it down, and practice your part.

020

Reposted by Toby Murray

Andrew Cullen @adrcullen.bsky.social · 01/07/2026

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...

theconversation.com

Australian musicians hate AI using their songs, but have little legal protection

Many of Australia’s favourite artists – from AC/DC to Kylie – have been found in massive AI datasets.

152

Toby Murray @tobycmurray.bsky.social · 29/06/2026

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

020

Toby Murray @tobycmurray.bsky.social · 23/06/2026

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...

040

Toby Murray @tobycmurray.bsky.social · 17/06/2026

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

010

Reposted by Toby Murray

Ciaran Martin @ciaranm.bsky.social · 15/06/2026

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

68815

Reposted by Toby Murray

Katie Moussouris (she/her/she-hulk/she-ra)🌻 @k8em0.bsky.social · 15/06/2026

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...

me wearing a black tshirt with pink writing.
Front: fix this code

me wearing a black tshirt with pink writing.
Back: this shirt is a munition

711635

Reposted by Toby Murray

Louise Milligan @milliganreports.bsky.social · 15/06/2026

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.

211752

Toby Murray @tobycmurray.bsky.social · 14/06/2026

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.

310

Toby Murray @tobycmurray.bsky.social · 13/06/2026

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.

010

Toby Murray @tobycmurray.bsky.social · 11/06/2026

PL folks beware. The left paper appropriates results from the Cogent project [1][2][3]; the right one for Terra [4][5] [1] dl.acm.org/doi/10.1145/... [2] dl.acm.org/doi/10.1145/... [3] dl.acm.org/doi/10.1145/... [4] dl.acm.org/doi/10.1145/... [5] dl.acm.org/doi/10.1145/...

222

Reposted by Toby Murray

Gernot Heiser @microkerneldude.bsky.social · 10/06/2026

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...

external-careers.jobs.unsw.edu.au

Associate Professor in Systems

Join an organisation that is shaping the future direction of modern computing systems in Australia, in a senior academic role that combines research leadership, strategic contribution, and excellence ...

022

Reposted by Toby Murray

Shriram Krishnamurthi @shriram.bsky.social · 09/06/2026

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...

blog.brownplt.org

Human Judgment as a Specification

2175

Reposted by Toby Murray

Shriram Krishnamurthi @shriram.bsky.social · 06/06/2026

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...

parentheticallyspeaking.org

Pedagogy Recommendations

Parenthetically Speaking: Articles by Shriram Krishnamurthi

0204

Reposted by Toby Murray

School of Computer Science, University of Sydney @sydneycompsci.bsky.social · 01/06/2026

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...

usyd.wd105.myworkdayjobs.com

Women in Engineering: Continuing (Tenure-Track) Academic Positions for Women, Faculty of Engineering, The University of Sydney

Join a growing Faculty and be part of a University that places amongst the world’s best teaching and research institutions Located in the heart of Sydney’s bustling inner west quarter, close to beache...

01013

Toby Murray @tobycmurray.bsky.social · 29/05/2026

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.

0286

Toby Murray @tobycmurray.bsky.social · 23/05/2026

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?

040

Reposted by Toby Murray

Mark Dowd @mdowd.bsky.social · 05/05/2026

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

unprompted.au

Unprompted.au

035

Reposted by Toby Murray

Sabine Oechsner @proofnerd.bsky.social · 17/04/2026

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!

11013

Reposted by Toby Murray

Shriram Krishnamurthi @shriram.bsky.social · 15/04/2026

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!

12017

Toby Murray @tobycmurray.bsky.social · 13/03/2026

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-...

theconversation.com

A PhD is an apprenticeship in research – we can’t let AI take that away

AI might have ‘PhD-level’ intelligence. But substituting it for a PhD student sacrifices a special part of the academic ecosystem.

021

Toby Murray @tobycmurray.bsky.social · 07/03/2026

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

1292

Toby Murray @tobycmurray.bsky.social · 04/03/2026

Avigad had written an important note grappling with the rise of AI for mathematics. Almost all is equally applicable to much of computer science. Academics must face the challenge of re-prosecuting our mission as researchers and educators in the age of AI. www.andrew.cmu.edu/user/avigad/...

andrew.cmu.edu

030

Toby Murray @tobycmurray.bsky.social · 03/03/2026

Almost no matter what base of human effort this was situated on, 200K lines of proof in 2 weeks is remarkable. In Isabelle/HOL we used to reckon on about 10K lines of proof = 1 person-year. spectrum.ieee.org/ai-proof-ver... cc @lawrpaulson.bsky.social @microkerneldude.bsky.social

spectrum.ieee.org

AI and Humans Verify Fields Medal Proof for the First Time

How did AI help solve a 24-dimensional puzzle in just two weeks? Dive into the world of sphere packing and find out.

251

Reposted by Toby Murray

SuzyQ @suzyqfit4u.bsky.social · 17/11/2024

Family includes everyone! ❤️

8263378622725

Reposted by Toby Murray

Fiona Katauskas @fionakatauskas.bsky.social · 22/02/2026

Thoroughly enjoyed this

5479

Toby Murray @tobycmurray.bsky.social · 20/02/2026

As I said a few months ago (bsky.app/profile/toby...), GenAI allows thought policing and surveillance of a kind Orwell couldn’t dream of. We should expect the familiar debates between safety-by-surveillance vs civil liberty to be rehashed on this arena, as this piece shows

010

Reposted by Toby Murray

Defence Science Institute (DSI) @dsi-vic.bsky.social · 19/02/2026

Know someone doing outstanding research towards or resulting in practical improvements for Australia's national security or capability for defence? Nominate them for the Eureka Prize for Outstanding Science in Safeguarding Australia by 16 April bit.ly/40jSZi0

001

Reposted by Toby Murray

Nick Evershed!? @nickevershed.bsky.social · 13/02/2026

call me a thursday night pub special, cause I'm a well done angus

0253