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.

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

forms.gle

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

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

Why the Hugging Face-OpenAI incident was foreseeable

verse.systems

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.

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

isa-afp.org

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.

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

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.

theconversation.com

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

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.

404media.co

Andrew Cullen@adrcullen.bsky.social · last mo.

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

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

Learn To Play It

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

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

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

usyd.wd105.myworkdayjobs.com

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

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.

theconversation.com

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

Gernot Heiser@microkerneldude.bsky.social · 2mo ago

It finally happened – the MCS variant of #seL4 is verified (on RISC-V)! Proofcraft has just finished the functional correctness proof of this most powerful version of the kernel, specifically aimed at supporting mixed-criticality real-time systems. sel4.systems/news/#mcs26

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.

Retro Tech Dreams@retrotechdreams.bsky.social · 2mo ago

Maniac Mansion II: Day of the Tentacle (1993)

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.

Kevin Beaumont@doublepulsar.com · 2mo ago

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

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

Pedagogy Recommendations

Parenthetically Speaking: Articles by Shriram Krishnamurthi

parentheticallyspeaking.org

Daniel Bellingradt@dbellingradt.bsky.social · 2y ago

What’s your best teaching trick, dear colleagues? From burning books in the classroom, role play ceremonies, to outdoor poet readings. #skystorians #academicchatter Thanks for your answers:

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

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

usyd.wd105.myworkdayjobs.com

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.

Matthew Green@matthewdgreen.bsky.social · 3mo ago

Last week I discovered that ChatGPT and Claude will send you their “encrypted raw reasoning” and of course I immediately wasted a weekend trying to do something bad with it. What I got for my trouble was this blog post: blog.cryptographyengineering.com/2026/05/29/f...

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?

John Scalzi@scalzi.com · 3mo ago

As a science fiction writer I really fucking resent tech bros for ruining the phrase "artificial intelligence." 80 years of it being all about cool androids and interesting computers destroyed by five years of "Spicy autocorrect making everything shittier for money." NEVER FORGIVE.

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

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!