Jason boosted

Since Mastodon saw its initial popularity circa 2017, I've noticed that most users and those reporting on it either don't think about the Fediverse as anything more than Mastodon, or treat its history as beginning with Eugen Rochko and the beginning of Mastodon. In fact, Mastodon is the latest in a long line of federated social networks going at least back to Identi.ca, and though I wasn't around for all of it, I find this history pretty interesting. (Thread; boosts welcome!)

Jason boosted

Out of nowhere, my nephew just asked, “Do you think Pavlov thought about feeding his dog every time he heard a bell ring?” and now I’m going to be haunted by this question.

Jason boosted

The use of Software Transactional Memory makes concurrent programming almost trivial. Here's an example of a FIFO queue that can be understood even if you don't know Haskell. I'll narrate the code...

Jason boosted

Joyal invented the concept of a 'species' to formalize the idea of a structure that we can put on finite sets. A lot of combinatorics is about species! There's a species of partitions, a species of simple graphs, a species of 2-colorings, etc.:

en.wikipedia.org/wiki/Combinat

I'd like to talk about two species today: linear orderings and permutations. There are n! linear orderings of an n-element set, and also n! permutations. But they are not isomorphic as species!

(1/n)

Jason boosted

hot take on memory models 

I feel like the future of memory models is to achieve "data-race-free" semantics -- not in the sense of assigning good semantics to programs without data races, but rather to remove the notion of a "data race" entirely...

Jason boosted

The study of synthetic category theory boils down to seeing how messed up you can make your contexts

Jason boosted

Today is #TransDayofRemembrance when we honor and remember trans lives taken by violence. How horrifying that a deadly attack upon the LGBTQ+ community in Colorado Springs should occur right before this solemn day.
Hate isn’t born in us. It is taught. It must end.
This starts with our political leaders, who must cease their cynical attacks against our community before another attack occurs.
Call out the hate. Remind them of its consequences. Hold them to account.

Jason boosted

I've been using #AnnotatedEquations in my recent papers. I think it really adds to the readability and understanding of the math.

Here are some examples. It uses #tikz in #latex.

Let me know if you like it. Happy for any feedback.

Jason boosted

lisp machines are the only good car-centric infrastructure

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.