Martin Escardo
@martinescardo.mathstodon.xyz.ap.brid.gy
Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and […]
🌉 bridged from ⁂ https://mathstodon.xyz/@MartinEscardo, follow @ap.brid.gy to interact
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and […]
🌉 bridged from ⁂ https://mathstodon.xyz/@MartinEscardo, follow @ap.brid.gy to interact
Online sellers: Do you think it is reasonable to deliver such a small thing in such a large box?
An almost invisible thing, 2.5cm, in a box 23x20x18 cm^3.
This is better seen with your eyes, in the attached picture.
An almost invisible thing, 2.5cm, in a box 23x20x18 cm^3.
This is better seen with your eyes, in the attached picture.
October 8, 2025 at 5:43 PM
Online sellers: Do you think it is reasonable to deliver such a small thing in such a large box?
An almost invisible thing, 2.5cm, in a box 23x20x18 cm^3.
This is better seen with your eyes, in the attached picture.
An almost invisible thing, 2.5cm, in a box 23x20x18 cm^3.
This is better seen with your eyes, in the attached picture.
I've just washed my wristwatch for 38min in my trousers' pocket and the then spinned it at 800rpm. But it came out of the washing machine still working and showing the right time, full of water. I am now drying it in the sun. Will it survive this second endurance test?
August 9, 2025 at 1:51 PM
I've just washed my wristwatch for 38min in my trousers' pocket and the then spinned it at 800rpm. But it came out of the washing machine still working and showing the right time, full of water. I am now drying it in the sun. Will it survive this second endurance test?
Seems to be ready now!
February 14, 2025 at 8:03 PM
Seems to be ready now!
Haddock and prawn pie.
With "sustainable Haddock from the northeast Atlantic" and Argentinian prawns.
Will be ready in 35-40minutes.
With "sustainable Haddock from the northeast Atlantic" and Argentinian prawns.
Will be ready in 35-40minutes.
February 14, 2025 at 7:25 PM
Haddock and prawn pie.
With "sustainable Haddock from the northeast Atlantic" and Argentinian prawns.
Will be ready in 35-40minutes.
With "sustainable Haddock from the northeast Atlantic" and Argentinian prawns.
Will be ready in 35-40minutes.
Success!
January 26, 2025 at 7:50 PM
Success!
My son wanted us to make our own pasta today:
January 26, 2025 at 7:04 PM
My son wanted us to make our own pasta today:
Here is a homework question for my son, where the answer is required to be a triple of *numbers*, rather than mathematical expressions (you can only enter decimal digits in the answer).
Am I missing something? In any case, the question is not properly […]
[Original post on mathstodon.xyz]
Am I missing something? In any case, the question is not properly […]
[Original post on mathstodon.xyz]
December 3, 2024 at 9:55 PM
Here is a homework question for my son, where the answer is required to be a triple of *numbers*, rather than mathematical expressions (you can only enter decimal digits in the answer).
Am I missing something? In any case, the question is not properly […]
[Original post on mathstodon.xyz]
Am I missing something? In any case, the question is not properly […]
[Original post on mathstodon.xyz]