If data is the oil of the new economy, then we must be living in the age of the everyday environmental disaster.

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/learn…

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. Stoked to see that’s now happening theconversation.com/apples-n…

The people that want to believe in "AI consciousness" largely want to believe in their own greatness, and given the unscientific and unfalsifiable nature of "consciousness", there's nothing that will convince them; this is about faith and creating idols, not science.

I am running a formal methods hackathon on November 1st, with a bunch of my friends. Contestants will compete to build normie software -- video games, AI agents, travel booking tools, etc. -- but formally verified. We are going to measure to what degree these tools are usable by SWEs with no prior FM background and no FM-specific education. This is a super exciting opportunity to see where the ergonomic gaps are that we, the FM community, need to fill in order to take advantage of our moment in the zeitgeist. If you want to get involved, please DM me! In particular, I think I've got location/food/tokens/photography all covered, but I need some sponsors for the prizes. If you make a cool gizmo or product we can give away and you're down to donate one, please do so!

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

My 15yo's band FASEHORSE are playing this Sunday, 6pm at Mamma Chen’s in Footscray. For the joy of mathematics. For parabolas. For rock and roll. 🤘 Come along.

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

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

Scientists today: “We birthed gene edited children” 90s scientists: “please, your coffee enema won’t cure your cancer”

I'm looking for a postdoc to work on Separation Logic in Lean. Position in the London Meta office, in the new AI Verification team. Possibly collaborating with or building on external work on CSLib, Iris-Lean and loom.@AIatMeta @leanprover metacareers.com/profile/job_…

not a bad return on a 1 month Claude code max sub 😏

Curious what AI like #Mythos is doing to vulnerability discovery and exploration? @riskybusiness and @ryanaraine et al. each dropped fascinating episodes this week with Nicholas Carlini and @mdowd respectively. podcasts.apple.com/au/podcas… podcasts.apple.com/au/podcas…

MIT students have been doing this since at least 2012 people youtube.com/watch?v=bDo4Pjk6…

claude --model=claude-opus-4.6

Anyone following along at home should note that, notwithstanding its top entertainment value, given the massive amounts of unpatchable, legacy systems out there, Brendan demonstrating autonomous exploitation of legacy apps via emulation is no joke

"Our goal should be to give an LLM coding agent zero degrees of freedom." As usual a thought provoking article from John Regehr. "Correctness oracles abound. We have test suites, fuzzers and property-based testers, runtime sanitizers, static analyzers, linters, strong type systems, and formal verifiers. Any time such a tool can be made available to the LLM, we’ll reap the benefits in terms of not dealing with bugs the hard way, later on." john.regehr.org/writing/zero…

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…