RanaldClouston

Lecturer in Computer Science at Australian National University.

He/him.

Public Key

npub17t8sml8qayh9a7qduh20f6k43kmcqjfx65d9j5jvhrq9s3fz4f5smq0uqj

NIP-05 Address

RanaldClouston@fediscience-org.mostr.pub

Profile Code

nprofile1qqs09ncdlnswjtj7lqx7t485at2cmduqfynd2xje2fxt3szcg53256gjf9hr4

Author Public Key

npub17t8sml8qayh9a7qduh20f6k43kmcqjfx65d9j5jvhrq9s3fz4f5smq0uqj

Show more details

Last Notes

2024-11-18 21:40:47

- reply

@nprofile…kczp Reminds me of Philomena Cunk: "based on the amount of pottery fragments alone, the Roman Empire may be the clumsiest empire history has ever known"

2024-10-16 06:05:02

In 1951 a tiny piece of tumour was taken, without knowledge or consent, from Henrietta Lacks. The extraordinarily malignant cancer killed her, but in the lab the cells, known as HeLa, continued to live and divide, becoming the first ever functionally immortal human cell line. HeLa was used for numerous scientific advances and her cells are traded around the world for serious money; it is estimated they collectively weigh more than 50 million tons... (1/2) @npub1kt3…5004 #Bookstodon #RebeccaSkloot
https://fediscience.org/system/media_attachments/files/113/315/555/495/113/363/original/a7d756023ad5166a.jpg

2024-09-28 03:36:56

Our family's happy place: what $84 gets you at the #LifelineBookfair #Canberra @npub1kt3…5004
https://fediscience.org/system/media_attachments/files/113/213/076/686/099/165/original/a89206818b34300f.jpg

2024-09-26 22:30:53

Attn #Canberra : the #LifelineBookfair at EPIC starts today. I'm looking forward to going to get my haul of 2nd hand books and DVDs tomorrow! https://www.lifelinecanberra.org.au/books/bookfair/

2024-08-06 10:35:44

- reply

@npub1q0f…rdcz did you see Okja? That's a pretty good pig / revolution film

2024-06-29 23:34:19

- reply

@npub1knz…c73p "it cooled down enough for antimatter to go away". Could you expand on this? Where did it go?

2024-06-23 10:42:07

At #Canberra 's iconic Albert Hall today for my son's #speedCubing competition https://live.worldcubeassociation.org/competitions/5450/competitors/540314 #cubing #RubiksCube
https://fediscience.org/system/media_attachments/files/112/665/496/645/195/602/original/d7c04daa65e00019.jpeg

2024-06-16 08:12:57

- reply

@npub1q0f…rdcz I had one recently also (not Australian, so can't vote, so sent them politely on their way rather than waste their time).

2024-05-07 09:33:25

- reply

@npub1q0f…rdcz my 11yo has a page now: https://www.worldcubeassociation.org/persons/2024CLOU02 . An impressive start for him I think!

2024-05-04 23:20:33

New subculture unlocked: #cubing #speedCubing competition in #Canberra (with my son; I haven't learned to solve them, let alone in the handful of seconds he takes). As we wait for it to begin there's a surprisingly soothing soft rattle across the room... #RubiksCube
https://fediscience.org/system/media_attachments/files/112/385/360/338/846/728/original/27010f5aee873629.jpg

2024-04-05 09:15:33

- reply

@npub1q0f…rdcz possibly the greatest action movie? Every plot beat, of which there are many, is delivered through violent action

2024-03-22 05:49:42

I've had a lot of fun this week combing through some old intuitionistic #ModalLogic papers for my #blog . Does anyone know anything, other than what is in her papers, about the career of the logician Gisèle Fischer Servi? https://blogs.fediscience.org/the-updated-scholar/2024/03/22/discussing-on-modal-logic-with-an-intuitionistic-base/ #logic #WomenInLogic
https://fediscience.org/system/media_attachments/files/112/137/770/291/864/779/original/68df7f131abd442c.png

2024-02-10 07:05:32

Am now the only member of the household not to have covid, which feels ominous...

2024-01-27 05:12:18

- reply

@npub1q0f…rdcz it's a good year for 1997: Kylie's first song since then, Blink 182 had the first song on the list then; and Aqua's Barbie Girl, covered this year, came out then. #Hottest100

2024-01-27 04:13:12

- reply

@npub1q0f…rdcz a couple of metal-adjacent songs coming out now?

2024-01-04 05:51:12

It's time in 2024 to give my #blog another go, as incentive to carefully read both new literature and classic papers in my area; I do short summaries of papers that are cited by multiple papers in my #GoogleScholar top recommendations. This week I look at Martin--Löf's 1980 lectures on 'Intuitionistic Type Theory' https://updatedscholar.blogspot.com/2024/01/discussing-intuitionistic-type-theory.html #typeTheory

2023-12-24 05:48:31

#FinishedReading comedian #FernBrady 's autobiography. Don't be fooled by her day job and the silly Frankie Boyle blurb on the cover; although there's a lot of wit, this is a traumatic story about being an undiagnosed autistic girl and woman in a society that is often hostile to both autism and women. Not a light read but eye opening for an allistic dad of (thankfully, diagnosed) autistic kids, and definitely recommended. #Bookstodon @npub1kt3…5004 #Autism
https://fediscience.org/system/media_attachments/files/111/633/813/666/760/312/original/c9b38adc7f63169b.jpg

2023-12-08 07:12:49

I'm done with my lectures in the #ANU #logic summer school; great group of students this year! My slides on 'Propositions and Types, Proofs and Programs' are up at https://comp.anu.edu.au/lss/lectures/2023/ . There's still a week to go of more advanced lectures, so look for more slides to appear at that page if you're interested in the week 2 topics

2023-12-03 10:20:20

The latest edition of the iconic #ANU #Logic #SummerSchool starts tomorrow! I'll be reprising last year's topic of 'Propositions and Types, Proofs and Programs'. Other lecturers include @npub1kl0…r8af and @npub1fux…etqh https://comp.anu.edu.au/lss/

2023-09-21 05:04:50

- reply

@npub15nc…zzw6 @npub1yyx…qa5g Of course, if you play as the top hat, your parents will buy you a couple of properties. Remember to explain to other players who go bankrupt that they should have worked harder.

2023-09-16 23:35:16

- reply

@npub16nf…q6as some computer science conferences have a separate artefact evaluation committee to handle exactly this sort of job.

2023-07-03 22:52:13

#FinishedReading #SamanthaShannon 's magisterial prequel to Priory of the Orange Tree. It does retread a fair amount of ground from the previous book, but the writing and characters are so vivid I didn't much mind. #Bookstodon #Fantasy @npub1kt3…5004
https://fediscience.org/system/media_attachments/files/110/652/584/635/311/129/original/b9b4fa91eea013b7.jpg

2023-06-14 04:30:10

#FinishedReading it's been more than a decade between A Visit From the Goon Squad and its sequel, so my memory is a bit vague on the characters that connect them, but this set of interlinked short stories, told in a variety of voices and styles, stands up well on its own. #Bookstodon #JenniferEgan
https://fediscience.org/system/media_attachments/files/110/540/662/732/489/439/original/1f00146cd762bc06.jpg