Tootfinder

Destination calculus: A linear λ-calculus for purely functional memory writes
Presented by Arnaud Spiwack. Joint work with Thomas Bagrel,
#icfpsplash25

Origin of pressure-induced anomalies in the nodal-line ferrimagnet Mn$_3$Si$_2$Te$_6$
Varun Venkatasubramanian, Makoto Shimizu, Daniel Guterding, Harald O. Jeschke
https://arxiv.org/abs/2509.18238

Origin of pressure-induced anomalies in the nodal-line ferrimagnet Mn$_3$Si$_2$Te$_6$
A pressure-induced insulator-to-metal transition (IMT) has recently been discovered in the nodal-line ferrimagnet Mn$_3$Si$_2$Te$_6$. The electronic phase transition is accompanied by anomalies in the magnetic ordering temperature and the anomalous Hall conductivity, which peak at or near the critical pressure of the IMT. We perform density functional theory (DFT) calculations as a function of pressure to reveal the driving factors behind the IMT and the magnetic anomalies in Mn$_3$Si$_2$Te$_6$…

A look at Meta's 2GW Hyperion data center in Louisiana, with the first phase opening in 2028; an analysis shows sales tax breaks on GPUs could total $3.3B (Jon Keegan/Sherwood News)
https://sherwood.news/tech/hyperion/

The power play behind Hyperion, Mark Zuckerberg’s colossal data center being built in rural Louisiana
$10 billion of investment. Code names to disguise projects and companies. Mixed opinions. Skyrocketing property values. And enough tax breaks to pay every state cop in Louisiana for seven years.

Substitution Without Copy and Paste
Thorsten Altenkirch (University of Nottingham), Nathaniel Burke (Imperial College London), Philip Wadler (University of Edinburgh)
https://arxiv.org/abs/2510.12304

Substitution Without Copy and Paste
Defining substitution for a language with binders like the simply typed $λ$-calculus requires repetition, defining substitution and renaming separately. To verify the categorical properties of this calculus, we must repeat the same argument many times. We present a lightweight method that avoids repetition and that gives rise to a simply typed category with families (CwF) isomorphic to the initial simply typed CwF. Our paper is a literate Agda script.

Is #AI really just dumb statistics? "Olympiad-level physics problem-solving presents a significant challenge for both humans and artificial intelligence (AI), as it requires a sophisticated integration of precise calculation, abstract reasoning, and a fundamental grasp of physical principles," says the (abstract of the) paper https://arxiv.org/abs/2511.10515: "The Chinese Physics Olympiad (CPhO), renowned for its complexity and depth, serves as an ideal and rigorous testbed for these advanced capabilities. In this paper, we introduce LOCA-R (LOgical Chain Augmentation for Reasoning), an improved version of the LOCA framework adapted for complex reasoning, and apply it to the CPhO 2025 theory examination. LOCA-R achieves a near-perfect score of 313 out of 320 points, solidly surpassing the highest-scoring human competitor and significantly outperforming all baseline methods." Oops ...?

Il y a déjŠ des milliers de gens sans abri. En augmentant la taxe foncière tel qu'ils le font, les loyers vont mécaniquement augmenter. Et ainsi verser encre plus de gens dans la rue et faire obstacle Š toute rénovation. C'est un coup de génie du gouvernement!

Trois questions sur l'augmentation de la taxe foncière pour 7,4 millions de logements en 2026
Prélevé chaque année par les collectivités locales, cet impôt qui concerne quelque 32 millions de propriétaires va augmenter en raison d'une mise à jour des données de calcul.

Call for Essays for Anthology Under Contract: Shirley Jackson
https://ift.tt/CXlzZLE
updated: Wednesday, December 17, 2025 - 3:24pmfull name / name of organization: Joseph Michael…
via Input 4 RELCFP

Bilateral facial reduction: qualification-free subdifferential calculus and exact duality in convex analysis
Matthew S. Scott
https://arxiv.org/abs/2510.12244 https://

Bilateral facial reduction: qualification-free subdifferential calculus and exact duality in convex analysis
This paper introduces a geometric framework to extend convex analysis results beyond standard qualification conditions such as intersecting relative interiors of domains. We define the joint facial subspace $T$ as the span of the face of $C - D$ generated by $0$, with its affine translation $T_a$ containing $C \cap D$. The intersections $C \cap T_a$ and $D \cap T_a$ are faces of the original sets, establishing $T_a$ as a bilateral facial reduction with parallels to Borwein-Wolkowicz facial redu…

Israel-based RAAAM, whose "GCRAM" on-chip memory tech aims to deliver up to 10x power savings relative to high-density SRAM, raised a $17M Series A led by NXP (Meir Orbach/CTech)
https://www.calcalistech.com/ctechnews/article/sjjv3pp1bg

Chip giant NXP leads $17.5M Series A for Israeli startup tackling AI’s memory bottleneck
RAAAM Memory Technologies’ “GCRAM” promises denser, lower-power on-chip memory as the semiconductor industry races to support next-generation AI processors. 

I just published a post on an interesting MSc thesis I supervised. Arvid Rydberg and Selina Sand Engberg took on the computational challenge of level-p-complexity (D_p(f)) of Boolean functions.
They optimised the algorithms using hash-consing & normalisation, and developed tools for exact calculations using algebraic numbers.
Details:
https:/…