Tootfinder

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
Julie Cailler, Simon Guilloud
https://arxiv.org/abs/2507.11349 https://

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-order logic: SC-TPTP. To avoid multiplication of standards, our proposed format over-specifies the TPTP derivation format by focusing on sequent formalisms. By doing so, it provides a high level of detail, is faithful to mathematical tradition, a…

Brand new 8-bit Big Band album out. Have a listen and get it from here instead of streaming it (especially if you're spotifying): https://the8bitbigband.bandcamp.com/album/orchestrator-emulator

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Tracy Chapman:
🎵 Talking About a Revolution
#TracyChapman
https://fleesh.bandcamp.com/track/talking-about-a-revolution-feat-lisa-n-tracy-chapman
https://open.spotify.com/track/0YMFcrMtBowDdD5bPz0cgy

🇺🇦 #NowPlaying on BBCRadio3's #SundayMorning
Georg Philipp Telemann, Tabea Debus, Claudia Norz, Henry Tong, Jonathan Rees, Jordan Brown & Tom Foster:
🎵 Recorder Sonata in C major, TWV 41:C2 (4th mvt)
#TabeaDebus
https://open.spotify.com/track/54WmRQuJmoPxyxc0NjNgM7

#Filament 4 Beta Released with New #Tiptap Rich Editor 🎉
• 🏷️ Merge Tags with dynamic data integration using {{}} syntax and searchable previews for #Laravel applications
🧵 👇

The Influence of Magnetic Fields on Second-Generation Star Formation in Globular Clusters
Asiyeh Yaghoobi, Fatemeh Tabatabaei, Joakim Rosdahl, Benoit Commercon, Somayeh Sheikhnezami, Francesco Calura
https://arxiv.org/abs/2507.12528

The Influence of Magnetic Fields on Second-Generation Star Formation in Globular Clusters
We investigate the previously unexplored role of magnetic fields in the formation of second-generation (SG) stars in proto-globular clusters (GCs) using 3D radiation-magnetohydrodynamical simulations. This study is based on the asymptotic giant branch (AGB) scenario and incorporates photoionization feedback and stellar winds from AGB stars. We model SG formation within a young ($34$ Myr) massive ($10^6 $ Msun) proto-GC moving through a magnetized, homogeneous interstellar medium. Our results in…

Progress! By running a #Debian sarge (2005) dhcpd my javastation now gets as far as wanting to tftp! Figuring out what modern dhcpd's do (even the isc one) is for a later date
14:46:20.679254 IP krups.44549 > 192.168.69.1.tftp: TFTP, length 17, RRQ "C0A84502" octet
#retrocomputing

I just tagged a new release of AttributeUtils for #PHP!
Version 1.3 includes support for reading reflection in sub-attributes, as well as improved type analysis support in TypeDef.
The new version is just a `composer update` away!
https://

The Dependently Typed Higher-Order Form for the TPTP World
Daniel Ranalter, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe
https://arxiv.org/abs/2507.03208

The Dependently Typed Higher-Order Form for the TPTP World
Much of the current research and development in the field of automated reasoning builds on the infrastructure provided by the TPTP World. The TPTP language for logical formulae is central to the far-reaching adoption of the TPTP World. This paper introduces the Dependently Typed higher-order Form (DTF) of the TPTP language. It takes advantage of already established binders in the syntax, and is thus a minimally intrusive extension to the Typed Higher-order Form (THF). A starting set of over 100…

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Tracy Chapman:
🎵 Talking About a Revolution
#TracyChapman
https://fleesh.bandcamp.com/track/talking-about-a-revolution-feat-lisa-n-tracy-chapman
https://open.spotify.com/track/0YMFcrMtBowDdD5bPz0cgy