Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@whitequark@mastodon.social
2025-12-05 04:01:08

#GitPages now implements an audit system that allows on-line, background processing of uploaded content to e.g. scan it for viruses, phishing, and other abusive material
I consider this table stakes for any service with open registration, so now I can finally say that git-pages is _almost_ done (it needs a GC and a few minor fixes to other functions)

screenshot of a shell script that scans the audit log records with clamav and removes content from any sites with viruses, freezing their entire domain after
@maxheadroom@hub.uckermark.social
2025-10-17 05:24:56

I won the internet today. Was searching for how to modify #Ollama environment variables in #homebrew on #macOS. The second entry in

Screenshot of an Internet search engines result for a question about environment variables for home-brew services. Second result is highlighted with a red frame to mark the domain it points to: falko.zurell.de.
@patrikja@functional.cafe
2025-10-14 14:00:53

Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬
The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.
📄 Slides:

Riemann curvature tensor in diagram notation: three "input indices" i, j, k and one "output index" l.
The Riemann curvature tensor as a combination of four terms involving partial derivatives and Christoffel symbols.
Wire diagrams showing the derivative rules for tensor composition and tensor product.