Advertisement · 728 × 90

Posts by Aaron Anderson

France Launches Government Linux Desktop Plan as Windows Exit Begins France is transitioning government desktops to Linux, with each ministry required to formalize its implementation plan by autumn 2026.

Allons, enfants de la Patrie,
Le jour du bureau Linux est arrivé

linuxiac.com/france-launc...

1 week ago 1 1 0 0

Most of the difficulties my calculus students have aren't with calculus per se, but with the fact that calculus sets up nontrivial problems with algebra (or exponentials, logs, trig) that they still struggled with.

2 weeks ago 4 0 0 0

I'm not totally sure about that - I think I've encountered as many combustion motorcycles as e-motos (or other too-powerful e-bikes) on the Schuylkill River Trail here in Philadelphia.

That said, the electric ones are more likely to be out close to peak hours, there is *some* difference.

1 month ago 1 0 0 0
Post image

The censored history displays at Independence Mall are being restored.

2 months ago 4 0 0 0
Preview
Is there a constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$? Assuming the Axiom of Choice, every vector space has a basis, though it can be troublesome to show one explicitly. Is there any constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$, the ...

In one of the more reasonable choiceless set theories (ZF + AD), it doesn't: math.stackexchange.com/questions/12...

2 months ago 1 0 1 0

Grand Central Market seems similarly obligatory in LA - one of the few ways in which downtown LA actually functions correctly

5 months ago 1 0 0 0
Preview
Remembering The Grateful Dead's Sunshine Daydream Concert - Still Grateful 50 Years Later - Nancy's Probiotic Foods

Hence the Creamery hosting the concert that became one of my favorite live albums nancysyogurt.com/blog/remembe...

5 months ago 1 0 0 0
Boolean prime ideal theorem - Wikipedia

Logic has prime ideals too en.wikipedia.org/wiki/Boolean...

6 months ago 2 0 1 0
Advertisement
Divisible group - Wikipedia

If you add the divisibility axioms, they become Q-vector spaces too.

(You also need torsion-free to make it unique.)

en.wikipedia.org/wiki/Divisib...

6 months ago 1 0 1 0

Not to mention that Vienna's the hub for the NightJets, so you can get there from all over by night train (but book early).

6 months ago 2 0 0 0

The architecture in Budapest is exceptional.

The place I've been to most in that region is Vienna, which absolutely hits the "urbanist-oriented" definition - lovely by walking, biking, or tram.

6 months ago 3 0 1 0
Map of the Universe Map of dividing lines in classification theory

One of the definitions is about not being able to put a "definable" linear order on an infinite set, but there's a nice chart with more examples here:
forkinganddividing.com#_00_2

6 months ago 1 1 1 0
Stable theory - Wikipedia

Sounds like you prefer your theories stable.

en.wikipedia.org/wiki/Stable_...

6 months ago 1 0 1 0

Yeah I think this is less our invention and as per usual, more us drowning out the sound of older stories (The Smith and the Devil, Stingy Jack) with a bit less subtlety and electric amplification.

6 months ago 2 0 0 0

TRENTON MAKES THE WORLD TAKES

6 months ago 2 0 0 0

I thought the instructions said @donoteat.bsky.social

7 months ago 0 0 0 0

In this analogy, compact metric spaces act basically like finite sets. If you look at isomorphism classes of finite sets, that's just ℕ, which is a countable set. So it makes sense that you'd have a metric space of all compact (think finite) metric spaces, and it'll be separable (think countable).

7 months ago 2 0 0 0
Advertisement

Makes sense. In continuous logic, we focus a lot on metric density: the smallest cardinality of a dense set in a given metric space. It ends up being a better notion of "cardinality" of a metric space.

7 months ago 2 0 1 0

IMO it's too sweet, but the grapefruit flavor is perfect.

7 months ago 2 0 1 0

The point in the contexts I'm talking about is to make the complex numbers "more real", in order to use the linear ordering on the reals to build inequalities, which can express things that systems of equations over an algebraically closed field cannot.

7 months ago 3 0 0 0
Szemerédi–Trotter theorem - Wikipedia

(The starting point to get a flavor for this kind of problem is the Szemerédi-Trotter theorem) en.wikipedia.org/wiki/Szemer%...

7 months ago 1 0 0 0

Unless you want to know something combinatorial, about, say, incidences, in which case you often have to embed C in R^2!

7 months ago 2 0 3 0

Do you mind sharing the flyer file to print more?

8 months ago 2 0 1 0
Preview
Amtrak’s Keystone line, connecting NYC, Philly, and Harrisburg, may get axed under SEPTA cuts U.S. Rep. Brendan Boyle said Amtrak's Keystone Service line is at risk because the railroad could lose $71.1 million in annual payments from SEPTA.

www.inquirer.com/politics/sep...

8 months ago 0 0 1 0

Or downgrade "Starship" back to "Airplane", while upgrading the music.

8 months ago 1 0 0 0

My data set is small and anecdotal, but REI seems to have closed a lot of urban locations in particular.

9 months ago 1 0 0 0
Advertisement

This speech and his farewell address give the impression of a very different presidency than actually elapsed between them.

9 months ago 1 0 0 0
The Chance for Peace - Wikisource, the free online library

It’s in the Chance for Peace speech. en.wikisource.org/wiki/The_Cha...

9 months ago 1 0 1 0

Of course, in model theory, we apply it to spaces that are not necessarily Polish (under the guise of Morley rank) and thus sometimes get "lolno" as a dimension out of pretty reasonable mathematical objects anyway.

10 months ago 1 0 1 0

Precisely. Hence countable for all Polish spaces, which is a nice kind of dimension to have.

10 months ago 1 0 2 0