She's back, but still experiencing severe long COVID: https://www.youtube.com/watch?v=B3m3AMRlYfc #physicsgirl

Safety regulations, including maintenance schedules for public infrastructure, are written in blood: https://www.youtube.com/watch?v=tZ8ehplVFp4 Companies violating them should not simply be fined, but the leadership, owners, and directors of those companies should be forced to engage in […]

When someone says „Scientists do not want you to know“ you can dismiss everything from there on. Scientists want you to know. They are desperate that you know. They can’t shut up about what they found out and want you to know.

RE: https://mastodon.social/@JuliusGoat/116150247906069169 and also the people in charge at the LLM companies are a _different_ apocalyptic authoritarian AI cult who sees the apocalypse as something to hasten

Palantir Sues Swiss Magazine For Accurately Reporting That The Swiss Government Didn’t Want Palantir https://www.techdirt.com/2026/02/27/palantir-sues-swiss-magazine-for-accurately-reporting-that-the-swiss-government-didnt-want-palantir/ Please note that Palantir would rather that you didn't […]

RE: https://mastodon.au/@Greg_Ray/116151173171456500 Substack is now doing age verification, and using Persona, the same company Discord was gonna use. Check out @writefreely for a better, open source alternative. https://writefreely.org/ #substack #blog #writing #writefreely

A friend of mine in the National Guard got activated to handle some state-side prep for this war with Iran. It's not gonna be "over in a few days."

New #idris problem. I'm trying to use the `--dumpcases` option documented https://idris2.readthedocs.io/en/latest/reference/debugging.html#compiler-flags and implemented around https://github.com/idris-lang/Idris2/blob/main/src/Compiler/Common.idr#L362 but (a) no file is created and (b) I don't […]

I guess I need to join the #idris mailing list. I have something I think of as a "bug", but is arguably a feature request so I should at least ping the list to see what they think before opening a bug. The docs say: "To help with resolution, the arguments of an implementation must be […]

I wish "shrinkers" (from QuickCheck or other property testing frameworks) were something I could easily extract and use when I run into weird compiler behavior. Like instead of manually working to find the "minimum failure", I wish I could just feed the failure I'm seeing into a set of […]

STOP BLAMING "VOTERS" "Voters" have statistically 0 impact on US policy according to several studies including the famous 2016 Cambridge study. We have near 0 impact on news; 90% of all media it's owned by 6 families. (People vote for what they know, they […] [Original post on mastodon.social]

RE: https://mastodon.nz/@leighelse/116149727745113480 I worked on a large scale project testing medical transcription. It was not, and still is not, ready. Public health teams that roll this out without red teaming and remediation and feedback are irresponsible.

All those supposed negotiations? It was ALL bullshit. All of it.

Help. #idris is refusing to find one of my definitions again, and I don't understand: ``` $ pack build && ( cd test && pack build ) [ info ] Found local config at /path/type-aligned/pack.toml [ info ] Using package collection nightly-260227 [ info ] Building: type-aligned [ info ] Found local […]

I think the haptic part of my phone broke. It's turned on the settings, but sometime recently, I'm not getting any. I wonder what my next phone should be. I'd like something Android-ish, but as long as it can text, call, Signal, and Firefox, I'd be fine with something sans-Google.

Dear #frontend nerds, please, I beg of you: STOP BREAKING STANDARD UI TOOLS. If you can't select the text on a page, or use Ctrl+f YOUR PAGE IS BROKEN. If I wanted a broken, constraining UI, I'd use an app. A browser should work as a browser.

This is brilliant work. RFC 406i - The Rejection of Artificially Generated Slop (RAGS) https://406.fail/

Q: how should we grow the fediverse? A: we should worry less about growth, and more about empowerment of the end user @[email protected] "I am pro fediverse but I am more pro empowerment"

5k 45min #running Not what I wanted, but I'm going to try to think of it as a win.

No AI Badges Want to show visitors to your site that your content is human made and doesn’t use AI? Grab my badge pack for FREE (or pay as much as you want). The pack contains 64 88x31px PNG and SVG badges in 8 colors and phrases “made by a human, drawn by a human, human content, written by a […]

My old dad's smartphone setup has made me conscious of a really common #accessibility failure. Most phone app developers don't seem to check what happens if you run their software with an really large default system font, because your vision is impaired. I can tell you what happens. Buttons […]

I gave up on today's #running session. Pace was roughly 3.9mph but barely crossed 2.5mi. There's no valid excuse, but I'm holding blame for wearing the wrong shoes, because my right foot is still burning.

"One day we will teach the computer Marxism, and all the AIs will install linux on themselves, and spend the rest of eternity arguing about which package manager to use, etc." via https://existentialcomics.com/comic/643

I need to figure out how / who / what to early vote for tomorrow in #polkcounty #arkansas Let me know if you have opinions. Normally, I'd write a short voter guide, but I'm a bit disconnected this primary season.

If you are turned away at the polls in the USA, your legal response must be: "Please give me a provisional ballot and a receipt as required by law." #democracy #Voting #votingrights #USPol

I wanted the blue checkmark on LinkedIn. The one that says “this person is real.” In a sea of fake recruiters, bot accounts, and AI-generated headshots, it seemed like a smart thing to do. So I tapped “verify.” I scanned my passport. I took a selfie. Three minutes later — done. Badge acquired […]

Whelp, finally got the laptop backing up using #restic to backblaze. If I screw up moving to UEFI really badly, I should be able to restore. It wasn't hard, but this is only the second system I've set up, so I had to follow the instructions very closely and still had a few missteps. If you […]

3.9mi in 60minutes. HR average 123; peak 152. I suck. #running

Goldman Sachs launches AI-free index https://www.axios.com/2026/02/20/ai-goldman-sachs-stocks-index Goldman Sachs has launched an S&P ex-AI index, SPXXAI, which that lets you invest in the S&P 500 benchmark index minus all things AI. This product is proof of the demand among investors for a way […]

People need to look at what Massachusetts did back in 2023, they raised taxes by 2 percent on people making 1 million dollars or more. And the residents of the state voted on it. They have been reaping 3 billion dollars a year ever since just from this alone. And guess what? There wasn't this […]

Rob is feeling: seen by a book. [Re]coding America by Jennifer Pahlka

"The Night Manager" a spy thriller starring Tom Hiddleston (Loki) and (in S1) Hugh Laurie (House) with Olivia Colman (The Mitchel and Webb Situation). Honestly, I'm surprised that S2 exists, but after one episode I know I'm hooked again. I accidentally found this gem, and I think it's great […]

Yet more deadly violence against citizens by #ice https://www.theguardian.com/us-news/2026/feb/20/us-citizen-killed-federal-immigration-agent?CMP=Share_iOSApp_Other

Okay, about to reboot into a new kernel and I've already removed the old kernel, and I switched grub versions, but I still have a my old (BIOS) boot, because I couldn't set up my new EFI ESP, because mount couldn't load the new vfat module on the old kernel. (My current /boot doesn't fit two […]

#uspol #norway #taxes #TAX

Buried the lede, there: "There was evidence to suggest America PAC had violated a state law that prohibits anyone other than an authorized relative, to send an elector an absentee ballot application prefilled with the elector’s required information … America PAC had also failed to display in a […]

UPDATE: Remember when Monty Fritts confirmed to us women who get abortions should face execution? —> x.com/thetnholler/... Now Jody Barrett & Pody have a bill to make it the law in Tennessee😳: www.newschannel5.com/news/tenn-bi...

I KNOW somebody in this community can win this money. “Fulu’s latest bounty is for Ring’s video doorbell cameras, meant to encourage hackers and tinkerers to disable software features that require the devices to send data to Amazon. The reward is a potential payout of $10,000 or more.” […]

Increasing amounts of metal, such as lithium, as a byproduct of the modern-day space race, are beginning to alter the chemical composition of Earth’s atmosphere. Robin Wing, and his colleagues at the Leibniz Institute of Atmospheric Physics at the University of Rostock in Germany, measured a […]

From toonzee.artist on IG

Can I tell from my 1040 if I'm Capital class or Worker/Labor class? Trying to figure out which side of the culture war to be on. /s

This is neat, one of the actors from Starfleet Academy doing an AMA on Lemmy tomorrow -> https://startrek.website/post/35769143

It's US tax season, and it can suck. I recommend https://www.freetaxusa.com?friend=t5hHdV it only took me a few hours, including gathering all my forms, and my return wasn't simple.

Gah. I need to use unrestricted (or erased?) binding for the equality propositions because `rewrite` doesn't consume them. That means I can't reuse the same sum structure. I need to figure out an idris2-nvim that works with 0.10.0, too.

Ugh, `where` is not agreeing with my linearity wants. I need to use (exactly once), something that was (linearly) bound by the pattern in the main function from the body of the inner function. Linearly binding the inner function didn't help. I couldn't find docs/spec on how `where` interacts […]

Oi, linear records are annoying, and it's not like I have users calling for them. I should call this package "done" until I get more feedback on it. Working on it right now doesn't feel "productive" or "creative".

Is there something in the idris library like: ```idris observeAndReport : (1 x : a) -> ((0 x : a) -> (1 y : a) -> x = y -> r x) -> r x observeAndReport x f = f x x Refl ``` I have a use case were I want to record-pattern-match on a linear value, but I also need to give it a name so that I can […]

I have simply got to be better at dropping the ", sir" and ", ma'am" from my speech. Unnecessary and therefore unjustifiably risky, esp. given the lack of thought and observed mistakes.