It seems to be "Albura" which I found here: https://fontesk.com/albura-typeface/

Handy is awesome! and easy to fork. I highly recommend building it from source and submitting PRs if there are any features you want. The author is highly responsive and open to vibe-coded PRs as long as you do a good job. (Obviously you should read the code and stand by it before you submit a PR, but I just mean he doesn't flatly reject all AI code like some other projects do.) I submitted a PR recently to add an onboarding flow to Macs that just got merged, so now I'm hooked

> It seems more reasonable to me to assume that meeting basic shelter needs includes having a private room to oneself

Why would that be reasonable? College students and young adults usually have roommates. I don't feel it's inhumane.

> The only reason to argue otherwise is to try to drive down the wage further

Another reason to argue otherwise is because you care about the truth. Even if you and I agree on the ends, if you use the means of exaggerating or stretching the truth to get there, you are never on my side. Saying that you need to not have roommates to live is an exaggeration.

> Renting a private room was possible on nearly any wage 50 years ago

You will never find any data to support that because it isn't true. 50 years ago, flophouses were common. You would share a bedroom room with others, with shared kitchen and bathroom between multiple bedrooms. In college, I lived in a housing-coop network where we slept two to a room. 50 years ago, they slept 4 or 6 to a room in my exact house.

> and the only reason it seems out of reach for many now is because purchasing power has been slowly stagnating for decades, while housing costs have soared in recent times

This is true. But there is a very natural reason why. Look at nearly any US city, and see how many more jobs there are in that city than there were 50 years ago. Then look at how many more homes there are in that city than there were 50 years ago. You will see that the number of new jobs far exceeds the number of new homes. The result is that wealthier people bid up the housing, while poor people are forced to live outside the city and commute. So why have no new houses been built? It can't be helped by the fact that building new homes is illegal. (e.g. buildings with 3 or more apartments are illegal in 70% of san francisco.)

Please direct your anger in the right direction! It's not generally the case that billionaires own thousands of homes, hoarding them while the poor live on the street. It's more often the case that the population has increased while the number of homes in places people want to live has stayed the same. The *only* solution is to increase the number of homes in places people want to live. Raising the minimum wage, taxing the rich, fighting corporations, adding rent control laws, none of that will help solve the root of the problem, the growth rate of homes in cities is far slower than the rate of people wanting to live there!

I didn't mean to insult the original poster. But I have seen people who think that waymos are being driven remotely by filipinos

Whenever something like this comes out, it's a good moment to find people with no critical thinking skills who can safely be ignored. Driving a waymo like an RC car from the philippines? you can barely talk over zoom with someone in the philippines without bitrate and lag issues.

The idea that we would A/B test handwritten vs typed to see what would improve retention is focusing on the wrong thing. It's like A/B testing mayo or no mayo on your big mac to see which version is a healthier meal. No part of the school system is optimized for retention. It's common for students to take a biology class in 9th grade and then never study biology again for the rest of their lives. Everyone knows they won't remember any biology by the time they graduate, and no one cares.

We know what increases retention, it's active recall and (spaced) repetition. These are basic principles of cognitive science have been empirically proven many times. Please try to implement that before demanding that teachers do A/B tests over what font to write the homework assignments in.

I disagree. I've been using Math Academy for learning math. It's far superior to any way that I've learned in class.

Decidability isn't even that useful. If typechecking takes a million years, that's also bad. What you want is guarantees that correct programs typecheck quickly. Without this, you end up in swift land, where you can write correct code that can't be typechecked quickly and the compiler has to choose between being slow or rejecting your code