@rwitte.bsky.social
First xkcd to cause leakage from my eyes!
December 4, 2025 at 11:01 AM
First xkcd to cause leakage from my eyes!
There a lots of people who call themselves software engineers but they are only programmers. An engineer is someone who accepts responsibility if the system they built fails.
November 28, 2025 at 9:29 PM
There a lots of people who call themselves software engineers but they are only programmers. An engineer is someone who accepts responsibility if the system they built fails.
Fact Check: evil=false, cool=independant from zfc, pretty=true
November 15, 2025 at 10:48 AM
Fact Check: evil=false, cool=independant from zfc, pretty=true
Sympathies on the discomfort, but at least it's an opportunity to explain the result again:)
November 11, 2025 at 10:09 AM
Sympathies on the discomfort, but at least it's an opportunity to explain the result again:)
Last night, I watched John Baez' you tube video on negative mass. I now know that the physicists' attempts at a definition of mass, while less unambiguous, are no more lucid.
November 10, 2025 at 2:07 PM
Last night, I watched John Baez' you tube video on negative mass. I now know that the physicists' attempts at a definition of mass, while less unambiguous, are no more lucid.
Slightly amused to be reading a French article about a German mathemetician on the recommendation of an Italian.
November 8, 2025 at 3:54 PM
Slightly amused to be reading a French article about a German mathemetician on the recommendation of an Italian.
TBH the Nobel prize structure is a a terrible fit for the way scientific research is organised: Most of the science papers are written by more than 3 lead authors.
November 7, 2025 at 4:52 PM
TBH the Nobel prize structure is a a terrible fit for the way scientific research is organised: Most of the science papers are written by more than 3 lead authors.
This kind of article is a good part of a conversation. There's a kind of feedback between guidance and practice - if practitioners don't use the advice, DfT cannot gather evidence to refine and strengthen it. Also 'steam gives way to sail' is mabdated in the latest highway code.
November 1, 2025 at 1:49 PM
This kind of article is a good part of a conversation. There's a kind of feedback between guidance and practice - if practitioners don't use the advice, DfT cannot gather evidence to refine and strengthen it. Also 'steam gives way to sail' is mabdated in the latest highway code.
I always found it impossible to be normal about pretty girls until about a week after I met my wife. she wasn't my wife back then ... but becoming normal about other women was a good indication.
October 30, 2025 at 7:09 PM
I always found it impossible to be normal about pretty girls until about a week after I met my wife. she wasn't my wife back then ... but becoming normal about other women was a good indication.
I wish you every success and happiness with this still tentative romance
October 3, 2025 at 3:30 PM
I wish you every success and happiness with this still tentative romance
They don't coincide constructively without any choice. There are models where the catchy reals are a set but the dedekind reals are a proper class. Countable choice makes them the same.
September 12, 2025 at 8:50 AM
They don't coincide constructively without any choice. There are models where the catchy reals are a set but the dedekind reals are a proper class. Countable choice makes them the same.
But some variant of set theory and category theory is also possible. I don't think he can mean set theory vs type theory because they are different languages ... but you never know
September 4, 2025 at 3:42 PM
But some variant of set theory and category theory is also possible. I don't think he can mean set theory vs type theory because they are different languages ... but you never know
I didn't recognise the name but his research interests include statistical mechanics and braided monoidal category theory: so my best guess is classical and constructive mathematics.
September 4, 2025 at 3:40 PM
I didn't recognise the name but his research interests include statistical mechanics and braided monoidal category theory: so my best guess is classical and constructive mathematics.
I want to say 'at least your cut tho' to this pic but I would never have thought to do it if Rochelle hadn't already done so.
August 31, 2025 at 7:28 PM
I want to say 'at least your cut tho' to this pic but I would never have thought to do it if Rochelle hadn't already done so.
Obvious falsehood given the many images you post of your face. PS this is not an invitation to post more pictures of your arse
August 27, 2025 at 3:32 PM
Obvious falsehood given the many images you post of your face. PS this is not an invitation to post more pictures of your arse
So do you get jealous of Alice Boole Stott, with her intuition for sections of polytopes?
August 23, 2025 at 12:08 PM
So do you get jealous of Alice Boole Stott, with her intuition for sections of polytopes?
If you get the chance, visit Glasgow, Scotland, where they serve deep-fried Mars bars as dessert in fish and chip shops. (UK Mars bars are like US Milky Way, not US Mars bars)
August 22, 2025 at 5:26 PM
If you get the chance, visit Glasgow, Scotland, where they serve deep-fried Mars bars as dessert in fish and chip shops. (UK Mars bars are like US Milky Way, not US Mars bars)
Be careful not to exchange the comma and the first full stop in that tweet. (I misread and did a double take 😳)
July 25, 2025 at 3:58 PM
Be careful not to exchange the comma and the first full stop in that tweet. (I misread and did a double take 😳)
Find yourself a job pretty much anywhere in Europe, move ... et voila
July 15, 2025 at 3:11 PM
Find yourself a job pretty much anywhere in Europe, move ... et voila
I am sad to hear you got laid off
July 1, 2025 at 5:48 PM
I am sad to hear you got laid off