Kalmte, rust, verstilling….

Is dat niet wat we nodig hebben? Een tegenstem die zich verheft tegen de gewelddadige tijden?

Jazzpianist Bill Evans zal daar niet aan gedacht hebben toen hij deze piano improvisatie bedacht en het de enigszins grappige alliteratie ‘Peace piece’ als titel gaf.

Doet er niet toe. Meer stille tochten begleid met een enkele trommelslag. Meer minuten stilte met alleen het geritsel van boombladeren. Meer muziek met ingetogen vrede…

Vanillasludge posted a photo:

WASHINGTON (ANP/RTR) - De Amerikaanse president Donald Trump zegt bereid te zijn tot een bijeenkomst met zijn Russische en Chinese ambtgenoten Vladimir Poetin en Xi Jinping. Volgens Trump zou de focus bij zo'n top kunnen liggen op het verminderen van het aantal kernwapens.

The Wall Street Journal schreef zondagavond dat Poetin een ontmoeting tussen de drie wereldleiders heeft voorgesteld. De Russische president zou onder meer over een einde aan de oorlog in Oekraïne willen praten. Hij zou daarover al hebben gesproken met Trump.

Het Kremlin gaf begin vorige maand al aan dat Poetin, Xi en Trump elkaar zouden kunnen ontmoeten tijdens een top van de Asia-Pacific Economic Cooperation (APEC) op 18 en 19 november. Die vindt plaats in de Chinese stad Shenzhen. Volgens Trump moet Xi nog instemmen met het idee.

Trump herhaalde maandag ook dat het wat hem betreft tijd wordt dat iemand anders dan president Volodymyr Zelensky namens Oekraïne onderhandelt. Hij zei eerder al dat Zelensky weg moest als president.

ROZENBURG (ANP) - De Calandbrug in het Botlekgebied bij Rotterdam is dinsdagochtend nog dicht voor verkeer en scheepvaart, laat een woordvoerder van ProRail maandagavond weten. Verkeer moet daardoor omrijden.

De klep van de brug stond maandagmiddag half open en ging niet meer helemaal dicht. Monteurs onderzochten de storing. Inmiddels is volgens de woordvoerder duidelijk in welke pijler van de brug de storing zit, maar nog niet wat de storing precies is. "Het is een ingewikkelde constructie", aldus de woordvoerder. In de nacht kan er volgens haar niet worden gewerkt aan de brug.

Eerder deze maand was de voormalige spoorbrug ook al een paar dagen gesloten voor wegverkeer door een probleem met lasers die verkeerde metingen doorgaven.

NYON (ANP/DPA) - De Europese voetbalbond UEFA wil nadere opheldering van FIFA-voorzitter Gianni Infantino over zijn inmiddels ingetrokken plannen om aan private investeerders commerciële rechten te verkopen. De bond heeft 42 gedetailleerde vragen opgesteld en de onder druk staande voorzitter tot 2 november de tijd gegeven om de vragen te beantwoorden. Persbureau DPA kreeg een kopie van de brief.

De vragen gaan ook in op de kwestie rond de Amerikaanse spits Folarin Balogun, wiens straf na een rode kaart op het WK voetbal na inmenging van de Amerikaanse president Donald Trump werd omgezet van één wedstrijd schorsing in een voorwaardelijke schorsing. Daarnaast wil de UEFA antwoorden op vragen over tal van andere onderwerpen, waaronder de duur van de halftimeshow tijdens de WK-finale van afgelopen zomer en de invoering van een omstreden FIFA-vredesprijs.

Infantino trok zijn commerciële plan op 1 augustus in, nadat drie continentale confederaties, waaronder de UEFA, het hadden afgewezen. De Europese bond zegde kort daarop, evenals de Nederlandse KNVB, het vertrouwen op in Infantino.

Kritische vragen

Europese voetbalbestuurders hebben vorige week tijdens de FIFA-raad opnieuw aangedrongen op het vertrek van Infantino. Voorzitter Bernd Neuendorf van de Duitse voetbalbond vertelde na afloop dat een groot aantal kritische vragen waren gesteld aan Infantino, maar zonder bevredigende antwoorden. De FIFA-baas heeft tot op heden geen documentatie verstrekt over hoe beslissingen tot stand zijn gekomen.

De UEFA uit in de brief met vragen ook haar zorgen over de onafhankelijkheid van het verkiezingsproces voor het FIFA-voorzitterschap. De bond wijst erop dat Bruno Chiomento, de voorzitter van de verkiezingscommissie, Infantino al twintig jaar kent en tijdens het vijf weken durende WK ter plaatse verbleef op kosten van de FIFA.

A joint counter-terrorism taskforce is investigating the incident, which Anthony Albanese alleged ‘wasn’t an accident’

• ‘Deeply appalled’: politicians condemn alleged attack after Helen Haines critically injured

• Helen Haines, the principled MP respected across parliament

• What we know so far

• Get our new political email, free app or daily news podcast

We’ve just received an update from the Alfred hospital, where Helen Haines underwent surgery last night. A spokesperson said she remains in a critical condition.

It “beggars belief” that Helen Haines would be involved in an incident like this, Victorian National MP Tim McCurdy told ABC’s RN this morning.

Helen is just a lovely person, and I just cannot for the life of me see how anyone could take offence at Helen and have this attitude towards her. It’s just appalling.

I mean, all MPs, but particularly regional MPs, we make ourselves available to everybody wherever at any time. And this is what’s so hard to believe: that if you can’t walk down the street in Wangaratta or any other regional town like this with the fear of this going on, it’s just shocking.

Spending time with people in our communities is really at the heart of what we do. I’ve done joint events with Helen down in Indi, and you see hundreds of people wanting to come and talk about what matters to them...

I’ve had staff in tears having to deal with some of the abuse that they copped.

Continue reading...

photo-tez has added a photo to the pool:

薬師池公園

How a „lost generation” found itself.

It may not be enough to just use LLMs to write your code when you can also use them to adjust it while your program runs. DoubleAI, a Tel Aviv, Israel-based startup founded in 2023, on Monday introduced Maxwell, a code execution model (CEM) that evaluates, optimizes, and rewrites binary code during execution. Named for Maxwell's Demon, a creature imagined by physicist and mathematician James Clerk Maxwell in 1867 as part of a thought experiment on entropy, the Maxwell CEM preprocesses algorithms and machine instructions to maximize performance on available hardware. Maxwell is similar in concept to a just-in-time compiler, but provides more flexibility and formally verifies the equivalence of replacement code. Source code isn't touched. "Both Maxwell and a JIT compiler work while the program runs and both produce new machine code," said doubleAI co-founder Gal Beniamini, who holds a PhD in theoretical computer science, in an email to The Register. "The difference is that a compiler can't do high-level reasoning. It can't, for example, change the algorithm. Maxwell can and does. "One of the reasons why JIT compilers are so narrow is that, even though they can be data-dependent, the changes they make must be deterministic and correct 'by construction,' since JIT compilers are 'unthinking' classical algorithms. "Maxwell brings the expressive power of frontier AI into the 'JIT' setting. In addition, Maxwell relies on formal verification to write actual, hard proofs that show that its optimizations are sound. This expands the scope of its allowed optimisation far beyond that of any algorithm or compiler." Beniamini pointed to sorting as an example. The compiler, he said, will make a general-purpose sorting algorithm run as fast as it can, but it won't swap it out for a different algorithm. Compilers, said Beniamini, make decisions before the program runs and have to be narrow and conservative in their choices. Maxwell, he said, works with more information, isn't just a one-pass operation, and operates at a higher level. "It sees the exact hardware the program has landed on, and the actual shapes and types of the data flowing through it (information that is only available during runtime!)," Beniamini explained. "It also sees the state of the environment, what else is running in the same program, and which actual bottlenecks express themselves, and under which conditions. This allows it to specialize in ways a compiler never can." Since Maxwell operates continuously, it can keep improving programs as new bottlenecks arise. And it can "reason" in a way that compilers cannot. Maxwell's approach wouldn't be possible if the model rewrote code in a way that introduced errors on the fly, so the formal proof capability is not optional. According to doubleAI, Maxwell has made data pipelines more than 38x faster and AI inference kernels more than 4.5x faster. LTX-2.5, an open world model that generates 4K video, managed to do so almost twice as fast with the help of Maxwell. Maxwell's optimizations reduced the data being exchanged between GPUs and optimized the kernel selection to drop unnecessary token padding. Maxwell's optimization capability varies depending on the source code and the hardware. "Maxwell does best on code that is algorithmic, and which can be tailored to hardware in a non-trivial manner," said Beniamini. "That being said, even code that isn't like that, but is written in a high level language like Python, can usually enjoy far reaching optimisations due to the available overhang. The same is true for PyTorch graphs, which (even under Torch's compiler) tend to be extremely far from optimal." It can also help with code security. Beniamini said Maxwell can eliminate issues like memory errors by proving their non-existence as part of the formalization process. "Anecdotally, we have found such issues in Python itself, through the use of Maxwell – i.e., cases in which Python was not memory safe, and where Maxwell proved that to be the case," he said. And better still, Maxwell's tracing and profiling don't incur much if any overhead on either the CPU or GPU. "The maximal overhead of Maxwell's tracing and profiling is 2 percent (when it isn't tracing, that falls to zero, of course), and the optimisations that Maxwell yields far outweigh that," said Beniamini. "We also apply Maxwell to the runtime itself, so that we get back a much larger than 2 percent 'flat' speedup, across the board. So in short: it's never slower." The installation process is similarly light-touch: Devs install the runtime and run their code, with the Maxwell model hosted by doubleAI. This arrangement, however, does require some amount of trust. Amnon Shashua, co-founder and CEO of doubleAI, founder and departing CEO of Mobileye and a professor of computer science at the Hebrew University of Jerusalem, said in a statement that AI has changed how software is written and now is changing how it runs. "CEMs, and Maxwell in particular, are agents on behalf of the hardware as opposed to code agents that are on behalf of the human user," he said. "In other words, they are the first AI that works for the machine, not the programmer." ®

Wine has been successfully ported to OpenBSD, with developers reporting that dozens of 64-bit Windows applications now run on the operating system. "Even the Remaster of The Witcher 3 which released just last month runs, and runs well," writes Thomas Frohwein, OpenBSD developer and ports maintainer. OSnews reports: The biggest limitation seems to be the lack of support for WoW64, so 32bit Windows software won't work. Still, this is a massive milestone for OpenBSD, and makes especially gaming a somewhat viable option on OpenBSD.

Read more of this story at Slashdot.