Lightnews — Scholar-powered news

Reposted by Martin Escardo

Erin Reed @erininthemorning.com · 2d

1. 4 months ago, The Supreme Court gave families a right to opt out of LGBTQ+ education in schools.

Now, in Montgomery County, Maryland, where the case originated, the results are in.

Only 43 families out of 160,000 students have exercised that new right.

Subscribe to support our journalism.

Only 0.03% Opt Out Of LGBTQ+ Education In Maryland After SCOTUS Gives Them A Right To

After SCOTUS gave families a right to opt out of LGBTQ+ education, Montgomery County, Maryland is reporting only 43 families took them up on it.

www.erininthemorning.com

46 990 3.1K

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 1d

Buy a car 20 years ago, and get notified today by the manufacturer that they have been hacked and that all my details with them are leaked. Renault.

1

Reposted by Martin Escardo

Astronomer Royal for Scotland | Catherine Heymans @astroroyalscot.bsky.social · 4d

Conventional wisdom says motherhood should wait for tenure as before you land a permanent post, #academia is just not that family friendly🙁

@carersinstemm.bsky.social are calling for change and to celebrate their new report, a Saturday🧵on parenting & academia! 1/9 👩‍🔬🧪🔭⚛️

ℹ️: carersinstemm.co.uk

From 2006. A younger and shell-shocked looking Catherine on a balcony holding a very tiny baby with the mountains of Vancouver in the background. The baby is so new, Catherine still has the pregnant bump.

7 69 220

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 6d

I've just attended this workshop in honour of Peter Dybjer retirement:

https://www.chalmers.se/en/current/calendar/cse-workshop-in-honor-of-prof-peter-dybjer/

It was really nice, with lots of research friends attending, and rather well planned by Ana Bove.

Flying back home tomorrow.

Workshop in Honor of Peter Dybjer

www.chalmers.se

1 1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 9d

Fun fact. Two of my undergrad / MSci students this year want to do their final-year projects on category theory.

I never advertise category theory as something I propose (computer science!) students to do.

But I will be happy to have them to contribute category theory to TypeTopology, because […]

Original post on mathstodon.xyz

mathstodon.xyz

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 9d

@erininthemorning.com writes "UK's Labour Party abandoned transgender people."

I agree. And they abandoned everybody else, too. I don't think anybody feels represented by the labour party today, even people who hate all other parties.

1 4

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 11d

I remember a book on topology (published or unpublished? maybe only online?) for which I can't find a reference or a link.

Can you help?

In any case, it is a book that has no proofs.

The idea of the book is to create a sequence of lemmas, each of which is obvious, so that the diligent […]

Original post on mathstodon.xyz

mathstodon.xyz

1 4 1

Reposted by Martin Escardo

Prof. Sam Lawler @sundogplanets.mastodon.social.ap.brid.gy · 14d

It is WILD that we now live in a time where my job as an astrophysics professor has gone from "learn cool things about space" to "try to get someone to hold billionaires accountable for dropping shit on us from orbit"

6 220 80

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 16d

@christianp

I moved here from Twitter (when it was still called that) in October 2022, and I don't regret it in the least!

Twitter was "free", and here I pay a voluntary monthly contribution.

Thanks to both you and @ColinTheMathmo for creating and running mathstodon !

I encourage anyone here […]

Original post on mathstodon.xyz

mathstodon.xyz

1

Reposted by Martin Escardo

Christian Lawson-Perfect @christianp.mathstodon.xyz.ap.brid.gy · 16d

I've updated the accounting page on our wiki with actual numbers about where money is and where it's going: https://wiki.mathstodon.xyz/finance

finance [mathstodon.xyz wiki]

wiki.mathstodon.xyz

1 3 1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 16d

Whenever I have a new PhD student, I try to give them a relatively easy, but sufficiently hard, project that forces them to explore the literature. I am scratching my head regarding my incoming PhD student. And I've asked former PhD students for ideas. 🙂

In any case, it is always nice to have a […]

Original post on mathstodon.xyz

mathstodon.xyz

1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 18d

A lot of what Bill Thurston says here resonates with my personal experience:

https://arxiv.org/abs/math/9404236

I don't understand his mathematical work, and, if he were alive, he probably wouldn't understand mine.

But this is precisely the kind of thing he discusses! Among many other […]

Original post on mathstodon.xyz

mathstodon.xyz

2 1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 21d

Idle thoughts about computer life. So in the last two days, I tried Safari, as opposed to Firefox, because it is more (memory) efficient.

Indeed it is.

But otherwise everything is worse for my particular experience.

And, ignoring the limitations, it feels like a foreign land with everything […]

Original post on mathstodon.xyz

mathstodon.xyz

2 1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 22d

The transparency doesn't annoy me. Maybe because I disabled it immediately after upgrade. 🙂

Reposted by Martin Escardo

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 26d

I enjoyed talking about my expository paper (https://doi.org/10.4230/LIPIcs.TYPES.2024.1) at this wonderful CIRM event this morning.
https://conferences.cirm-math.fr/3377.html

Thanks to Jacopo Emmenegger for the photo!

#typetheory #HomotopyTypeTheory #hott

A photo of me in front of three stacked blackboards mostly covered with diagrams and mathematics.

2 2

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 26d

The software, and the expertise, to do what we want with our equipment is just there.

But companies benefit (or they think they do) by locking down everything to just one operating system, and, sometimes worse, as is the case for Samsung, to their proprietary ecosystem.

I bought an iPad, two […]

Original post on mathstodon.xyz

mathstodon.xyz

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 26d

Then the next problem is dealing with the scarcity of apps that work in both macOS and Android. They do exist. But they are subscription based. The problem, for me, is to make sure that anything I write on my tablet is immediately available in any of my computers without any hassle.

One option […]

Original post on mathstodon.xyz

mathstodon.xyz

1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 26d

Hacking thread.

I have a Samsung tablet with their S-pen, which I got in 2020, replacing one I had got in 2016. (I examined an MSc thesis by a student in Singapore in 2020, and the honorarium was exactly what the table cost.)

I use it often, writing notes by hand as in a blackboard, to […]

Original post on mathstodon.xyz

mathstodon.xyz

1 1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 29d

I wrote "It often happens that (*) can be proved without univalence, and instead assuming propositional and functional extensionality (which are available in 1-toposes (and are consequences of univalence)) *provided* we restrict the parameters of (*) to be sets."

But this leads to a lot of […]

Original post on mathstodon.xyz

mathstodon.xyz

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 29d

I worry about papers which claim to prove things in HoTT./UF, and then use cubical Agda to formalize their theorems.

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · 29d

TypeTopology thing.

(*) Sometimes you can prove that a type, with arbitrary types as parameters, is a proposition using univalence in an unavoidable way.

This is fine if we want to use TypeTopology as a language to prove theorems about arbitrary ∞-toposes.

But sometimes I want to use […]

Original post on mathstodon.xyz

mathstodon.xyz

2

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Sep 5

@highergeometer Depending on how young or old you are in your academic career, you may just comply and become a Springer Slave, or just withdraw your paper.

In my lucky current case, if I saw such a copyright agreement, I would just withdraw the paper, unless they agreed to amend the agreement […]

Original post on mathstodon.xyz

mathstodon.xyz

2

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Sep 5

Assistant/Associate Professor at University of Birmingham UK (apply by 30 September).

The University of Birmingham is recruiting assistant/associate professors in the School of Computer Science.

The Theory of Computation group at Birmingham is world-renowned and we have been actively […]

Original post on mathstodon.xyz

mathstodon.xyz

3

Reposted by Martin Escardo

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · Sep 3

PhD position with Benno van den Berg on the semantics of Homotopy Type Theory (esp. effective Kan fibrations) at the ILLC in Amsterdam!

https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory

Application deadline: 27 September […]

Original post on mathstodon.xyz

mathstodon.xyz

10 1

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Sep 2

@daniel

In some professions, like ours, vacations are fake.

When we come back, we have to do everything we didn't do during the vacation, plus everything that we normally have to do, doubling the work after return.

1