Tootfinder

SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip
Ziteng Hu, Yingjie Xia, Xiyuan Chen, Li Kuang
https://arxiv.org/abs/2508.12910

SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip
Finite State Machines (FSMs) play a critical role in implementing control logic for Systems-on-Chip (SoC). Traditionally, FSMs are implemented by hardware engineers through Verilog coding, which is often tedious and time-consuming. Recently, with the remarkable progress of Large Language Models (LLMs) in code generation, LLMs have been increasingly explored for automating Verilog code generation. However, LLM-generated Verilog code often suffers from security vulnerabilities, which is particula…

Theta-invariants of $\mathbb{Z}\pi$-homology equivalences to spherical 3-manifolds
Hisatoshi Kodani, Tadayuki Watanabe
https://arxiv.org/abs/2507.12121 htt…

Theta-invariants of $\mathbb{Z}π$-homology equivalences to spherical 3-manifolds
We study Bott and Cattaneo's $Θ$-invariant of 3-manifolds applied to $\mathbb{Z}π$-homology equivalences from 3-manifolds to a fixed spherical 3-manifold. The $Θ$-invariants are defined by integrals over configuration spaces of two points with local systems and by choosing some invariant tensors. We compute upper bounds of the dimensions of the space spanned by the Bott--Cattaneo $Θ$-invariants and of that spanned by Garoufalidis and Levine's finite type invariants of type 2. The computatio…

From fantasy to science, all in one stream! Join me as I explore Middle-earth in LOTRO while 3D printing the legendary Tiangong-1 Space Station. The only thing better than an epic quest is a real-life space build. #LOTRO #3DPrinting

SN 2023xgo: Helium rich Type Icn or Carbon-Flash Type Ibn supernova?
Anjasha Gangopadhyay, Jesper Sollerman, Konstantinos Tsalapatas, Keiichi Maeda, Naveen Dukiya, Steve Schulze, Claes Fransson, Nikhil Sarin, Priscila J. Pessi, Mridweeka Singh, Jacob Wise, Tatsuya Nakaoka, Avinash Singh, Raya Dastidar, Miho Kawabata, Yu-Jing Qing, Kaustav K. Das, Daniel Perley, Christoffer Fremling, Kenta Taguchi, K-Ryan Hinds, Ragnhild Lunnan, Rishabh Singh Teja, Monalisa Dubey, Bhavya Ailawadhi, Smar…

SN 2023xgo: Helium rich Type Icn or Carbon-Flash Type Ibn supernova?
We present observations of SN 2023xgo, a transitional Type Ibn/Icn SN, from $-5.6$ to 63 days relative to $r$-band peak. Early spectra show CIII $λ$5696 emission like Type Icn SNe, shifting to Type Ibn features. The He I velocities (1800-10000 km s$^{-1}$) and pseudo-equivalent widths are among the highest in the Ibn/Icn class. The light curve declines at 0.14 mag d$^{-1}$ until 30 days, matching SNe Ibn/Icn but slower than fast transients. SN 2023xgo is the faintest in our SN Ibn sample (M$_{…

Tonight's adventure: streaming some #LOTRO from my #TuxPoweredPC! Come join me for some Middle-earth exploration and see what quests we can conquer. #LordOfTheRingsOnline

Construction of the smallest Ree-Tits unital from the special linear group of degree two over the field with eight elements
Markus Johannes Stroppel
https://arxiv.org/abs/2506.02732

Construction of the smallest Ree-Tits unital from the special linear group of degree two over the field with eight elements
We construct the smallest Ree-Tits unital from a group of matrices that is isomorphic to the commutator group of the corresponding Ree group. The matrix description is used to determine configurations in the unital via explicit computations. Embeddings into larger Ree-Tits unitals are made explicit.

Unified description of cuprate superconductors by fractionalized electrons emerging from integrated analyses of photoemission spectra and quasiparticle interference
Shiro Sakai, Youhei Yamaji, Fumihiro Imoto, Tsuyoshi Tamegai, Adam Kaminski, Takeshi Kondo, Yuhki Kohsaka, Tetsuo Hanaguri, Masatoshi Imada
https://arxiv.org/abs/2508.01297

Unified description of cuprate superconductors by fractionalized electrons emerging from integrated analyses of photoemission spectra and quasiparticle interference
Electronic structure of high-temperature superconducting cuprates is studied by analyzing experimental data independently obtained from two complementary spectroscopies, one, quasiparticle interference (QPI) measured by scanning-tunneling microscopy and the other, angle-resolved photoemission spectroscopy (ARPES) and by combining these two sets of data in a unified theoretical analysis. Through explicit calculations of experimentally measurable quantities, we show that a simple two-component fe…

Live streaming some #LOTRO from my #Linux PC tonight! Come hang out and explore Middle-earth with me! https://www.twitch.tv/tuxramus

My Linux rig is ready for battle! Tonight, it's all about racking up those Conquest points in SWTOR. Come join the push and let's conquer the galaxy together! #StarWars