Martin Escardo
@MartinEscardo@mathstodon.xyz
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
Martin Escardo
@MartinEscardo@mathstodon.xyz
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
@MartinEscardo@mathstodon.xyz
·
Apr 08, 2026
I wrote "It is a myth that macOS is more robust than Linux. It isn't."
I will give you just one example that happened this week.
I had a printer connected to my Mac Mini. My wife, my son, and myself wanted to print remotely from our machines. No amount of web search or chatSomething solved the problem. We just couldn't do it.
Simple solution. Instead connect the printer to the old 2012 Linux machine I mentioned above. Then, wonders of wonders, open the print manager, everything gets installed after I approve, set simple preferences and permissions, and now the three of us can use the printer remotely, from Linux, from macOS, and from Windows.
@joey @pounce
View full thread on mathstodon.xyz
0
0
0
Loading comments...