tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
127 posts
785 followers
221 following
Prolific Poster
Conversation Starter
comment in response to
post
Thanks heaps for this.
comment in response to
post
Enrichment does not have linear cost: 60% enriched uranium is roughly 95% of the way from naturally occurring uranium to 90% enriched uranium.
www.urenco.com/swu-calculator
comment in response to
post
This is funny except that midi was far more descriptive than those ringtone formats en.wikipedia.org/wiki/Ring_To... Ring Tone Text Transfer Language - Wikipedia
comment in response to
post
In addition to building an on-site pizza joint, in future the Pentagon will presumably have to send out decoy crowds to the local gay bars, lest their adversaries discern too much about what they’re up to 😂
comment in response to
post
Super cool. Here is a typo (the amplitudes don’t seem to be swapped). Really enjoying reading this!
comment in response to
post
Totally take your point. I should have clarified that I was being facetious
comment in response to
post
So the implied point is that university administrators are no smarter than 19yo undergrads ?
comment in response to
post
But specs and formal methods are useful only insofar as they encode human understanding of software requirements. Synthesising the spec from the code devalues FM and tests only the LLM’s code comprehension abilities arxiv.org/abs/2503.04779
comment in response to
post
If you're using Scholar to find citation details for a paper and the Scholar search result says [CITATION] without a link to the actual paper, you need to carefully check that the provided information is actually correct.
comment in response to
post
Well medical software has been fucking people up long before the rise of ML (the canonical example being Therac-25) but your point is well taken.
comment in response to
post
What on earth does the hippocratic oath mean to a machine that by definition cannot feel pain and therefore can have no conception of harm?
comment in response to
post
I’d ask about the claims being made but I guess, if this is now a regular occurrence, the specifics are beside the point
comment in response to
post
True. Also my comment that “we” are not drowning in fake research is true for those of us who read only the top venues. But those are only a fraction of all publication outlets.
comment in response to
post
Richly deserved, Andreas. Congratulations
comment in response to
post
It took a bit of explaining to get GPT to understand this wordplay, of which I'm unreasonably proud.
comment in response to
post
It seems prudent to recall Hilaire Belloc:
“The Church is a perpetually defeated thing that always survives her conquerors.”
comment in response to
post
Any sufficiently advanced technology, poorly explained, is indistinguishable from bullshit