Tootfinder

I’m not on Instagram, but…
Quickly! Who knows Slavoj Žižek’s Insta handle? 😉 https://mastodon.social/@taylorlorenz/116185411840320365

Huh. This is interesting (shows where the IRD (our tax department) hosts our data): https://hosting-checker.net/websites/ird.govt.nz how's that data sovereignty working out for us, Aotearoa NZ?

@…: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells the story of how it went and what it means for the future of PL research."

#Python #Type Checker Comparison: Typing #Spec Conformance
https://…

Von #SarahBosetti @… #BosettiLateNight
Wie Timmy der Buckelwal die Welt gerettet hat.

Wie Timmy der Buckelwal die Welt gerettet hat
Sarah Bosetti spricht mit Eckart von Hirschhausen, Marc-Uwe Kling, Luisa Neubauer, Collien Fernandes, Kevin Kühnert, Raúl Krauthausen, Checker Tobi, Maren Urner, Tupoka Ogette und Matthias Renger.

Reading an MSc thesis and struck again how impressive it is that students can write such technical documents not even in their first language. It's also a little unfair in many ways, if there is a use for the LLMs AI translators, it's definitely this, though as checker not original writer.

Idea: statically typed language (or Python type checker?) Where types aren't declared, but can only be assigned by providing tests/examples that use that type. Examples could provide explicit type info where necessary, but code could not.
If it's not documented with an example, it's not safe to use with those types.

I really hate memes that misspell words that a spell checker or a smartphone should have caught and flagged. I really hate autocorrect that either does or doesn’t correct what I want it to.

USB Kabel Checker für 5 £ #macos #menubar

If you’re asking an LLM for HTML validation advice when the validator is right there (at https://validator.w3.org/nu/#textarea) then I posit you maybe shouldn’t be writing HTML.

A free site uses live weather data to flag pavement that will burn your dog's paws
Type in your city, or share your location, and the site reads current weather conditions to rate concrete sidewalks, asphalt streets, sand, and artificial turf as safe, caution, or avoid right now.
https://pawmometer.com/

This piece from the LRB blog, "It cannot read the human heart", about a (Chinese) plagiarism scandal, has total «Pierre Menard, Author of the Quixote» energy, which is both particularly fitting and ironic in this situation.
https://www.lrb.co.uk/blog/2026/february/i

Didn't get rid of McAfee though.
Two machines there were always warning every day that the McAfee or Norton they had come installed with had had it's subscription expired.
Windows has a virus-checker, there is no need for this shit. This is pure scam, but not illegal.
Nobody knows how to uninstall programs. They just have a worry they should pay what it asks, (without the knowledge of how to actually pay luckily). They just get nagged every day and worry.