Tootfinder

This is the future liberals want:
https://www.ruv.is/english/2025-11-06-more-than-90-varieties-of-jol-beer-available-this-year-458280/

More than 90 varieties of jól beer available this year - RÚV.is
For many Icelanders, jól, or Christmas, beer marks the start of holiday preparations. It arrives in Vínbúðin stores today, and this year Icelanders can choose from 92 varieties of jól beer.

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

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…

Documentation and/or implementation of 'network' subcommand unclear. · Issue #1440 · BastilleBSD/bastille
I am attempting to create a jail acting as a specialized proxy with access to multiple host vlan interfaces. The existing host config is: cloned_interfaces="lagg0 vlan0 vlan1 vlan2 lo1" ifconfig_la...

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.
https://bit.ly/3NiBX0r
📸 J.…

How justice changed in California in 2025: Prop. 36 toughened penalties, prisons kept shrinking
Gov. Gavin Newsom in 2025 announced the closure of another prison, a shutdown that's possible because the state is incarcerating far fewer people than it did just a decade ago.

pkgbase: all packages deleted without deleting FreeBSD.
pkg-unregister(8) is our friend.
pkg version 2.5.0 is something special.
A software reason to be jolly for a festive season.
Fa la la la la, la la, la, la.
#FreeBSD #pkg

One-clock synthesis problems
S{\l}awomir Lasota, Mathieu Lehaut, Julie Parreaux, Rados{\l}aw Pi\'orkowski
https://arxiv.org/abs/2601.04902 https://arxiv.org/pdf/2601.04902 https://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

#Federal monitor wants #SantaClara County held
in #contempt for purposefully dragging feet on mandated jail reforms.
Report finds “The county’s continued

Federal monitor wants Santa Clara County held in contempt for dragging jail reforms
The Prison Law Office is asking a federal judge to start fining the county over its inability to improve jail staffing or reduce its inmate population to ensure adequate medical access under a 2018…