Tootfinder

The 81st edition of De Programmatica Ipsum is out!
This month, we worry about the perils of vibe coding in the minds of new generations of software developers; in the Library section, we review "Geek Sublime" by Vikram Chandra; and in our Vidéothèque section, we watch a 1986 interview of Grace Hopper at "Late Night with David Letterman".

Chesterton’s Fence and paralysing your organization
https://frederickvanbrabant.com/blog/2025-07-11-chestertons-fence-and-paralysing-your-organization/?utm_source=programming

Integrating Belief Domains into Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
https://arxiv.org/abs/2507.17291 https://arx…

Integrating Belief Domains into Probabilistic Logic Programs
Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is its suitability for implementation as a Prolog or Python library, available through two well-maintained implementations, namely ProbLog and cplint/PITA. However, current formulations of the Distribution Semantics use point-probabilities, making it difficult to express epistemic uncertainty, such as arises from, for e…

A Demonstration of Interstellar Navigation Using New Horizons
Tod R. Lauer, David H. Munro, John R. Spencer, Marc W. Buie, Edward L. Gomez, Gregory S. Hennessy, Todd J. Henry, George H. Kaplan, John F. Kielkopf, Brian H. May, Joel W. Parker, Simon B. Porter, Eliot Halley Vrijmoet, Harold A. Weaver, Pontus Brandt, Kelsi N. Singer, S. Alan Stern, Anne. J. Verbiscer, Pedro Acosta, Nicol\'as Ariel Arias, Sergio Babino, Gustavo Enrique Ballan, V\'ictor \'Angel Buso, Steven J. Co…

A Demonstration of Interstellar Navigation Using New Horizons
As NASA's New Horizons spacecraft exits the Solar System bound for interstellar space, it has traveled so far that the nearest stars have shifted markedly from their positions seen from Earth. We demonstrated this by imaging the Proxima Centauri and Wolf 359 fields from Earth and New Horizons on 2020 April 23, when the spacecraft was 47.1 au distant. The observed parallaxes for Proxima Centauri and Wolf 359 are $32.4''$ and $15.7'',$ respectively. These measurements are not of research grade, b…

Hybridizable Discontinuous Galerkin Methods for Thermo-Poroelastic Systems
Salim Meddahi
https://arxiv.org/abs/2506.17978 https://arx…

Hybridizable Discontinuous Galerkin Methods for Thermo-Poroelastic Systems
We propose a high-order hybridizable discontinuous Galerkin (HDG) formulation for the fully dynamic, linear thermo-poroelasticity problem. The governing equations are formulated as a first-order hyperbolic system incorporating solid and fluid velocities, heat flux, effective stress, pore pressure, and temperature as state variables. We establish well-posedness of the continuous problem using semigroup theory and develop an energy-consistent HDG discretization. The method exploits computational …

Harvard Divinity School broke precedent
by refusing to publish a video of its commencement speech
after a speaker went off-script to call attention to the perilous conditions in Gaza.
“There are no safe zones left in Gaza after 600 days and 77 years of genocide,” said Zehra Imam,
who graduated from the Harvard Divinity School this spring and participated in the embattled Religion and Public Life program.
Imam, who is Muslim, was speaking with two other students f…

A Harvard Commencement Speaker Mentioned Gaza. The School Refused to Publish Her Speech.
Divinity School insiders said Harvard’s practices are at odds with the public perception that the university is fighting Trump.

from my link log —
How to take the inverse of a type.
https://2022.ecoop.org/details/ecoop-2022-papers/6/How-to-Take-the-Inverse-of-a-Type
saved 2025-06-03

How to Take the Inverse of a Type (ECOOP 2022 - Research Papers) - ECOOP 2022
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.

"The overall life expectancy of a programming language has dwindled in the past 56 years. A COBOL developer in the 1960s most probably retired in the 2000s, still writing COBOL. As a former professional VBScript, then C#, then Objective-C, later Swift, and finally Go developer, I can only see this trend accelerating. We should expect our favorite programming language to be replaced and removed from the market in a relatively shorter time every decade."

Roles of Non-switchable Domains and Internal Bias in Electrocaloric and Pyroelectric effects
Jun Usami, Yuki Okamoto, Hisashi Inoue, Takeshi Kobayashi, Hiroyuki Yamada
https://arxiv.org/abs/2506.07573

Roles of Non-switchable Domains and Internal Bias in Electrocaloric and Pyroelectric effects
Solid-state cooling and energy harvesting via pyroelectric effect (PEE) and electrocaloric effect (ECE) in ferroelectric thin films could be enhanced beyond their intrinsic ferroelectric response by exploiting the recently observed direction-dependent enhancement of the PEE; however, its microscopic origin remains unknown. Herein, we report direct hysteresis measurements of pyrocurrent ($I_{\rm p}$) and ECE-induced temperature change versus bias voltage in 1-$μ$m-thick Pb(Zr$_{0.65}$Ti$_{0.35}…

Unified numerical analysis for thermoelastic diffusion and thermo-poroelasticity of thin plates
Neela Nataraj, Ricardo Ruiz-Baier, Aamir Yousuf
https://arxiv.org/abs/2506.14455

Unified numerical analysis for thermoelastic diffusion and thermo-poroelasticity of thin plates
We investigate a coupled hyperbolic-parabolic system modeling thermoelastic diffusion (resp. thermo-poroelasticity) in plates, consisting of a fourth-order hyperbolic partial differential equation for plate deflection and two second-order parabolic partial differential equations for the first moments of temperature and chemical potential (resp. pore pressure). The unique solvability of the system is established via Galerkin approach, and the additional regularity of the solution is obtained und…