tobycmurray.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

I’m not sure how I missed this but it’s an extremely good article and you should absolutely read it. It’s about formal methods, but anyone who cares about integrating research into industry will find it valuable! I saw a ton of parallels with resilience engineering too :)

submitted 4 days ago • 1 comment

I scored 60 percent on the entrance exam. That is just below the 90 percent usually needed to obtain admission.

submitted 5 days ago • 1 comment

Happy to hear the School of #ComputerScience at #USyd 🇦🇺 will soon "launch a female-only recruitment round for continuing teaching and research academic positions" @sydneycompsci.bsky.social All seniority level,& in addition to our regular hiring cycle (to which women are also encouraged to apply!)

submitted 6 days ago • 1 comment

Walking across UNSW campus for a conference, I found myself thinking about how I love academia (for all its flaws) because of what it reflects about humanity. We all decided that it's worth creating and resourcing an entire cultural institution devoted to the acquisition and spread of knowledge.

submitted 11 days ago • 2 comments

The next time you need an example of a real world side channel try this wild article that explains how the absence of any pizza joints in the Pentagon complex creates a one-bit information leak www.theguardian.com/world/2025/j...

submitted 15 days ago • 2 comments

"Testing can show the presence of bugs but never the absence", which is good because historically showing the presence of bugs is both cheaper and more useful than trying to show the absence

submitted 18 days ago • 1 comment

I wouldn’t normally fess to reading fesshole but this is such a clever bit of potentially life-saving design that I’m willing to make an exception.

submitted 19 days ago • 0 comments

Formal methods for verifying neural network robustness often focus on automated reasoning over the neural network itself. In a new paper (which I'm super excited about!) we show a different approach that sidesteps traditional scalability challenges altogether. verse.systems/blog/post/20...

submitted 23 days ago • 0 comments

1/ Since it's open season on the Chinese in the US right now, I wanted to post about a remarkable Chinese-American experience that is one of the real gems of New England, making the region and country better in every way. It's about jazz and blues music. ↵

submitted 23 days ago • 2 comments

Thought provoking article on pros ✅ and cons ❌ of internationalisation of US universities. - knowledge generation ✅ - causing economic growth ✅ - increased soft power ✅ - promoting social mobility, national unity ❌ www.nytimes.com/2025/06/01/o...

submitted 27 days ago • 0 comments

You forgot the pivot

submitted 27 days ago • 0 comments

More CS schools need social media presences like @compscioxford.bsky.social

submitted 28 days ago • 0 comments

Buried in this piece is one of the most important statements that I think many of us believe but rarely say so clearly: “Science is the most important long-term investment for humanity.” www.theguardian.com/commentisfre...

submitted 28 days ago • 0 comments

This long read had me spellbound. So much science amounts to drawing conclusions that match one’s biases from insufficient data. Computer scientists are no less vulnerable to this. It’s just less obvious when our conclusions are so mundane in comparison www.theguardian.com/science/2025...

submitted 31 days ago • 1 comment

This post might age terribly, but I find it amazing how many people with little exposure to modern research in formal methods are now firm believers that software verification can be easily solved by LLMs and Lean. "DeepMind and Terence Tao are solving math with AI, and programs are even easier!"

submitted 35 days ago • 5 comments

Australia: If all the sharks and venomous animals weren't enough, now the kangaroos are trying to drown you

submitted 36 days ago • 10 comments

International students are a critical component of the R&D engine that drives western innovation, influence and soft power. For example, in Aus internationals are the vast bulk of PhD students and provide the highest research productivity (output relative to cost) in our innovation ecosystem

submitted 37 days ago • 0 comments

The pursuit of AI at all costs (“Mo’ AI” if you will) still feels to me like the 21st century’s Moai en.wikipedia.org/wiki/Moai bsky.app/profile/toby...

submitted 37 days ago • 2 comments

xAI’s Grok vividly highlights the potential for generative AI to turbo charge disinformation and concentrate influence power. Just at the time we learn LLMs may be more persuasive than humans bsky.app/profile/cscl...

submitted 42 days ago • 1 comment

TIL Branch and Bound was co-discovered by Alison Harcourt from Melbourne! Amazingly, after her formal retirement in 1994, she continued working as a tutor in Maths and Stats for 20+ years!

submitted 46 days ago • 0 comments

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!

submitted 55 days ago • 0 comments

The reason we are not already drowning in fake research is not because the effort to fake a paper is too high.

submitted 57 days ago • 1 comment

It occurs to me that those who count on unhatched eggs will be prone to egg on unhatched counts

submitted 60 days ago • 1 comment

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

submitted 63 days ago • 0 comments

Expect talk of TEMPEST

submitted 65 days ago • 0 comments

We are hiring in HCI! Note that lecturer/senior lecturer are equiv. to tenure-track assistant/associate professor positions in North America jobs.unimelb.edu.au/caw/en/job/9...

submitted 71 days ago • 0 comments

Be especially skeptical of claims you want to believe.

submitted 71 days ago • 6 comments

Universities are ancient institutions. Harvard predates the Declaration of Independence by 140 years; Oxford the Magna Carta by at least a century. Australia’s oldest universities predate Responsible Government. In this sense they are more like Churches than Businesses. Therefore, (cont. below)

submitted 73 days ago • 1 comment

Congratulations to Oxbridge on retaining their 100% record in a boat race.

submitted 76 days ago • 1 comment

Wealth is a terrible proxy for intelligence, but an excellent measure of greed

submitted 78 days ago • 0 comments

This is why it’s so important for scientists to learn to learn to communicate clearly to the public. Otherwise, your rigorous evidence-backed findings will be indistinguishable from bullshit

submitted 78 days ago • 1 comment

Tell me you’ve never looked inside a washing machine without telling me you’ve never looked inside a washing machine.

submitted 78 days ago • 8 comments

Risky biz, indeed

submitted 79 days ago • 0 comments