Nathan Sorenson

@takeoutweight
297 Followers
544 Following
1,014 Posts

I like functional programming, collecting arxiv pdfs, trying to grok Topos Theory for years, and turning tedious problems into interesting math problems. I also like meditation and consciousness and Self Growth but am deeply suspicious of others who share this interest, in a Groucho Marxian sense

we need not belabor the details of my psychodrama but fwiw I try to minimize being That Guy across a variety of dimensions

ProunounsHe/Him
Copsdefund them
Capitalismoutlook seems grim

@csgordon After teaching HtDP to freshmen for a few years I am convinced that the problem is poor *text editing* skills specifically, compounded by poor typing skills.

It takes many students considerable time and effort to locate relevant code, move the cursor to a specific location, swap the order of two arguments to a function, etc. (We are using DrRacket but I think using a fancier editor would be even worse.)

Watching them edit code on their laptops probably looks a lot like if I were trying to edit code in the Notes app on my phone, and I wonder if that's because that's where most of their text input is happening nowadays??

GET IN LOSERS WE'RE DOING BOTH YOU JUST HAVE TO BE WILLING TO READ TWO OR MORE PIECES OF WORK
Its such a stupid bad feeling to get an anonymous passive aggressive note. Please be a considerate neighbour first of all how dare you
Good take on Stoicism by @Daojoan https://youtu.be/DrRDSidlbqI I feel like this expresses my ambivalent relationship to a lot if this self-help, Western McBuddhism type stuff. I find it personally helpful for coping but it's pointed in the wrong direction philosophically
The Biggest Problem with Stoicism

YouTube
I'm just saying I'd have more time to spend on Y without spend time swatting away "X is a distraction from Y" complaints
P fucked up they call it a polling booth when I have to push my request into the ballot box
I thought I was mis pressing somehow but it seems the YouTube app is now autoplaying a random short every time I open the app. I see no way to turn this off (I have have classic autoplay turned off). If this is some new YT shorts engagement hack I swear.... Seriously there's nothing that's going to break my YT habit quicker than force feeding me random Shorts

Working with Ayush on this zine has been an absolute pleasure. Ayush did all the illustrations, and we collaborated on the text. We sweated every detail -- I think we went through eleven drafts. Ayush was also new to page layout software, but learned the ins and outs of it just for this project!

Happily, just as we were wrapping this project up, the Cykas paper was accepted for presentation at the PaPoC workshop, and I'll be presenting it there in a couple weeks! https://arxiv.org/abs/2603.14690

“This is the story of one much-loved tree in Vancouver — important to me and, it turns out, a lot of other people. It’s a story about how we lose big trees, not only here but around the world, and what’s lost when we do.”

J.B. MacKinnon writes. 🌳🌸

https://thetyee.ca/Culture/2026/04/09/They-Cut-Down-Grandpapa/?utm_source=mastodon&utm_medium=social&utm_campaign=editorial

They Cut Down ‘Grandpapa’ | The Tyee

The mysterious vanishing of one of Vancouver’s most loved cherries posed a deeper question. What do we owe to our big, old trees?

The Tyee
Why are people born after Gen Z called Gen Alpha and not Gen AA like a spreadsheet column