Had my own “invisible gorilla” moment last night at the Oasis show in Melbourne. I was shocked to read the news reports this morning that a fan launched a flare into the crowd: not one of my family of four noticed it. Even more shocked to find it plain as day in the video my 11yo captured.

Thanks to the RAID’25 organisers, who invited me to speak. I had a wonderful time talking about our recent work on an alternative method for verified robustness for neural networks. (see verse.systems/blog/post/20...)

I couldn’t resist educating the younguns on “agents”

cc a few folks who might find this of interest: @m-dodds.bsky.social @shriram.bsky.social @lawrpaulson.bsky.social @microkerneldude.bsky.social @hillelwayne.com @nikolajbjorner.bsky.social

And a repeat of the graphic and blog link that were at the top of this thread: verse.systems/blog/post/20...

Program verification methods aim to be scalable (able to reason about large programs), automatic (require little human input), and precise (reason about complex properties). Yet no method does all three. In fact, they form a "trilemma". See this very short post: verse.systems/blog/post/20...

This is a feature, not a bug. Rare events are, by definition, more informative than common ones.

“In the white light of Artemis, from the lonely mirror of her face, man looked down upon the blue splendor of the Earth and for the first time he saw his home. In the bright light of Apollo, he looked into his brother's eyes, and with reverence and awe he saw himself.”

Vale, Jim Lovell

Super cool. Here is a typo (the amplitudes don’t seem to be swapped). Really enjoying reading this!

Blowing Earth's carbon budget in pursuit of AGI to solve climate change would be the 21st century equivalent of the Easter Islander Rapanui people chopping down their island's last remaining trees to build the Moai necessary to seek salvation from their gods. It's right there in the name: Mo' AI!

It took a bit of explaining to get GPT to understand this wordplay, of which I'm unreasonably proud.

If you ever had any doubt about the power of lighting, angles, and timing, when it comes to photography. (May we never be photographed so unflatteringly. Yikes!)

“a secretary of defense intentionally using a civilian messaging app to share sensitive war plans” is quite the advertisement for Signal. Doing so “without even apparently noticing a journalist was in the chat” reminds us of why user interface design is so important for security.

The US (DoD, NIH, etc.) has proudly funded many large scale research efforts by Australian scientists leading to significant innovation. But now is the time for the Australian Government to significantly increase R&D funding, as we enter a multipolar world with significant uncertainty.

Family doggo Rufus finally getting the limelight he deserves pursuit.unimelb.edu.au/articles/wha...

Luckily ChatGPT was able to fill in the gaps in my understanding of elisp meta-programming jargon.

Huh. Keyword filtering on the model output.