Tootfinder

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

No exact results. Similar results found.

Federal prosecutors have repeatedly filed charges (and appealed adverse rulings),
arguing that
⚠️knowingly crossing the border is sufficient to prove criminal intent.
More than 20 legal scholars and former prosecutors told reporters they could not identify a conventional
law-enforcement or military goal that would justify their persistence.

@vosje62@mastodon.nl
2026-01-05 20:39:34

Ofcom makes 'urgent contact' with X over concerns Grok AI can generate 'sexualised images of children' | Science, Climate & Tech News | Sky News
#Twitter

@grumpybozo@toad.social
2025-12-29 19:28:41

Any #FreeBSD sysadmins out there running #Bastille jails with multiple interfaces?
Or any sort of jail with multiple interfaces?
I was going to try out Bastille rather than old-fashioned manual "Thick" jail like the ones I’ve set up before because I've never done multiple interfac…

@arXiv_csFL_bot@mastoxiv.page
2026-01-09 07:35:25

One-clock synthesis problems
S{\l}awomir Lasota, Mathieu Lehaut, Julie Parreaux, Rados{\l}aw Pi\'orkowski
arxiv.org/abs/2601.04902 arxiv.org/pdf/2601.04902 arxiv.org/html/2601.04902
arXiv:2601.04902v1 Announce Type: new
Abstract: We study a generalisation of B\"uchi-Landweber games to the timed setting. The winning condition is specified by a non-deterministic timed automaton, and one of the players can elapse time. We perform a systematic study of synthesis problems in all variants of timed games, depending on which player's winning condition is specified, and which player's strategy (or controller, a finite-memory strategy) is sought. As our main result we prove ubiquitous undecidability in all the variants, both for strategy and controller synthesis, already for winning conditions specified by one-clock automata. This strengthens and generalises previously known undecidability results. We also fully characterise those cases where finite memory is sufficient to win, namely existence of a strategy implies existence of a controller. All our results are stated in the timed setting, while analogous results hold in the data setting where one-clock automata are replaced by one-register ones.
toXiv_bot_toot

Proposition 36, approved by voters last year, gave prosecutors the ability to charge people convicted of various third-time drug offenses with a so-called
treatment-mandated felony
– a choice between behavioral health treatment or up to three years in jail or prison.
bit.ly/3NiBX0r
📸 J.…

@pre@boing.world
2026-03-17 20:12:45

None of these surveillance companies trying to break your kid’s brains would exist if we hadn’t made it illegal to reverse engineer their manipulative crappy software and produce compatible none-manipulative clones.
But they have been granted legal monopoly, so they can do what they like.
If you want a law to protect internet users it isn’t
“Force them to consent before you spy on them”
or
“age-gate chat forums”,
No. The real solutions are more like:
“Buying and selling data about an individual is illegal and punishable by years in jail and a penalty of 2x yearly profit”
or
“Advertising must be based on the content of the page context not the tracking of the individual”.
If a legal intervention is warranted then we don’t want a system where website operators have to pick between a list of monopoly providers to hand over their data to and force them all to spy on their users to age-check.
We want companies to be explicitly allowed to reverse engineer and reproduce other company’s proprietary access methods, to increase competition and end these rentier monopolies that allow them to push their manipulative phone apps.
End the DMCA and the similar laws which they campaigned for to prevent competition. It’s those laws which give the corporations the power to push their algorithms and limit alternatives.