From Newsgroup: sci.physics

Hi,

So Boris the Loris and Nazi Retartd Julio are
not alone. There is now a mobilization of the
kind of rage against the machine,

fighting for methods without randomness. Its
almost like Albert Einstein ascendet from his
grave and is now preaching,

"God does not play dice"

So how it started:

PIVOT was an interactive program verifier designed by
L. Peter Deutsch for his Ph.D. dissertation.
Posted here by permission of L. Peter Deutsch. https://softwarepreservation.computerhistory.org/pivot/

How its going:

Formal Methods: Whence and Whither?
The text also highlights the evolving role of formal
methods amidst technological advancements, such as
AI, and explores educational and standardization issues
related to their adoption. https://de.slideshare.net/slideshow/formal-methods-whence-and-whither-keynote/273708245

Can the Don Quijotes win, and fight the AI windmills?

LoL

Bye

Mild Shock schrieb:

Hi,

Boris the Loris and Julio Di Egidio the Nazi Retard,
are going for an afterwork beer. They are still
highly confused by Fuzzy Testing:

Star Trek - The 70's Disco Generation https://www.youtube.com/watch?v=505zvAvnreg

The favorite hangout is Spock's Logic Dancefloor,
which is known for its sharp unfuzzy wit. They
have-a a chat with Data about Disco Math,

the only Math which has no Fuzzy Logic in it.

Bye

Mild Shock schrieb:

Hi,

Candidate Recommendation Draft - 30 September 2025
https://www.w3.org/TR/webnn

WebNN samples by Ningxin Hu, Intel, Shanghai
https://github.com/webmachinelearning/webnn-samples

Bye

Mild Shock schrieb:

Hi,

It seems I am having problems pacing with
all the new fancy toys. Wasn't able to really
benchmark my NPU from a Desktop AI machine,

picked the wrong driver. Need to try again.
What worked was benchmarking Mobile AI machines.
I just grabbed Geekbench AI and some devices:

USA Fab, M4:

-a-a-a-a sANN-a-a-a hANN-a-a-a qANN
iPad CPU-a-a-a 4848-a-a-a 7947-a-a-a 6353
iPad GPU-a-a-a 9752-a-a-a 11383-a-a-a 10051
iPad NPU-a-a-a 4873-a-a-a 36544-a-a-a *51634*

China Fab, Snapdragon:

-a-a-a-a sANN-a-a-a hANN-a-a-a qANN
Redmi CPU-a-a-a 1044-a-a-a 950-a-a-a 1723
Redmi GPU-a-a-a 480-a-a-a 905-a-a-a 737
Redmi NNAPI-a-a-a 205-a-a-a 205-a-a-a 469
Redmi QNN-a-a-a 226-a-a-a 226-a-a-a *10221*

Speed-Up via NPU is factor 10x. See the column
qANN which means quantizised artificial neural
networks, when NPU or QNN is picked.

The mobile AI NPUs are optimized using
mimimal amounts of energy, and minimal amounts
of space squeezing (distilling) everything

into INT8 and INT4.

Bye

--- Synchronet 3.21a-Linux NewsLink 1.2