Lmst

Good Rational Bounds using continued fractions https://janmr.com/posts/good-rational-bounds/ #ContinuedFractions #rational #numbers #bounds

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

'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

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

The #hubris of the #FakeAI #DataGrifters knows no #bounds.

#GriftersGonnaGrift #Microsoft #OpenAI #SamTheGrifter.

https://www.theguardian.com/technology/2023/nov/21/microsoft-ceo-nadella-openai-altman?CMP=share_btn_link

Putting clear bounds on uncertainty | MIT News https://triangleagency.co.uk/putting-clear-bounds-on-uncertainty-mit-news/?utm_source=dlvr.it&utm_medium=mastodon #TheTriangleAgencyNews #bounds #Clear #Computervision

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

Probably not what Taylor had in mind in that next verse but Godzilla is thinking maybe things will work out

'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