No matter what it is I hear someone describe that they got AI (an LLM) to do for them, I cannot figure out how that could have been better than simply searching the internet [or even normal research sources] for samples or templates that people had already created.
And that's basically it. You only need like 9 of these, and there are 11, so you have some flexibility. Wow, that was a lot to type.
Go find 3 other weirdos, put everything together, and see what happens. It's probably worth it to compare what you come up with to an existing legal church:
https://www.ulcseminary.org/irsqualifications.php
You could also just start a ULC church if you're so inclined. They have templates you can use already. It's up to you.
I'll drop more things here if anything comes to mind. Otherwise I'm gonna loop back with all the folks who reached out and make sure they're tagged.
TIR (today I realised) that in KDE/Linux you can place all kinds of interesting files in ~/Templates, for instance:
"CREATE_URL.url"
containing the text:
[InternetShortcut]
URL=PASTE_URL
and the Dolphin file manager will allow you to choose it from the "Create New" menu. Neat 🙂
Working a bit more on my static site generator this morning. There's still a few bugs to fix, but it's far enough along that I'm starting to port my old blog over to it.
So far so good. It's nice and simple, and the css and templates are just built right into the binary. There's no development server and no development mode where it watches for changes and rebuilds the site. I don't think I'll actuator miss those extras. The resulting site has no Javascript …
Colourful predictive templates in early visual cortex https://www.biorxiv.org/content/10.64898/2026.06.11.731729v1 "early visual regions of the brain form anticipatory representations of colour information, in the absence of external colour input, yet in a representati…
#Webmention for Craft v1.3.0 is out 🎉 – first in a short series of #security releases. 🔒
Fixes a stored XSS vulnerability in author/entry URLs, adds per-IP rate limits, and failure-backoff to harden the public endpoint against abuse.
Upgrade recommended!
This week on #ProFed: I switched the web client from Svelte to HTMX Jinja2 templates. Svelte would have made small installations unnecessarily complex.
The web client uses exclusively the same API that other clients can use too, to make sure the API actually covers everything it needs to.
1/3
RE: https://kolektiva.social/@igd_news/117010156110002339
Before I got shot, I was trying to figure out how to organize against Trump. I found out about the Twin Cities GDC. They had made it relatively easy to organize a GDC chapter. We were working on getting chartered when I got shot.
Twin Cities GDC sent people to help us get Greater Seattle Seattle GDC off the ground. One of their folks helped my partner make sure the house was secure. They gave all sorts of training. We used their "GDC in a box" zip file that had everything you needed to get started (dues forms, meeting notes templates, etc).
When I got out of the hospital, I ended up talking with Erik a few times. I have a *huge* amount of respect for him.
This is the real threat: support, cooperation, organizing. It's not about militancy. It's about organizing. The fascist state wants to destroy people who build. That's the whole point.
He is a threat because he has worked tirelessly, for years, against countless challenges, to make things better for people. That is the thing that cannot be.
Office applications still propose templates for fax cover sheets (in full color!).
Weakly Non-Negative Supermartingales for Omega-Regular Verification
Toru Takisaka, Hongjie Qing, Libo Zhang
https://arxiv.org/abs/2607.17798 https://arxiv.org/pdf/2607.17798 https://arxiv.org/html/2607.17798
arXiv:2607.17798v1 Announce Type: new
Abstract: Martingale-based methods are central to probabilistic program verification, but strong global non-negativity requirements can exclude simple certificates from tractable template classes. Relaxing this requirement enlarges the search space for automated synthesis, but naive relaxations are unsound in the probabilistic setting. We introduce lazy Streett supermartingales and their lexicographic extension, showing that weak non-negativity can nevertheless be used soundly to certify almost-sure satisfaction of $\omega$-regular properties with polynomial templates under a broad class of sampling distributions, including all bounded-support distributions. This extends prior weakly non-negative methods from termination to general $\omega$-regular verification. We further give a compositional account of lexicographic certificates in terms of one-dimensional ones. Experiments on 170 polynomial probabilistic-program benchmarks show increases of 20.0-23.5 percentage points in verification success over the strongly non-negative baseline.
toXiv_bot_toot