Tootfinder

Medien: Kiew wurden zwei Optionen für Waffenruhe vorgeschlagen
Russische Unterhändler haben der Ukraine laut Berichten staatlicher russischer Medien zwei Optionen für eine Waffenruhe vorgeschlagen. Die erste Option macht demnach zur Bedingung, dass die Ukraine mit einem Abzug all ihrer Truppen aus den vier ukrainischen Regionen beginnt, die Russland für sich beansprucht. Die zweite Option wäre Teil eines größeren Pakets, das …
📑

Ukraine-Liveblog: ++ US-Senator Graham rechnet mit scharfen Sanktionen ++
Der republikanische US-Senator Graham zeigt sich in den tagesthemen zuversichtlich, dass scharfe US-Sanktionen gegen Moskau verabschiedet werden. Außenminister Wadephul betont, dass Europa und die USA den Druck auf Putin aufrechterhalten müssen.

I've always thought of civility like I think of objectivity in news:
well intended, but entirely optional standard that often results in things that need to be said not being said in order to keep messages more palatable.
Of course, I am a Midwestern guy who teaches the 1st Amendment for a living.
-- Christopher Terry
…

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
Djamel Rassem Lamouri, Iheb Nassim Aouadj, Smail Kourta, Riyadh Baghdadi
https://arxiv.org/abs/2506.01880

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
Compilers are crucial in optimizing programs and accelerating their execution. However, optimizing programs automatically using compilers is not trivial. Recent work has attempted to use reinforcement learning (RL) to solve this problem. It has limitations though. Current methods either do not support the optimization of general loop nests or can only be used to optimize loop nests seen during training. In this paper, we propose Pearl, a novel framework that uses deep reinforcement learning to …

Using "AI" is no longer optional at Microsoft. Reminds me how when Meta had to force their engineers to use their "Metaverse" product.
If your product doesn't even gain traction internally, maybe it's just ... shit?
(Original title: ‘AI is no longer optional’ — Microsoft admits AI doesn’t help at work)

‘AI is no longer optional’ — Microsoft admits AI doesn’t help at work
An internal Microsoft memo has leaked. It was written by Julia Liuson, president of the Developer Division at Microsoft and GitHub. The memo tells managers to evaluate employees based on how much t…

This https://arxiv.org/abs/2505.01892 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…

OODTE: A Differential Testing Engine for the ONNX Optimizer
With over 700 stars on GitHub and being part of the official ONNX repository, the ONNX Optimizer is the default tool for applying graph-based optimizations to ONNX models. Despite its widespread use, its ability to maintain model accuracy during optimization has not been thoroughly investigated. In this work, we present OODTE, a utility designed to automatically and comprehensively evaluate the correctness of the ONNX Optimizer. OODTE adopts a straightforward yet powerful differential testing a…

USB-C-Mindestanforderungen für Windows-11-Notebooks werden zur Pflicht
Microsoft will das USB-C-Chaos bei Windows-11-Notebooks auflösen. Bisher optionale Leistungsparameter sollen künftig zur Pflicht werden. 

Optimal T depth quantum circuits for implementing arbitrary Boolean functions
Suman Dutta, Anik Basu Bhaumik, Anupam Chattopadhyay, Subhamoy Maitra
https://arxiv.org/abs/2506.01542

Optimal T depth quantum circuits for implementing arbitrary Boolean functions
In this paper we present a generic construction to obtain an optimal T depth quantum circuit for any arbitrary $n$-input $m$-output Boolean function $f: \{0,1\}^n \rightarrow \{0,1\}^m$ having algebraic degree $k\leq n$, and it achieves an exact Toffoli (and T) depth of $\lceil \log_2 k \rceil$. This is a broader generalization of the recent result establishing the optimal Toffoli (and consequently T) depth for multi-controlled Toffoli decompositions (Dutta et al., Phys. Rev. A, 2025). We achie…

Swarm-based optimization with jumps: a kinetic BGK framework and convergence analysis
Giacomo Borghi, Hyesung Im, Lorenzo Pareschi
https://arxiv.org/abs/2507.00871

Swarm-based optimization with jumps: a kinetic BGK framework and convergence analysis
Metaheuristic algorithms are powerful tools for global optimization, particularly for non-convex and non-differentiable problems where exact methods are often impractical. Particle-based optimization methods, inspired by swarm intelligence principles, have shown effectiveness due to their ability to balance exploration and exploitation within the search space. In this work, we introduce a novel particle-based optimization algorithm where velocities are updated via random jumps, a strategy commo…

George Pickens Reportedly Wasn’t Cowboys Top Trade Option https://heavy.com/sports/nfl/dallas-cowboys/george-pickens-wasnt-top-option/?adt_ei=[email]

A New Deep-learning-Based Approach For mRNA Optimization: High Fidelity, Computation Efficiency, and Multiple Optimization Factors
Zheng Gong, Ziyi Jiang, Weihao Gao, Deng Zhuo, Lan Ma
https://arxiv.org/abs/2505.23862

A New Deep-learning-Based Approach For mRNA Optimization: High Fidelity, Computation Efficiency, and Multiple Optimization Factors
The mRNA optimization is critical for therapeutic and biotechnological applications, since sequence features directly govern protein expression levels and efficacy. However, current methods face significant challenges in simultaneously achieving three key objectives: (1) fidelity (preventing unintended amino acid changes), (2) computational efficiency (speed and scalability), and (3) the scope of optimization variables considered (multi-objective capability). Furthermore, existing methods often…