Does this have anything to do with the Helix text editor?

Even in MA, it is not heavily enforced, I see people driving with a phone every other day.

This is a extremely confusing graph…

The U.S. only give medicaid to green card holders and refugees: https://www.medicaid.gov/medicaid/enrollment-strategies/downloads/overview-of-eligibility-for-non-citizens-in-medicaid-and-chip.pdf , and green card holder are required to have a permanent job, or married to a green card holder. U.S. Employers are also required to provide healthcare after the ACA, so those with job likely do not need medicaid https://www.nolo.com/legal-encyclopedia/is-my-employer-required-to-provide-health-care.html . The only ones left are refugees and people married to green card holder/citizen, neither are legally deportable.

This graph also reflects an extremely cherry-picked example only focusing on minnesota, somali immigrant, and “with children”?! Are they just focusing on deporting those that are on welfare AND undocumented? That set is likely close to empty, as U.S. do not provide undocumented immigrant any welfare. Also why are they not comparing the walfare number to rural U.S., where citizens are much more likely to depends on welfare. If the immigrant welfare usage is lower than their base, does that mean their base have no right to request deportation of any immigrant? Overall, I am just really confused what this picture is trying to prove.

Do U.S. people really think anyone can just be here and get the same level of welfare as a citizen? U.S. already has a much more difficult immigration procedure than most European countries, and many people with legitimate high-paying and irreplaceable jobs are already afraid to go home because of the stupid visa system – people need to jump through bunch of visa hoops even when they are prefectly legal to be here and pay more taxes than Trump and Musk. Most of my foreign friends haven’t gone home for at least 5 years, many for decades, because they cannot afford to take months to jump through the visa hoops. Even if they do, H1B stamp only lasts one year, meaning they will jump through the hoops again no matter how legal and irreplaceable they are.

Finally, I am interested in how much government subsidy and tax break Musk and Trump received, and how does that compare to the entire population of somali immigrants “with children” in Minnesota.

Good to see there is a U.S. president that is tough on crime, and does not parden sex offenders, insurrectionists, murders, and frauds.

They also moved shitload of industry outside of Beijing around 2008, so the pollution moves to more rural cities.

EV and transport in Beijing is great, impressive, and I enjoy them greatly when I was there, but it is also important to set realistic expectations. Switching to EV and transport improves people’s lives a lot and probably can be a golden bullets in many western cities. But for a city as dense and big as Beijing, there needs to be other sacrifices.

followed by the EU condemnation fap.

I have heard way too many “performance in the ballpark of C”, most of the time it means in some cherry-picked example it is slightly slower than C, and most program is 20-50 times slower.

The language design honestly remind me of the old PHP: uses hashtable and array as primitive data structures, and free memory at the end of a function to achieve memory safety.

It seems quite unbelievable to me that it is gonna have C-like performance, since hashtable is usually quite slow compared to even heap access (direct stack allocation, of course, is the fastest); but I would be happy to be proven wrong.

Not disagreeing with you, but I find it funny that this is the only data structure I have not heard of in this entire thread 🤣

I don’t know if Haskell etc affords you such control

You can have immutable arrary with vectors, but to mutate them you will need to wrap your action in a Monad. It even supports unboxed values.

https://hackage.haskell.org/package/vector

But I agree boxed default actually causes a lot of performance overhead in many high-level languages.

I heard somewhere people just elected a billionaire sex offender (in 2024), I imagine life must be swell over there.

I have a df64 and a 1zpresso J Max, which IIRC is 48mm conical. The product tastes pretty similar in an aeropress, although I would say df64 is slightly better (could be due to many things, like conical v.s. flat, geometry etc.), but not $200 better.

The speed difference, even considering hand grinding is negligible unless you are making coffee for more than 4 people.

In general I find the diminishing return might hit you real hard if you decide to upgrade; but it is a hobby anyway: if it makes you happy then it makes you happy; who am I to judge :)

I feel yields different result than 5 ∪ 7 in the classical set theoretical encoding… I believe 5 ∪ 7 = 7 in the standard encoding of set theory. Because ∪ is the join operation in the natural number lattice (every total order give a lattice structure), yet the lattice structure in ideals of natural number ring is different: the join is LCM and the meet is GCD.

I guess my objection is that the ∪ and ∩ in the set theoretical encoding is rather trivial: the lattice structure in a total order is not terribly informative: join gives the larger element, whereas meet gives the smaller one. Yet the standard encoding of natrual number in category theory (the category generated by one arrow on one object) is slightly more interesting, as composition encodes addition, which is arguably the most interesting opration on natrual numbers.

That being said arguing about encoding of natrual number is not the most informative discussion. but I feel set theory in general is very low level, yet people usually think in more algebraic and high level way, which aligns more closely with category theory.

What a shitty video :)

Counter point, no lawful theory shell let 5 ∪ 7 type check.

If function composition is chaotic, then set intersection is certainly not lawful.

I have never seen the original scene, only the meme. Since the meme refers to the floor, I always thought he is standing on the floor.

Wait, is he standing on a bed the whole time?! I always thought he is standing on the floor?

Oh brightness adjustment is possible with smart dimmer, but you are right, most smart switch cannot change colors.

I would highly recommend a zigbee switch over a zigbee bulb. in that way you can still use the switch instead of locking in in the on position.

Left 3 Dead