9 May 2026

The Internet used to be fun, but it became a means for organizations to spy on you. The same can be said about personal technology. It used to be fun to have advanced tech like mobile phones. But a lot of this technology and personal wearables are also tracking devices. Be warned.

Canada's C-22 Bill demands that Apple incorporate an encryption backdoor, so the Canadian government can spy of users of that technology. Apple is fighting back. Tim Cook resisted the UK's requests for something similar. Will their new CEO continue to resist?

––– 良くない–––

New study shows physicians are changing their reasons for leaving clinical practice early. 64% of the surveyed physicians were women, and the most prevalent reasons were that practicing medicine was a "hassle" and too stressful, or that they had to leave to take care of young children, not wanting to be on call, etc. The article is here. Men stuck with a medical career longer than women, and the reasons why men left were different. For men it was retirement, pursuing a non-medical career, "don't need the income" (interesting), or "no longer interested" (also interesting). The desire for gender equity in medicine and restriction of physician compensation may come back to bite the profession. 
––– 良くない–––

And look at the occupations with the highest divorce rates. At the top, "healthcare diagnosis or treating professions". Sounds like nurses and doctors. 
The Washington Post has an article about Why young and old men are leaving the labor force at record rates. It's alarming.  
For men younger than 25, school is the greatest reason for not working. But for men ≥ 25, it's because of being ill or disabled. WTF?
––– 良くない–––

Here's a disheartening article written by a 4th year medical student. Holy crap, who would want to train to be a physician in this kind of environment. So toxic.

––– 良くない–––

Mizar: the first usable proof assistant for mathematics. All you read about these days is LEAN, as a proof assistant, but there was something that was available since the 1970s, called MIZAR. It was a Polish system, and so we didn't hear about it. And this was before the Internet and AI.

––– 凄い –––

Report: Apple has reached a preliminary deal with Intel to make chips in the U.S. Cool. And there is an ASML office in Hillsboro. Probably not a coincidence.

––– 凄い –––

If you like the ThinkPad's Trackpoint, you'll probably love Ploopy Bean.

––– 凄い –––

Anthropic launched Claude FM, a YouTube channel that pumps out AI music to play in the background while you code.  I'm still partial to musicForProgramming().

––– 凄い –––