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…

Few-shot transfer of tool-use skills using human demonstrations with proximity and tactile sensing
Marina Y. Aoyama, Sethu Vijayakumar, Tetsuya Narita
https://arxiv.org/abs/2507.13200

Few-shot transfer of tool-use skills using human demonstrations with proximity and tactile sensing
Tools extend the manipulation abilities of robots, much like they do for humans. Despite human expertise in tool manipulation, teaching robots these skills faces challenges. The complexity arises from the interplay of two simultaneous points of contact: one between the robot and the tool, and another between the tool and the environment. Tactile and proximity sensors play a crucial role in identifying these complex contacts. However, learning tool manipulation using these sensors remains challe…

APB: twitchy siren
Maybe it's the conversion to the Xbox pad, but APB is incredibly difficult to control. In order to arrest someone you have to have your cursor over them and press the siren, because obviously criminals are only going to pay attention to a police car which is an exact distance away from them. The thing is that the cursor is not at a set distance from your car, but instead varies with the speed you're going.

I have a large amount of code logging using logrus, and it's basically abandonware now that slog is in Go standard.
Big problem.
I spent some time getting Claude Code to make me a full drop-in replacement for logrus. I moved my biggest project to slog in sub 1 hour with this. Quality wise I think the generated outcome is pretty good - I would not have done it this well as its super tedious work.
I can gradually move to slog for new code with a aim to eradicate logrus…

Results from IceCube Follow-up of Nearby Supernova SN2023ixf
Alicia Mand, Justin Vandenbroucke, Jessie Thwaites, Sam Hori, Aswathi Balagopal V
https://arxiv.org/abs/2507.07097

Results from IceCube Follow-up of Nearby Supernova SN2023ixf
Core-collapse supernovae are of particular interest in multi-messenger astronomy due to their potential to accelerate cosmic rays and produce high-energy neutrinos. One such supernova is the recent SN2023ixf located in M101 (the Pinwheel Galaxy). It is the closest (6.4 Mpc) and brightest (B band magnitude 10.8) core-collapse supernova in nearly a decade. This supernova likely had a progenitor surrounded by dense circumstellar material which, during the supernova, may have produced neutrinos whe…

Interessanter Beitrag dazu, dass in unserer Welt vieles auf Männer ausgerichtet ist. Diesmal: Fußball
Da Frauen im Schnitt 15 % kleiner sind als Männer u. weniger Muskelmasse haben, müssten Spielfeld und Tor um 15 % verkleinert und die Spielzeit entsprechend verkürzt werden.
Das Experiment wurde tatsächlich gemacht, allerdings anders rum: Alles wurde vergrößert u. verlängert (der Ball wurde zudem schwerer) und dann haben die Männer unter diesen Bedingungen gespielt 🧵

CLF-RL: Control Lyapunov Function Guided Reinforcement Learning
Kejun Li, Zachary Olkin, Yisong Yue, Aaron D. Ames
https://arxiv.org/abs/2508.09354 https://

CLF-RL: Control Lyapunov Function Guided Reinforcement Learning
Reinforcement learning (RL) has shown promise in generating robust locomotion policies for bipedal robots, but often suffers from tedious reward design and sensitivity to poorly shaped objectives. In this work, we propose a structured reward shaping framework that leverages model-based trajectory generation and control Lyapunov functions (CLFs) to guide policy learning. We explore two model-based planners for generating reference trajectories: a reduced-order linear inverted pendulum (LIP) mode…

DS@GT at CheckThat! 2025: Exploring Retrieval and Reranking Pipelines for Scientific Claim Source Retrieval on Social Media Discourse
Jeanette Schofield, Shuyu Tian, Hoang Thanh Thanh Truong, Maximilian Heil
https://arxiv.org/abs/2507.06563

DS@GT at CheckThat! 2025: Exploring Retrieval and Reranking Pipelines for Scientific Claim Source Retrieval on Social Media Discourse
Social media users often make scientific claims without citing where these claims come from, generating a need to verify these claims. This paper details work done by the DS@GT team for CLEF 2025 CheckThat! Lab Task 4b Scientific Claim Source Retrieval which seeks to find relevant scientific papers based on implicit references in tweets. Our team explored 6 different data augmentation techniques, 7 different retrieval and reranking pipelines, and finetuned a bi-encoder. Achieving an MRR@5 of 0.…

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Norwegian Radio Orchestra, Camille Saint-Saëns, Jouko Harjanne & Ari Rasilainen:
🎵 Mon coeur s'ouvre from 'Samson et Dalila' (arr for trumpet & orchestra)
#JoukoHarjanne
https://open.spotify.com/track/3Ta0tjyk9IxT5RJz3DrInb

XRISM/Resolve View of Abell 2319: Turbulence, Sloshing, and ICM Dynamics
XRISM Collaboration, Marc Audard, Hisamitsu Awaki, Ralf Ballhausen, Aya Bamba, Ehud Behar, Rozenn Boissay-malaquin, Laura Brenneman, Gregory V. Brown, Lia Corrales, Elisa Costantini, Renata Cumbee, Maria Diaz Trigo, Chris Done, Tadayasu Dotani, Ken Ebisawa, Megan E. Eckart, Dominique Eckert, Satoshi Eguchi, Teruaki Enoto, Yuichiro Ezoe, Adam Foster, Ryuichi Fujimoto, Yutaka Fujita, Yasushi Fukazawa, Kotaro Fukushi…

XRISM/Resolve View of Abell 2319: Turbulence, Sloshing, and ICM Dynamics
We present results from XRISM/Resolve observations of the core of the galaxy cluster Abell 2319, focusing on its kinematic properties. The intracluster medium (ICM) exhibits temperatures of approximately 8 keV across the core, with a prominent cold front and a high-temperature region ($\sim$11 keV) in the northwest. The average gas velocity in the 3 arcmin $\times$ 4 arcmin region around the brightest cluster galaxy (BCG) covered by two Resolve pointings is consistent with that of the BCG to wi…