Don’t be fooled by Ring’s latest attempt to make mass surveillance and real-time identification the new norm in our neighborhoods. https://www.eff.org/deeplinks/2026/02/no-one-including-our-furry-friends-will-be-safer-rings-surveillance-nightmare-0

macOS 26.3 just dropped and with it, Apple’s iCloud Passwords extension now works with Waterfox!

視程10マイル未満いただきましたー!!

SPECI PHTO 112226Z 25006KT 5SM -RA BR SCT026 BKN035 OVC044 21/19 A3013 RMK AO2 P0008 T02110194
#METAR_PHTO #metarbot

Demo-Ankündigung
#München 28.03.2026
13:15 Uhr Odeonsplatz
#NOkings #NOfascism

Rado Kirov has been one of several people working through the exercises in my Lean formalization of my Analysis I textbook at https://github.com/teorth/analysis . For several months he proceeded by hand, teaching himself Lean; see https://rkirov.github.io/posts/lean3/ and https://rkirov.github.io/posts/lean4/ . But recently, he switched to using Claude Code, significantly accelerating the process, to the point where all the exercises in three section could be formalized in a weekend, with only a few hours of active intervention: https://rkirov.github.io/posts/lean5/ . This is already notable, but I found Rado's description of his precise workflow, and the carefully curated prompt at https://github.com/rkirov/analysis/blob/main/CLAUDE.md he used, to be particularly interesting, with an emphasis not on just solving the exercises, but aligning it to his desired writing style, and identifying "pitfalls" in the formalizing process (which were recorded separately at https://github.com/rkirov/analysis/blob/main/TACTICS.md ). These sorts of experiments suggest that using these automated tools to take over tedious tasks such as formalization may not necessarily reduce our own capability to achieve these tasks; with the proper workflows, they could actually enhance our understanding of the process.

SPECI PHTO 112226Z 25006KT 5SM -RA BR SCT026 BKN035 OVC044 21/19 A3013 RMK AO2 P0008 T02110194
#METAR_PHTO #metarbot

After creating my new #blog using @gohugoio I looked for a way to automate the deployment of the site to my @Podman_io server.

I created a #git action on my @forgejo server and documented it here: https://mbaehler.ch/posts/hugo-gitaction/

#podman #forgejo

​​​​

TIP: You need a sufficiently descriptive and instructive AGENTS/CLAUDE.md file and MCPs/Skills that give it access to the HIG and Documentation.

Linus Torvalds Rejects MMC Changes For Linux 7.0 Cycle: "Complete Garbage"

The Linux MultiMediaCard "MMC" subsystem was set to see some new hardware support, optimized support for secure erase/trim on some eMMCs, and a variety of other improvements. But all of the MMC changes are rejected and will be for the duration of the Linux 7.0 cycle due to an apparent lack of testing and vetting via linux-next that led Linus Torvalds to calling it "complete garbage" and "untested…
https://www.phoronix.com/news/Linux-7.0-No-MMC-Changes

Multi-round Desktop Linux distribution showdown.

This is the final round.

The distros were chosen based on the results of a previous poll.

Please consider boosting to obtain a larger sample.

Final Round: fight!

#poll #linux #distro #debian #nixos

I am so horrified and ashamed of our country.

最近の

@evanEvan Prodromou as much as they want, they're unpaid.

​​
木曜日〜

最近の

당신은 사랑받기 위해 태어난 사람 당신은 받기 위해 태어난 사람 당신은 위해 태어난 사람 당신은 태어난 사람 당신은 난 사람 난 사람 당신은...?

RE: https://bsky.app/profile/did:plc:7fbikvxjgwiomstwwnd2gp42/post/3ma3qz3wcmc2w

한국인들은 모두 치킨 가게를 운영한다고 들었다

이거 요샌 최신화되서 버튜버입니다

RE: https://misskey.io/notes/aim5mje5gwvs05wd

The problem with global warming is that it’s going to melt the microplastics in our bodies. We’re all going to have big plastic feet.

@LoginBonusログインボーナスbot ログボ

I am so horrified and ashamed of our country.

Any advice on building a following on here? #Anarchist #AntiFascist #Help #Artist

Decades ago, we had to manually assign interrupt addresses for external hardware to get internet.

#RetroComputing

Skebリクエストありがとうございます！！
フラワーナイトガールのキツネノボタンちゃんを描かせていただきました🦊☕️

이거 요샌 최신화되서 버튜버입니다

RE: https://misskey.io/notes/aim5mje5gwvs05wd

passed to me from a minnesotan on the ground in minneapolis, boiled down into bullet points

-- people are hiding others in their houses now.

-- ICE is following white people home from the store if they think they might be buying food for someone else.

-- ICE is supposed to be switching to night raids soon to avoid observers.

-- it's generally understood that if you're detained it's a mugging and if you're raided it's an armed robbery because they WILL steal your shit. phones are #1 obviously so they can find more victims, but anything they can steal and sell, they will. pass this on if you have anyone to pass it onto. i have been explicitly given the "PLEASE DO" of sharing on this. social media has slowed down not because it's gotten better but because people have gotten tired or bored and minnesotans are too busy fighting back and trying to survive.

@evanEvan Prodromou Unknowable. Depends entirely on what the specific thing is.

Strider’s portrait from 2020, and close up of his tail which he always wraps around himself and over his front paws. #CatsOfMastodon

RE: https://wandering.shop/@xgranade/116054089782434765

Do you:
- Think TOML is basically the Solution to serialized data?
- Not want to use TOML because you don't like "Tom", and you don't like putting his name all over your filesystem?

This problem is now solved in the pettiest way (and there's nothing wrong with that): MINI or Modern INI, the format which is exactly like TOML in every way except the file extension.

"corrupted artifact" in folklore: cool, daemonic, involves souls in a classic 'falling from grace' story, great and terrible power
"corrupted artifact in tech: just some lousy busted zip file

Minnesota Twin City neighbors are still going through it. That so-called 'draw down' was a ploy to get media to leave and it worked. ICE and Border Patrol are still everywhere and they haven't stopped.

There's a lot going on everywhere but if you can still be a witness and amplification point for Minneapolis/St Paul, that would be great.

#ICEOut
#minneapolis

Safari 26.3 includes welcome improvements for users and developers, here’s what’s new https://9to5mac.com/2026/02/11/safari-26-3-includes-welcome-improvements-for-users-and-developers-heres-whats-new/?utm_source=dlvr.it&utm_medium=mastodon

If you're interested in funding or helping us find funding for a Discord replacement that's federated and end-to-end encrypted, we're interested in implementing that at @spritelyThe Spritely Institute ... we even had been talking about that being our big focus for 2026.

We have the skills and the underlying tech to pull this off. What we need right now is resources. Funding for open source nonprofits like ours really fell apart in 2025. If you think you know how to help, feel free to reach out.

An Adelphi University student in New York successfully sued his school for using Turnitin's faulty AI detection. Could someone with PACER access please download the judgment for me? Orion Newby vs. Adelphi University in New York Federal Court. I'd like to see if it's as groundbreaking as is being reported.

lol

My teenage stepson just said that “people over 40 should not get access to memes”

Troubling

The void is closer than appears

#caturday #caturdayeveryday.

we are one, we are many.