The real ∞-categories are the friends we made along the way.

Depends on if you want the reals for their topology or for their algebra/metric. So the unit interval in homotopy theory should be constructed like the Dedekind reals, but the complex numbers should be constructed as an (up to nonunique iso) algebraic closure of the Cauchy reals.

That so many believe that “Indian culture” and “Pakistani culture” do exist or that they—to the extent to which they do exist as amalgamations of the respective cultures endemic to each—are separable is a depressing indicator of the success of the psychological Partition.

I’ll never understand the LeetCode obsession with turning everything into a hashset/hashmap irrespective of the number of possible keys!. My implementation of the benchmark scheme runs in about 2.5sec on my machine using the below solution (cf. the repo below).

(The vast majority of the world’s mathematicians would not be admitted.).

If he means to compute a diagonalization by hand, then he should realize that one could easily pack into a typical stadium the entire fraction of the world’s population able to diagonalize (exactly or approximately) even a generic 3 × 3 integral/rational matrix over C by hand.

The American academy would be a pathetic shadow of what it currently is without foreign-born academics (including grad students), but this is a silly and telling argument—what does it even mean to “diagonalize a matrix”?

(I agree with ending residential-only zoning and favoring trains over roads in planning though.).

Sorry, but Americans aren’t interested in listening to “The Bharat Mosaic” tell them what frogs shouldn’t be protected in their own country when half the waterways in Bharat are not fit for even rats to swim in.

(This is a bit of a stolen valor post because I’ve never gone deep enough to be seriously worried for my safety.).

The appealing part is obviously that it’s a good way to find snakes in the summer

Based.

Money is great and jobs are necessary, but what’s gonna be left by which to remember you after you die? The memories of the moments you shared with your boss/coworkers/employees?.

*This* is the kind of person that striver (derogatory) is supposed to describe. Not only is 22 not too early to have passion projects, relationships, hobbies, interests, etc. that one values over some generic AI slop wrapper job, if anything it’s concerningly late to not.

(That C implementation is just a completely different algorithm, which is similarly trivial to implement in Haskell.).

I know that this account just posts bait/engagement slop, but I can’t help but point out that the naïve one-line Haskell implementation ultimately generates the exact same code as the Rust and C++ ones.

With some annotations; with any luck this is where the story ends

Trois heures du mat', on tourne en ville.Ils sont passés, fils de pute, tourne vite.J'passe pas la nuit coffré en boîte de nuit.J'rentabilise paire de gants, tournevis.[…].On ramasse la somme, on fait tout normal (on fait tout normal).Et j'appelle personne si ça tourne mal

I miss a week ago when I had never had a reason to turn on -XUnboxedTuples 🫠.

Currently watching what I naïvely thought would be a simple helper function evolve into an eldritch horror as I rework it to simultaneously be fold/build fusible and sufficiently lazy that it not blow up the stack when the result is demanded the wrong way.