Benno Leslie

@timl @bencjenkins quick jaunt to Grumpy will sort you out

@bencjenkins Now I want donuts, thanks!

A guy at the donut shop I’m at just asked two questions 1) so what happens here, we just pick a donut? (Yes) 2) and we can order however many we want? (Yes) and he said this with such genuine awe and curiosity that for a moment I thought I was dying.

@TalksRugby See in subbies the front row is full of old flankers who got slow but couldn't give the game away

Full disclosure, when they announced Connal McInerney in the team my first thought was "isn't that guy close to retirement age?" The guy is only 26. The front row is brutal.

@rainbowthirsty @joshgiesbrecht yeah, well I'm using a pleb language (Python) where I can't just drop a print() call in my comprehensions. I forget how Haskell comprehensions work, I guess performUnsafeIO can syntactically be put in the right spot there

@rainbowthirsty @joshgiesbrecht absolutely right, but damn if it ain't annoying when you have a list comprehension and have to rewrite as a for loop to drop a print statement in there somewhere

@whassaname @tomwarren I'm sure google will sell you a Pixel cloth :)

@tomwarren Looks like it's only compatible with Apple devices. I need a cloth that can polish my Macbook *and* my Pixel 5 🙁

Apple has made a $19 / £19 polishing cloth 🙃

@timl @whassaname nice work

To those in the Shute Shield scene, there is some extremely sad news to share regarding a man who epitomised the best of rugby culture. He continued to pull on the jersey into his 70s whenever 4th grade were short. Then he'd run the water... (cont) northernbeachesreview.com.au/story/7463453/…

@TalksRugby Vale Rusty. What a top bloke.

Well, this truly sucks :( #comments" target="_blank" rel="nofollow noopener">smh.com.au/sydney-news/sy… SkyZone was great for kids (and adults!)

@jdub ahhh *int* max, not *uint* max... is this from the yodaiken paper?

@bennoleslie It follows from “knowing that INT_MAX+1 is undefined allows optimizing X+1 > X to ‘true’”.

³Taking both 𝑥 ≤ 𝐼𝑁𝑇_𝑀𝐴𝑋 and 𝑥 + 1 > 𝑥 as axioms implies that 𝐼𝑁𝑇_𝑀𝐴𝑋 > 𝐼𝑁𝑇_𝑀𝐴𝑋.

Cross Domain Desktop Compositor @cis_unimelb @engunimelb @unimelb and @DefenceScience wins the @DeptDefence Eureka Prize for Outstanding Science in Safeguarding Australia. Learn more: youtu.be/zcmyS8WCeNs #EurekaPrizes

@tobycmurray @robs_cse Congrats Toby!

On behalf of my co-entrants, Mark Beaumont and @robs_cse, it is an honour to accept this award. The Cross Domain Desktop Compositor shows what is possible when Australian institutions collaborate to develop sovereign capability unmatched elsewhere in the world. 1/4

@jdub @dannolan congratulations team you nailed that one

@realCarrickRyan Fucking oath!

Long distance running should have weight divisions. Enter me in the 100kg+ half-marathon please.

@mikal thanks! I'll need to look in detail, but I think NVMe on Nitro might be TCP under neath, but that is abstracted from Linux so, it just looks like NVMe/PCI to the kernel (could be wrong though)

@mikal Is there a spec somewhere? The thing that bugs me about EBS nitro is that there is nothing explaining the storage guarantees (like, what I/O size will give me atomic writes).

@timl vic park?

Good weather for a swim!

@timl @mnurkic was a cracking match...

@mnurkic Don’t worry, both the viewers will probably still tune in 🤷‍♂️