Tootfinder

OpenAI debuts GPT‑5-Codex, a version of GPT‑5 optimized for agentic coding in Codex and says it spends its "thinking" time more dynamically than previous models (Maxwell Zeff/TechCrunch)
https://techcrunch.com/2025/09/15/openai-upgrades-codex-wi…

OpenAI upgrades Codex with a new version of GPT-5 | TechCrunch
OpenAI's AI coding agent, Codex, can now spend anywhere from a few seconds to several hours on a task, thanks to a new, customized version of GPT-5.

Discrimination by LLMs: Cross-lingual Bias Assessment and Mitigation in Decision-Making and Summarisation
Willem Huijzer, Jieying Chen
https://arxiv.org/abs/2509.09735 https://

Discrimination by LLMs: Cross-lingual Bias Assessment and Mitigation in Decision-Making and Summarisation
The rapid integration of Large Language Models (LLMs) into various domains raises concerns about societal inequalities and information bias. This study examines biases in LLMs related to background, gender, and age, with a focus on their impact on decision-making and summarization tasks. Additionally, the research examines the cross-lingual propagation of these biases and evaluates the effectiveness of prompt-instructed mitigation strategies. Using an adapted version of the dataset by Tamkin et…

According to the TidBITS article “A Roundup of Vertical Tab Support in Mac Web Browsers” <https://tidbits.com/2023/06/05/a-roundup-of-vertical-tab-support-in-mac-web-browsers/>, Safari supports vertical tabs since version 16.
I did not know it!
I don’t seem to be able to get the Safari vertical tabs to work though.
I can see the list of tabs in the Sidebar.
I also have the tabs displays horizontally at the top of the window (in both Separate or Compact mode).
I was expecting no tabs at the top when using vertical tabs. Is that not what you’d expect when thinking about vertical tabs?

GPT-5 review: GPT-5-Thinking is a substantial upgrade over o3, Auto is only useful for free tier users, picking the right model still matters, and more (Zvi Mowshowitz/Don't Worry About the Vase)
https://thezvi.substack.com/p/gpt-5s-are-alive-synthesis

GPT-5s Are Alive: Synthesis
What do I ultimately make of all the new versions of GPT-5?

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
https://arxiv.org/abs/2509.08727

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Authors of cryptographic software are well aware that their code should not leak secrets through its timing behavior, and, until 2018, they believed that following industry-standard constant-time coding guidelines was sufficient. However, the revelation of the Spectre family of speculative execution attacks injected new complexities. To block speculative attacks, prior work has proposed annotating the program's source code to mark secret data, with hardware using this information to decide wh…

Instance-Optimal Matrix Multiplicative Weight Update and Its Quantum Applications
Weiyuan Gong, Tongyang Li, Xinzhao Wang, Zhiyu Zhang
https://arxiv.org/abs/2509.08911 https://

Instance-Optimal Matrix Multiplicative Weight Update and Its Quantum Applications
The Matrix Multiplicative Weight Update (MMWU) is a seminal online learning algorithm with numerous applications. Applied to the matrix version of the Learning from Expert Advice (LEA) problem on the $d$-dimensional spectraplex, it is well known that MMWU achieves the minimax-optimal regret bound of $O(\sqrt{T\log d})$, where $T$ is the time horizon. In this paper, we present an improved algorithm achieving the instance-optimal regret bound of $O(\sqrt{T\cdot S(X||d^{-1}I_d)})$, where…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan

Continuing our 3D print today of the Shenzhou capsule and Tiangong space station! Tune in to see the progress on this cool space model. #3dprinting

Tangent structures for divided power algebras
Sacha Ikonicoff
https://arxiv.org/abs/2508.16302 https://arxiv.org/pdf/2508.16302

Tangent structures for divided power algebras
We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of Kähler differentials, and which is similar to the Zariski cotangent space for affine schemes. We study vector fields and differential bundles for these two structures, which correspond respectively to a notion of special derivation, and to the category of modules over the unde…

Thanks to a book recommendation by @… [1], I went on a tangent learning more about the absolutely fascinating history and workings of core memory (and core rope memory, its read-only version). Some of this also very interesting for #PermaComputing and …