Tootfinder

I'm not usually one to get excited over #motorcycle gear, but I just picked up a Nelson Rigg Stormrider rain suit on closeout for about 65% off and I'm totally impressed with it so far. I rode 24 miles to work today in a driving rain with high winds and arrived completely dry and comfortable. First impressions are that this was a fantastic buy, and something I'm going to use un…

I guess I'm going to YOLO replacing the soldered wifi module on my ThinkPad ¯\_(ツ)_/¯

mein papa halt alte ausgabe vom magazin "folio" der NZZ aus den 1990er-jahren ausgegraben.
diese karikatur von #gerhardglück von 1996 ist ziemlich zeitlos ...

diabeetus

This week’s #ThursdayFiveList is all about #Children, courtesy of @…:
1. Almost Vinyl, “That's a Fucking Ugly Baby”—

Q&A with Asana co-founder Dustin Moskovitz on Facebook, starting Asana, SaaS companies, enterprise AI, the "empty seat problem", AI modesty, AI safety, and more (Ben Thompson/Stratechery)
https://stratechery.com/2025/an-interv

An Interview with Asana Founder Dustin Moskovitz about AI, SaaS, and Safety
An interview with Asana founder and Chariman Dustin Moskovitz about Asana, AI’s impact on SaaS, and the debate about AI Safety

If this isn't actually AI slop, then it's certainly what they trained the slop engine on. Either way, somebody got paid for this shit.

BZ120 Over-Engineering – https://buzzzoom.de/120/
Was ist eigentlich Over-Engineering?

BZ120 Over-Engineering - BuzzZoom.de
Was ist eigentlich Over-Engineering?

Fresh #Debian installation:
13 processes
uses 120 MB RAM
1.7 GB used disk
I find this very impressive
:debian:

You wouldn't #HTTP status code a #train.

In Forbidden Psalm hat man nicht viel Equipment zu managen und es ist betont einfach designt. Nur die Scrolls (Zauber) muss ich immer wieder nachschlagen. Schluss damit!
Hier sind 32 Karten für alle Clean & Unclean Scrolls
https://www.drivethrurpg.com/en/product/54…

I take it back. Linux's eternal September has already begun.

So the #NoKings protests are going on. I'd love to join, but like millions of Americans who are among the most pissed off (think anyone working in any kind of service industry) I'm here at work.
It's been quite a long time since I've had regular weekends on the days that a lot of you take for granted having off. It's socially alienating for sure, you miss all kinds o…

Fascist Paramilitary invaders (ICE/CBP) tased a non resisting woman in zip ties, then throws her nonresponsive body into his truck like a rag doll. (Oak Park neighborhood of Detroit, MI 11/17/25)
Source:
https://reddit.com/comments/1p01ser

For #TextureTuesday some more WIP snapshots of STRATA, a generative system I've been on/off working on since 2014 (in Clojure/TypeScript/Zig, originally for the cover design of HOLO magazine), loosely based on 1950s research/experiments by Barricelli, somewhat related to cellular automata and extended to use a different and much larger set of "reproduction/collision rules" f…

Ask An Orthodontist With Dr Derek Mahony
This podcast is presented by Dr. Derek Mahony, an orthodontist who has lectured in over 120 countries about early intervention orthodontics...
Great Australian Pods Podcast Directory: https://www.greataustralianpods.com/kids-sleep-heal…

Paper rejected with a minor revision and something else I don’t know what it is (not a revision): six absurd questions in a paragraph of a few lines, which I’ll never be able to answer anyway.
That’s how dreadful journal revisions are in 2025. We carry on.

Urban Adventure 🏞️
城市探险 🏞️
📷Nikon FE
🎞️Fuijfilm NEOPAN SS, expired 1993
#filmphotography #Photography #blackandwhite

I've never wanted to be a pig more than I do right now

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Incremental Computation: What Is the Essence?
Yanhong A. Liu
https://

Kapitalismus made in USA — Reichtum als Kult: Geschichte
Vor 120 Jahren entstand in den USA ein kapitalistisches Eldorado, das den Weg für Persönlichkeiten wie Elon Musk, Jeff Bezos und Bill Gates ebnete. Wie festigte sich die Macht der Superreichen, vor allem in der Zeit der Wirtschaftskrise nach 1929 oder auch während Ronald Reagans Politik der Deregulierung und Steuersenkungen in den 1980er-Jahren?
📺 Doku Serie

Kapitalismus made in USA - Geschichte | ARTE
Vor 120 Jahren entstand in den USA ein kapitalistisches Eldorado, das den Weg für Persönlichkeiten wie Elon Musk, Jeff Bezos und Bill Gates ebnete. Wie festigte sich die Macht der Superreichen, vor allem in der Zeit der Wirtschaftskrise nach 1929 oder auch während Ronald Reagans Politik der Deregulierung und Steuersenkungen in den 1980er-Jahren?

Series A, Episode 10 - Breakdown
VILA: You can say goodbye to one bolt hole.
BLAKE: How far is it?
AVON: One hundred and fifty hours. [To Zen] Confirm.
ZEN: Flight time is six hundred forty three hours.
AVON: Direct flight.
https://blake.torpidity.net/m/110/120 B7B4…

macOS is like "yeah we've got 100GB of Time Machine backups cached, but don't worry, if you need the space, we'll just delete them!"
Well, that was a lie.

Am zweiten Tag des Urlaubs versuchen wir Nemo zu finden. Dazu geht es mit dem Tauchboot des Sinai Dive Clubs zur Insel Tiran im Roten Meer.
#Agypten #scubadiving #vacationtime…

Hier könnt ihr euch die #mastodon Karten legen lassen 😅
Mastodon Wraps 2025
https://mastodon-wrapped.playground.54gradsoftware.de/
Zitat Webseite:
Importiere a…

Somebody Told Me (The User Provider Should Use An Adaptor To Proxy The Query Factory Builder)
https://youtu.be/p03oO_7sCaY

Lap space is limited. We have to build upward

More AI slop coming to FB. Any local advertisers will get a polite note, and if they still use it, I walk away to their competitors.

Dagens schema på #limmudstockholm. Tyvärr nästan bara politik men vad gör man

Queen

Nunca te acostaršs sin aprender algo nuevo: no conocía el comando :X de vim, para cifrar el fichero. Puede usar blowfish:
$> file x.txt
x.txt: Vim encrypted file data with blowfish cryptmethod
Ponte en ~/.vimrc
set cm=blowfish
Se deriva la clave usando SHA-256 con salt.

DSA: EU-Kommission verhängt 120 Millionen Euro Strafe gegen X
Wegen mehrerer Verstöße gegen den Digital Services Act hat die Europäische Kommission eine erste Strafe gegen Elon Musks Plattform X verhängt.
http…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Tensor Logic: The Language of AI
Pedro Domingos
https://ar…

Man, today's Metacurity is packed with tons of critical infosec developments you should know, including
--Google sues Chinese smishing giant Lighthouse Enterprise for scams across 120 countries,
--UK proposes new cyberattack defenses,
--UK to allow tests of AI systems to gauge CSAM potential,
--Oz spy chief says China probed country's telecom networks,
--China blames US gov't for $13B LuBian theft,
--Google unveils Private AI Compute,
--M…

Google sues Chinese smishing giant Lighthouse Enterprise for scams across 120 countries
UK proposes new cyberattack defenses, UK to allow tests of AI systems to gauge CSAM potential, Oz spy chief says China probed country's telecom networks, China blames US gov't for $13b LuBian theft, Google unveils Private AI Compute, MSFT issues fixes for 63 flaws, much more

Survey of White Hawk's works at the Walker Art Center. If you can, see it!

"Metlen flicks switch on 120 MW of solar in Australia"
#Australia #SolarPower #Energy #Renewables

Metlen flicks switch on 120 MW of solar in Australia
Another large-scale PV facility is now operating at full capacity in the Australian state of Queensland, as Greek energy company Metlen Energy and Metals has officially activated the 120 MW Munna Creek Solar Farm.

ugandan_village: Ugandan village networks (2013)
Complete friendship and health advice social networks among households in 17 rural villages bordering Lake Victoria in Mayuge District, Uganda in 2013. Nodes are households and edges represent either a close friendship or a trusted health advisor connection, obtained via a name generator questionnaire.
This network has 120 nodes and 295 edges.
Tags: Social, Offline, Unweighted, Multilayer

Good morning!

Today was the last day of ESA's JUICE Science Working Team Meeting at #mpsgoettingen in Göttingen – with lots of talks, discussions, and planning for the months and years ahead. Thanks to everyone for being here and making the meeting a success!
#ESA

Gleich am ersten Tag des Urlaubs, schauen Simon und ich uns Ägypten von 18 Metern unter dem Meeresspiegel an. Bei den Temperaturen hier alle mal eine gute Idee 🤿
#Agypten #scubadiving #vacationtime

GUPPY: Pythonic Quantum-Classical Programming
Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan
https://arxiv.org/abs/2510.12582 https://

GUPPY: Pythonic Quantum-Classical Programming
We present ongoing work on Guppy, a domain-specific language embedded in Python that allows users to write high-level hybrid quantum programs with complex control flow in Pythonic syntax, aiming to run them on actual quantum hardware.

It took THE ENTIRE DAY to get the barn opening cut large enough and then THE ENTIRE EVENING to winch and shove and wiggle and cajole this rotting piece of shit vardo inside the rotting piece of shit barn so we can work on it over the miserable drippy fuckass winter without getting excessively wet and overly fuckassed. (Miserable is unavoidable: it's Europe.) I need to order a big tarp to serve as a barn door. I need to order a desiccant dehumidifier that will actually work on something t…

Operational methods in semantics
Roberto M. Amadio
https://arxiv.org/abs/2510.12295 https://arxiv.org/pdf/2510.12295

Operational methods in semantics
The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation steps of programs and then to build on top semantic equivalences, specification languages, and static analyses. While other approaches to the semantics of programming languages are possible, it appears that the operational one is particularly effective in th…

Raise Financial Services, the parent company of Indian stock trading and investment app Dhan, raised $120M led by Hornbill Capital at a $1.2B valuation (Kunal Manchanada/Entrackr)
https://entrackr.com/news/dhan-turns-unicorn-after-120-mn-f…

Dhan turns unicorn after $120 Mn fundraise led by Hornbill Capital
Dhan plans to deploy the new funds to scale its technology stack, expand its omnichannel presence, and roll out new financial products for retail investors.

A Wheelie Good Sex Chat
Welcome to A Wheelie Good Sex Chat, a podcast aiming to open up conversations about disability and sexuality...
Great Australian Pods Podcast Directory: https://www.greataustralianpods.com/a-wheelie-good-sex-chat/

Trying to focus on other things so I've been trying to knock things off the fixit list at home (we just bought this house and only moved in a month ago). So I have two outlets that have no power, as in the line isn't even hot. One is in the bathroom and I could swear it was working when we did our home inspection. Starting to suspect critters in the attic, so getting up there to inspect is tomorrow's agenda.

Abraham Lincoln didn't kill himself

Nach durchreister Nacht von einem verrückten ägyptischen Taxifahrer um 6 Uhr Morgens mit 120 km/h durch die Innenstadt von Sharm El Sheikh zum Hotel gefahren worden und überlebt!
Und danach am Hotelpool mit dem ersten Ägyptische Bier darauf warten, dass das Hotelzimmer frei wird.
Und dabei werden wir argwöhnisch von einem kleinen Besucher beäugt.
#Agypten

I'm so old that I still write Micro$oft with a dollar sign

Functional Reasoning for Distributed Systems with Failures
Haobin Ni, Robbert van Renesse, Greg Morrisett
https://arxiv.org/abs/2510.12131 https://arxiv.or…

Functional Reasoning for Distributed Systems with Failures
Distributed system theory literature often argues for correctness using an informal, Hoare-like style of reasoning. While these arguments are intuitive, they have not all been foolproof, and whether they directly correspond to formal proofs is in question. We formally ground this kind of reasoning and connect it to standard formal approaches through language design and meta-analysis, which leads to a functional style of compositional formal reasoning for a class of distributed systems, includin…

Was just musing that it's nice and warm in here since we've had the stove on all day
I guess we've developed low standards

I'm hopeful that the current RAM crisis will end up tanking demand for other hardware to the extent that I'll be able to pick up a future Zen6 chip and AM5 board (or at least a 5950X) for less than they'd otherwise go for. Let's arbitrage this shit to our advantage! (I will shortly have a recurring CPU-bound task that will benefit greatly from doubling my core count or other improvements, and I do have 2x16GB DDR5 SoDIMMs that I could press into service with an adapter in a n…

Desmontando el relato sobre la Inteligencia Artificial generativa: nos venden una Inteligencia Artificial que razona, piensa y hasta siente, pero ¿es verdad? La Inteligencia Artificial ya escribe textos, crea imšgenes y responde como un humano. Pero no piensa ni razona.
https://youtu.be/pmsTzFLM8rI?si=u1JPau

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
Hongyu Lin, Haolin Pan, Haoran Luo, Yuchen Li, Kaichun Yao, Libo Zhang, Mingjie Xing, Yanjun Wu
https://arxiv.org/abs/2510.11759

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
Compiler optimization is crucial for enhancing program performance by transforming the sequence of optimization passes while maintaining correctness. Despite the promising potential of large language models (LLMs)-based agent for software optimization, automating compiler optimization remains challenging due to: (1) semantic misalignment between abstract program representations and concrete optimization passes, (2) inefficient interaction mechanisms between agents and compiler environments, and…

Disco has to make a comeback ASAP

The U.S. Navy needs to start using Village People "In the Navy" as a recruitment tool

I need people to understand that a Lenovo ThinkPad and a Lenovo IdeaPad, or a Lenovo Yoga and a Lenovo ThinkPad Yoga, are totally different things, where one is a flimsy piece of shit and the other has a good chance of being a computer that you replace because it finally got too slow rather than because every part on it failed multiple times. ThinkPads (mostly) last.

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
Jan Pedersen, Kevin Chalmers
https://arxiv.org/abs/2510.11751 https://

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
Correct concurrent behaviour is important in understanding how components will act within certain conditions. In this work. we analyse the behaviour of shared communicating channels within a coorporatively scheduled runtime. We use the refinement checking and modelling tool FDR to develop both specifications of how such shared channels should behave and models of the implementations of these channels in the cooperatively scheduled language ProcessJ. Our results demonstrate that although we can …

If you can manage to get your hands on one, the Lenovo ThinkPad C13 Yoga (a chromebook reflashed with MrChromeBox firmware) is the most perfect basic Linux laptop I've ever had. DO NOT get the 4GB RAM/eMMC model (problems); preferably get the 16GB RAM model if available; OLED screen is the max spec. The battery life is great. Everything works out of the box in openSUSE, including esoteric stuff like the touchscreen and pressure-sensitive stylus. It's just a delight, the best €140 I&#…

Amigo de "clase media" (sic) de Fuenlabrada, Getafe, Alcorcón, Móstoles, Leganés... cuando tengas que pagar 20K euros por hijo/curso en una universidad privada, te daršs cuenta del desguace que estš haciendo la CAM de tu querida Ayuso.
Spoiler: como sus abuelos, tus hijos no van a ir a la universidad.

Apple hardware really is crazily good compared to everything else out there, as long as you have the money for it. Exotic RISC workstations are very much back! Strangely, I don't want one like I wanted an SGI in the 1990s.

[2025-10-15 Wed (UTC), 5 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

It took way longer than it probably should have, but I managed an A on this week's Calculus homework.
I probably should have picked something less involved when trying to return to school after my dad's passing. I still feel like my brain isn't fully in gear sometimes. That's why this felt especially good. It's a sign that I haven't totally lost it.

Coursera's buying Udemy: awesome! I love monopolies, and we're one step closer to one now!
I'm just waiting for the AI shoe to drop next. It'll be awesome to pay $19.99/mo to learn randomly-inserted hallucinated non-facts from an LLM running a RAG pipeline over a syllabus thrown together by some associate professor who can barely afford rent from their day job.

The hardest part about filming a job is remembering to START the FUCKING CAMERA ffs

The vardo weathered last night's storm well with the dehumidifier and fan running in it, with no signs of surface condensation whatsoever. Unfortunately, since I took the dehumidifier from my vintage computer and machine shop space, that's now sitting at 84%. I need a second dehumidifier ASAP. A smaller one would certainly suffice for the vardo.

If I hadn't left the Netherlands or Switzerland to move to the country where ambition goes to die, I could have my white whale this week. Alas. Anyway, time to go put in another day of backbreaking physical labor for no reward!

Aw sweet, your next computer can be AI slop now!
https://venturebeat.com/ai/quilters-ai-just-designed-an-843-part-linux-computer-that-booted-on-the

Modern Western Europeans are so accustomed to the environment not actively trying to kill them (because previous generations of Western Europeans made great efforts to tame and subdue it) that they don't even realize that the environment actively trying to kill them is possible, let alone, in fact, the norm

If you reintroduce an apex predator into a naïve ecosystem that has further evolved without it and then look all surprised_pikachu.gif when it acts like an apex predator, you might be incredibly stupid https://www.telegraph.co.uk/world-news/202

If we could stop living in interesting times, that would be great, thanks
"Sam Altman’s Dirty DRAM Deal
Or: How the AI Bubble, Panic, and Unpreparedness Stole Christmas"
https://www.mooreslawisdead.com/post/sam-altman-s-dirty-dram-deal

Instead of sleeping, I'm making ChatGPT write Linux tutorials in Old Frisian. It's...actually not terrible.

Medium-endian architecture

Terrance and Phillip but it's Terence McKenna and Philip K. Dick

Might get a tramp stamp of Mark Rutte's face

Disappointing how many people think "soldered down" means "can't be upgraded" when it actually means "buy a hotplate, a hot air station, a few templates, some BGA balls, a couple pairs of nice tweezers, an LCD microscope, and a gallon of flux"

So fucking tired

Got the 750 started, pulled around within reach of an extension cord, and fired up the ozone generator inside it. Looks like I have a dead lighting control module, which is just fucking awesome, given it was working when parked and it's an expensive part. I hope I don't have a sunroof drain issue dumping water in the passenger footwell. I don't see any obvious signs of that, but it's a common reason for LCM mortality.

Protip: do not allow people on the Internet to learn your True Name, for they may thereby gain Power over you, and would surely use it to do you harm (as has been recorded in the Legends)

Successfully got the openSUSE Pi5 abomination booting off a WD VelociRaptor 10kRPM SATA hard drive that uses more power than the entire rest of the computer!
Things are different in openSUSE-aarch64 land compared to Raspbian:
1. videocore loads a grub executable, so it feels like a PC when it boots
2. there's no /boot/cmdline.txt (on mmcblk0p1 or elsewhere)
3. the usual `grub2-mkconfig -o /boot/grub2/grub.cfg` / update-grub command autodetects current root and silen…

Business idea: I buy this Medusa head, and then get people to look at it, and then I sell them as statues once they turn to stone

Our super-environmentally-friendly, energy-efficient dryer has been drying (theoretically) my clothes for the last six hours and reckons it still needs another two. They're on the moist side of damp.
My parents have a gas dryer that gets the job done in 45 minutes. I must see if I can get one of those.

Bartleby the Scrivener be like
"I prefer not to work it, work it
I prefer not to work it, work it"

The vardo is home. 6 hours! I didn't know anything was 6 hours away in Ireland.

IBM computer hardware was weird, proprietary, and very expensive, but it was also really, really fucking good. Their z/Systems still are. Top-notch operational documentation, too.

Linux devs have announced that they will be deprecating the wheel because "lol its old, why would you still be using that shit, unc?"

Was flipping through my old photos and found this absolutely pornographic shot of my IBM P70 portable

David Hewlett and Robert Picardo do the exact same mouth acting and it's incredibly funny to see them both in the same scene chewing the same scenery on Stargate Atlantis

Vardo wheelie

Average Sneed Camera

Ads almost never get injected into podcasts when I download them through an Albanian VPN. Top tip!

Vardo, vardo, it's home from Kells we go!

Confirmed: if you don't consume any liquids between getting out of bed and 4PM, you won't have to piss as often

I think I put a leeeetle bit too much cayenne in this hot chocolate

ChatGPT is useful for getting the average of the information in its weights on a given topic
Grok (Expert) is useful for filtering search engine slop into a summary with relevant, sourced, checkable web links
Neither of these necessarily produce The Truth, but in this example, Grok generates significantly more reliable output when precision matters. As time goes on and the volume of hallucinated nonsense on the Web mounts higher, Grok's ability to attribute its assertions t…

This place is giving me a nobber

✅ Oil/filters/plugs done on the van
✅ New outside light installed on the stables