Devlin nodded.
Magic Carpet Ride started playing.
"That future is #bound to happen. It might be leaps and #bounds beyond your imagining or blindside you." Chris finished his glass with a long pull. He side-eyed some.barely-legal girl in a plaid shirt and ridiculously tiny straw cowboy hat.
Fingers snapped before his nose, "Hey!"
"Heh, sorry."
"She's half your age, man."
Chris sighed, "Still legal."
"Whatever. What if she popped up as The Empress or The High Priestess?" 4/x
#wss366

The recent shooting death of noted racist, nazi, white nationalist, and fascist Charlie Kirk, who basically advocated for the elimination of gay, transgender, and virtually every other non-white minority, has prompted some progressives to say that we have now answered the question "Just how big a piece of shit do you have to be, and how much fascism do you have to do, to prompt a progressive [1] to engage in the kind of political violence beloved of the fascist extremist right?"

This is incorrect. We have not answered that question.

We have, however, discovered an upper bound on the value. [2]

Edits:

[1] Apparently this was not actually a progressive shooting a nazi; it is now reported as a right-wing extremist shooting a nazi. The "why" should be interesting, if it is ever reported;

[2] This conclusion is now incorrect, based on the previous footnote. We do not know any bounds on the value.

#USPol #CharlieKirk #fascism #racism #nazi #shooting #PieceOfShit #POS #PoliticalViolence #math #bounds #overton

'More PAC-Bayes bounds: From bounded losses, to losses with general tail behaviors, to anytime validity', by Borja Rodríguez-Gálvez, Ragnar Thobaben, Mikael Skoglund.

http://jmlr.org/papers/v25/23-1360.html

#losses #bound #bounds

More PAC-Bayes bounds: From bounded losses, to losses with general tail behaviors, to anytime validity

Dear #LazyFedi

I'm currently looking at annotations / decorations to a research programming language to estimate runtime non-asymptotically (i.e. gimme a number) in a simple execution model. I thought there might be (have been) some similar projects, but I'm not really sure where to look. I vaguely remember some work on proving loop bounds (e.g. polyhedrally). Any hints?

#PLT #ProgrammingLanguages #algorithms #RunTime #bounds

Microsoft chief says ‘no OpenAI’ without tech giant’s involvement

Satya Nadella reveals Microsoft, OpenAI’s biggest investor, was not consulted about Sam Altman’s dismissal as fallout continues

The Guardian
Putting clear bounds on uncertainty | MIT News - The Triangle Agency

Researchers from MIT CSAIL predict semantically meaningful and calibrated uncertainty intervals in the latent space of a generative adversarial network to know the exact limits in our ability to clean up, and reconstruct, partly blurred images.

The Triangle Agency
Sunday #COVID19 :
Background discussions in EPI and #virology re whether #avian flu has similar pandemic capacity as #SARS. Theoretical #Combinatorics ftw if you know sites and parameters. The problem is not that we don't know enough. The problem is we don't know enough to generate #bounds that are a minimum requirement for that knowing. In the meantime #SARS does appear to have won the street cred race

#StringTheory fails where the #StandardModel frays but it also gives us a toolbox where #experiments are not yet up to probing #bounds both on and off the shell. It also yields solutions where other methods fail.
From here either that cup is half fulI or...

It's me, hi, I'm the problem, it's me
At teatime, everybody agrees
I'll stare directly at the sun, but never in the mirror
It must be exhausting always rooting for the anti-hero

📡🐾☕🏈

Thanks #TaylorSwift

'OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems', by Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer.

http://jmlr.org/papers/v23/21-0847.html

#bounds #benchmark #safety

OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems