Tootfinder

idea: compile the PHP interpreter to WebAssembly and use fetch() to grab raw .php files from the server so you can render it client-side

phpc.social is now running Mastodon v4.4.4. Had to do a `yarn install` to get assets to compile, but other than that an uneventful upgrade ~5.3 hours after the release.
#mastoadmin

#Go escape, or... //go:noescape
"meaning that the function has an implementation not written in Go"
very mysterious.
https://pkg.go.dev/cmd/compile
Today I learned a few first things about…

When one of the first things you do is lookup if FreeBSD has the MangoWM in it's ports you know what kind of day it'll be 🤓 It doesn't btw, so I guess I'll possibly go for a compile.
#freebsd

3D Human Pose and Shape Estimation from LiDAR Point Clouds: A Review
Salma Galaaoui, Eduardo Valle, David Picard, Nermin Samet
https://arxiv.org/abs/2509.12197 https://

3D Human Pose and Shape Estimation from LiDAR Point Clouds: A Review
In this paper, we present a comprehensive review of 3D human pose estimation and human mesh recovery from in-the-wild LiDAR point clouds. We compare existing approaches across several key dimensions, and propose a structured taxonomy to classify these methods. Following this taxonomy, we analyze each method's strengths, limitations, and design choices. In addition, (i) we perform a quantitative comparison of the three most widely used datasets, detailing their characteristics; (ii) we compile u…

Do LLMs Understand Wine Descriptors Across Cultures? A Benchmark for Cultural Adaptations of Wine Reviews
Chenye Zou, Xingyue Wen, Tianyi Hu, Qian Janice Wang, Daniel Hershcovich
https://arxiv.org/abs/2509.12961

Do LLMs Understand Wine Descriptors Across Cultures? A Benchmark for Cultural Adaptations of Wine Reviews
Recent advances in large language models (LLMs) have opened the door to culture-aware language tasks. We introduce the novel problem of adapting wine reviews across Chinese and English, which goes beyond literal translation by incorporating regional taste preferences and culture-specific flavor descriptors. In a case study on cross-cultural wine review adaptation, we compile the first parallel corpus of professional reviews, containing 8k Chinese and 16k Anglophone reviews. We benchmark both ne…

Researchers used an off-the-shelf system to compile a vast collection of private data, including T-Mobile users' calls and texts, sent by satellites unencrypted (Wired)
https://www.wired.com/story/satellites-are-leaking-the-w…

Satellites Are Leaking the World’s Secrets: Calls, Texts, Military and Corporate Data
With just $800 in basic equipment, researchers found a stunning variety of data—including thousands of T-Mobile users’ calls and texts and even US military communications—sent by satellites unencrypted.

Who Uses Whose Telescopes? Analyzing the Knowledge Geography and Research Dominance of Global Astronomical Facilities
Yue Chen (Institute of Science of Science,S&T Management,WISE Lab, Dalian University of Technology), Yuqi Wang (Institute of Science of Science,S&T Management,WISE Lab, Dalian University of Technology), Yuying Gao (Institute of Science of Science,S&T Management,WISE Lab, Dalian University of Technology), Zhiqi Wang (Institute of Science of Science,S&T Ma…

Who Uses Whose Telescopes? Analyzing the Knowledge Geography and Research Dominance of Global Astronomical Facilities
Large-scale research infrastructures (LSRIs) are central to contemporary science policy, combining massive capital investments with international access regimes. Yet whether open access to these infrastructures translates into more equitable scientific authority remains contested. Astronomy provides a critical case: world-leading observatories are globally shared but embedded in specific national contexts. We compile a novel country--year dataset (1955--2025) linking the location of astronomica…

we have static_assert at home

Like do you even know how long it takes to compile Gentoo on a dildo

Geopolitical Barriers to Globalization
Tianyu Fan, Mai Wo, Wei Xiang
https://arxiv.org/abs/2509.12084 https://arxiv.org/pdf/2509.12084

Geopolitical Barriers to Globalization
This paper systematically estimates and quantifies how geopolitical alignment shapes global trade across three distinct eras: the Cold War, hyper-globalization, and contemporary fragmentation. We construct a novel measure of bilateral alignment using large language models to compile and analyze 833,485 political events spanning 193 countries from 1950 to 2024. Our analysis reveals that trade flows systematically track geopolitical alignment in both bilateral relationships and aggregate patterns…

from my link log —
Bringing runtime index checks to compile time in Rust.
https://ktkaufman03.github.io/blog/2023/04/20/rust-compile-time-checks/
saved 2023-04-27

Catalog and Characterization of Science Orbit Configurations for an Enceladus Orbiter
Spencer Boone, Joan Pau Sanchez Cuartialles, St\'ephanie Lizy-Destrez
https://arxiv.org/abs/2510.12421

Catalog and Characterization of Science Orbit Configurations for an Enceladus Orbiter
Saturn's moon Enceladus is an exciting destination for future exploration missions due to the scientifically interesting geyser region located on its South pole. In this work, we compile the different types of science orbit configurations that have been proposed in the literature and present numerical methods to compute each of them in the Saturn-Enceladus circular restricted three-body problem (CR3BP). In addition, we explore the utility of the higher period dynamical structures found in the C…

The Trump administration wants the last four digits of every voter’s Social Security number
—as part of its sweeping efforts to compile a federal voting database
The administration could use the database to investigate claims of noncitizen voting,
an obsession of Trump and other Republicans who claimed the 2020 election had been stolen through massive voter fraud.
In reality, the only ones concocting a scheme to fake votes in that election were in Donald Trump’s camp.

In Disturbing Move, Trump’s DOJ Demands Voting Data From States
It’s part of a sweeping project led by election deniers. Voting rights advocates are alarmed.

Since 2020, there have been at least 52 stalking cases involving sports figures https://www.nytimes.com/athletic/6547129/2025/08/12/prominent-athlete-stalking-incidents-cases-list/

Gophers... why do you put your args in float registers?
I feel like that's a Plan 9 thing inherited, much like the SB pseudo register.
I've spent the last couple of days down there in the Go runtime.
And I am quite close to finishing a patch. 🥳✨👩‍💻
On that note, Go documents quite a lot of stuff very nicely.
Have a look at the internal ABI specification:

- The Go Programming Language

HWO Target Stars and Systems: A Survey of Archival UV and X-ray Data
Sarah Peacock, David J. Wilson, Tyler Richey-Yowell, Noah W. Tuchow, Kevin France, Jos\'e A. Caballero, Riccardo Spinelli, L\'ia Corrales, Aiden S. Zelakiewicz, Seth Redfield, Keighley Rockcliffe, Allison Youngblood, Cynthia S. Froning, Girish M. Duvvuri, Breanna A. Binder, Natalie R. Hinkel, Eric E. Mamajek
…

HWO Target Stars and Systems: A Survey of Archival UV and X-ray Data
We assess archival high-energy data for key stars on the Habitable Worlds Observatory (HWO) Target Stars and Systems 2025 list, as stellar radiation is critical to shaping and interpreting planetary atmospheres. Using a sample of 98 nearby stars (HWO Tier 1 targets), we compile and evaluate X-ray and ultraviolet (UV) data from archival eROSITA, Chandra, XMM-Newton, ROSAT, EUVE, Swift, FUSE, IUE, GALEX, and HST. We examine spectral and temporal coverage, assess data quality, and identify major g…

Fast and Extensible Hybrid Embeddings with Micros
Sean Bocirnea, William J. Bowman
https://arxiv.org/abs/2509.07551 https://arxiv.org/pdf/2509.07551…

Fast and Extensible Hybrid Embeddings with Micros
Macro embedding is a popular approach to defining extensible shallow embeddings of object languages in Scheme like host languages. While macro embedding has even been shown to enable implementing extensible typed languages in systems like Racket, it comes at a cost: compile-time performance. In this paper, we revisit micros - syntax to intermediate representation (IR) transformers, rather than source syntax to source syntax transformers (macros). Micro embedding enables stopping at an IR, produ…

I love my SwiftUI Observable view-models, how I use some 150 of them in Xogot:
https://blog.la-terminal.net/blissful-ui-development-with-swiftui-and-godot/

Blissful UI Development with SwiftUI and Godot.
Xogot is a SwiftUI interface built on top of the Godot engine. To speed up development, we needed a way to build large portions of the user interface without having to compile and deploy the entire project every time. A full build of the app in Godot takes a couple

EVOC2RUST: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
Chaofan Wang, Tingrui Yu, Jie Wang, Dong Chen, Wenrui Zhang, Yuling Shi, Xiaodong Gu, Beijun Shen
https://arxiv.org/abs/2508.04295

EVOC2RUST: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
Rust's compile-time safety guarantees make it ideal for safety-critical systems, creating demand for translating legacy C codebases to Rust. While various approaches have emerged for this task, they face inherent trade-offs: rule-based solutions face challenges in meeting code safety and idiomaticity requirements, while LLM-based solutions often fail to generate semantically equivalent Rust code, due to the heavy dependencies of modules across the entire codebase. Recent studies have revealed t…

Development environment hell is something I'm increasingly less capable of trudging through as my career progresses.
- "You don't have the exact right version of the JDK”
- "Well actually, it's this flavor of TypeScript”
- “No, the SDK runtime is 9.1.200 not 9.1.199”
- "Sorry compile error, we need to download iOS 26.1 not iOS 26”
- “This IDE no longer supports this version of Kotlin”
I might be a turnip farmer soon.

Since at this point everyone surely has seen
The Big OOPs: Anatomy of a Thirty-five-year Mistake
(and quartz, of course)
At its 2.5h & focus on game dev, it’s a bit difficult to generally recommend, but it's of course catnip to ME.
And this slide everyone should get framed.
We are not biologists. We don’t need to build taxonomies on what something IS. Focus on DOING, not BEING.
Almost every OOP intro gets this wrong.

Raiders Pre-Game Notes—Week 1 Edition, Paying Josh McDaniels A Visit https://raiderramble.com/2025/09/06/raiders-pre-game-notes-week-1-edition-paying-josh-mcdaniels-a-visit/

The ExoGRAVITY survey: a K-band spectral library of giant exoplanet and brown dwarf companions
J. Kammerer, T. O. Winterhalder, S. Lacour, T. Stolker, G. -D. Marleau, W. O. Balmer, A. F. Moore, L. Piscarreta, C. Toci, A. M\'erand, M. Nowak, E. L. Rickman, L. Pueyo, N. Pourr\'e, E. Nasedkin, J. J. Wang, G. Bourdarot, F. Eisenhauer, Th. Henning, R. Garcia Lopez, E. F. van Dishoeck, T. Forveille, J. D. Monnier, R. Abuter, A. Amorim, M. Benisty, J. -P. Berger, H. Beust, S. Blunt, A…

The ExoGRAVITY survey: a K-band spectral library of giant exoplanet and brown dwarf companions
Direct observations of exoplanet and brown dwarf companions with near-infrared interferometry, first enabled by the dual-field mode of VLTI/GRAVITY, provide unique measurements of the objects' orbital motion and atmospheric composition. Here, we compile a homogeneous library of all exoplanet and brown dwarf K-band spectra observed by GRAVITY thus far. We re-reduce all available GRAVITY dual-field high-contrast data and, where companions are detected, extract their ~2.0-2.4 $μ$m K-band contrast…

I’ve been discussing some agent swarm based development work on LinkedIn. So far it’s going well, I’m figuring out how to get the results I want from the tools. As I say there, it feels more like managing a team of experienced product managers and developers (which I’ve done a few times in my career) than doing developer work faster.

Update on my Swift/iOS app development work using Claude-flow. | Adrian Cockcroft
Update on my Swift/iOS app development work using Claude-flow. I took some time away from it but last week I continued cleaning up the code. The app was working for me but Claude had built over 200 tests, unit tests and UI automation tests and I spent a day focused on getting them all to work, which found a few issues in the app code. Claude isn’t as good at writing Swift as Python (which tends to work first time) but when the compile failures and test error logs are passed back to it, it d…

Sonnet 078 - LXXVIII
So oft have I invoked thee for my Muse,
And found such fair assistance in my verse
As every alien pen hath got my use
And under thee their poesy disperse.
Thine eyes, that taught the dumb on high to sing
And heavy ignorance aloft to fly,
Have added feathers to the learned's wing
And given grace a double majesty.
Yet be most proud of that which I compile,
Whose influence is thine, and born of thee:
In o…

Some of our internal builds have been building with Xcode 26 betas since WWDC, but yesterday evening I went ahead and switched over everything else that isn't on a release branch, so we now have 50 targets building with beta 4.
The most common build issue we've run into in our code is declaring the size of a C array using `const int`, which we now declare as an `enum` as a stronger compile-time guarantee of its constant value:
- const int OFXMLIDLength = 11;
enum {…

Love how on LWN you can read a really insightful and interesting comment by someone and then somewhere else you can read the same person saying
"Why would someone need [a bootloader]? You can compile the Linux kernel to a UEFI application and boot it directly. Also, ELILO still works."
Course, I do still prefer it to all the places where I only see the latter kinds of comment.

Breaking the Code: Security Assessment of AI Code Agents Through Systematic Jailbreaking Attacks
Shoumik Saha, Jifan Chen, Sam Mayers, Sanjay Krishna Gouda, Zijian Wang, Varun Kumar
https://arxiv.org/abs/2510.01359

Breaking the Code: Security Assessment of AI Code Agents Through Systematic Jailbreaking Attacks
Code-capable large language model (LLM) agents are increasingly embedded into software engineering workflows where they can read, write, and execute code, raising the stakes of safety-bypass ("jailbreak") attacks beyond text-only settings. Prior evaluations emphasize refusal or harmful-text detection, leaving open whether agents actually compile and run malicious programs. We present JAWS-BENCH (Jailbreaks Across WorkSpaces), a benchmark spanning three escalating workspace regimes that mirror a…

from my link log —
Making a compiler to prove tmux Is Turing complete.
https://willhbr.net/2024/03/15/making-a-compiler-to-prove-tmux-is-turing-complete/
saved 2025-08-01

STRRINGS: STReams in Residual Images of Nearby GalaxieS
E. Sola, D. Chemaly, V. Belokurov, O. M\"uller, A. Ardern-Arentsen, E. Y. Davies, J. Laguna-Miralles, G. Myeong, K. Panagiotakis, H. Zhang, D. Erkal, S. E. Koposov, D. Lang, J. Nibauer
https://arxiv.org/abs/2508.02154

STRRINGS: STReams in Residual Images of Nearby GalaxieS
Tidal features from galaxy mergers, particularly stellar streams, offer valuable insights into galaxy assembly and dark matter halo properties. This paper aims to identify a large sample of nearby stellar streams suitable for detailed modelling and comparison with simulations to enable population-level constraints on halo properties. We visually inspect and compile a tidal feature catalogue for $19,387$ galaxies with redshift $z \leq 0.02$ from the Siena Galaxy Atlas 2020 using original, model,…

RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing
Serhan Gener, Aditya Ukarande, Shilpa Mysore Srinivasa Murthy, Sahil Hassan, Joshua Mack, Chaitali Chakrabarti, Umit Ogras, Ali Akoglu
https://arxiv.org/abs/2507.20514

RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing
Efficient memory management in heterogeneous systems is increasingly challenging due to diverse compute architectures (e.g., CPU, GPU, FPGA) and dynamic task mappings not known at compile time. Existing approaches often require programmers to manage data placement and transfers explicitly, or assume static mappings that limit portability and scalability. This paper introduces RIMMS (Runtime Integrated Memory Management System), a lightweight, runtime-managed, hardware-agnostic memory abstractio…

Next up: using assertions to make sure that if a program is wrong it doesn't compile. #GophersUnite

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Marco Ciccal\`e, Daniel Jurjo-Rivas, Jose F. Morales, Pedro L\'opez-Garc\'ia, Manuel V. Hermenegildo
https://arxiv.org/abs/2507.17233

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Higher-order constructs enable more expressive and concise code by allowing procedures to be parameterized by other procedures. Assertions allow expressing partial program specifications, which can be verified either at compile time (statically) or run time (dynamically). In higher-order programs, assertions can also describe higher-order arguments. While in the context of (C)LP, run-time verification of higher-order assertions has received some attention, compile-time verification remains rela…

Resource-efficient Variational Block-Encoding
Leon Rullk\"otter, Sebastian Weber, Vamshi Mohan Katukuri, Christian Tutschku, Bharadwaj Chowdary Mummaneni
https://arxiv.org/abs/2507.17658

Resource-efficient Variational Block-Encoding
Block-encoding operators are one of the essential components in quantum algorithms based on Quantum Signal Processing. Their gate complexity largely determines the overall gate complexity of the full algorithm. Using variational methods, we aim to compile block-encoding unitaries with near-optimal resource requirements for a large range of input matrices. We find that the number of variational parameters in the parameterized quantum circuit approaches the number of free parameters in the input …

Automatic coherence-driven inference on arguments
Steve Huntsman
https://arxiv.org/abs/2509.18523 https://arxiv.org/pdf/2509.18523

Methodology for Test Case Allocation based on a Formalized ODD
Martin Skoglund, Fredrik Warg, Anders Thoren, Sasikumar Punnekkat, Hans Hansson
https://arxiv.org/abs/2509.02311 h…

Methodology for Test Case Allocation based on a Formalized ODD
The emergence of Connected, Cooperative, and Automated Mobility (CCAM) systems has significantly transformed the safety assessment landscape. Because they integrate automated vehicle functions beyond those managed by a human driver, new methods are required to evaluate their safety. Approaches that compile evidence from multiple test environments have been proposed for type-approval and similar evaluations, emphasizing scenario coverage within the systems Operational Design Domain (ODD). Howeve…

just like vmlinux embeds the vDSO, i think there should be a way to compile linux such that it embeds a copy of busybox, and all of the ELF loading code is bypassed in favor of mapping the executable into the new address space and transferring control to its entry point

from my link log —
Speed wins when fuzzing Rust code with #[derive(Arbitrary)].
https://nnethercote.github.io/2025/08/16/speed-wins-when-fuzzing-rust-code-with-derive-arbitrary.html
saved 2025-08-22

Mineral Detection of Neutrinos and Dark Matter 2025 Proceedings
Shigenobu Hirose, Patrick Stengel, Natsue Abe, Daniel Ang, Lorenzo Apollonio, Gabriela R. Araujo, Yoshihiro Asahara, Laura Baudis, Pranshu Bhaumik, Nathaniel Bowden, Joseph Bramante, Lorenzo Caccianiga, Mason Camp, Qing Chang, Jordan Chapman, Reza Ebadi, Alexey Elykov, Anna Erickson, Valentin Fondement, Katherine Freese, Shota Futamura, Claudio Galelli, Andrew Gilpin, Takeshi Hanyu, Noriko Hasebe, Adam A. Hecht, Samuel C. …

Mineral Detection of Neutrinos and Dark Matter 2025 Proceedings
The third ``Mineral Detection of Neutrinos and Dark Matter'' (MD$ν$DM'25) meeting was held May 20-23, 2025 in Yokohama, Japan, hosted by the Yokohama Institute for Earth Sciences, Japan Agency for Marine-Earth Science and Technology (JAMSTEC). These proceedings compile contributions from the workshop and update the progress of mineral detector research. MD$ν$DM'25 was the third such meeting, following the first in October of 2022 held at the IFPU in Trieste, Italy and the second in January of…

Comprehensive Statistical Analysis of Initial Lorentz Factor and Jet Opening Angle of Gamma-Ray Bursts
Jian Zhang, Bao-Cheng Qin, Lu-Lu Zhang, Fu-Wen Zhang
https://arxiv.org/abs/2508.13448

Comprehensive Statistical Analysis of Initial Lorentz Factor and Jet Opening Angle of Gamma-Ray Bursts
The initial Lorentz factor ($Γ_{0}$) and jet half-opening angle ($θ_{\rm jet}$) of gamma-ray bursts (GRBs) are critical physical parameters for understanding the dynamical evolution of relativistic jets and the true energy release of GRBs. We compile a sample of 89 GRBs that exhibit an onset bump feature in their early optical or GeV light curves, 42 of which also display a jet break feature, and derive their $Γ_{0}$ and $θ_{\rm jet}$ values. Using this sample, we re-eaxmine the correlation…

GenCAD-3D: CAD Program Generation using Multimodal Latent Space Alignment and Synthetic Dataset Balancing
Nomi Yu (Massachusetts Institute of Technology), Md Ferdous Alam (Massachusetts Institute of Technology), A. John Hart (Massachusetts Institute of Technology), Faez Ahmed (Massachusetts Institute of Technology)
https://arxiv.org/abs/25…

GenCAD-3D: CAD Program Generation using Multimodal Latent Space Alignment and Synthetic Dataset Balancing
CAD programs, structured as parametric sequences of commands that compile into precise 3D geometries, are fundamental to accurate and efficient engineering design processes. Generating these programs from nonparametric data such as point clouds and meshes remains a crucial yet challenging task, typically requiring extensive manual intervention. Current deep generative models aimed at automating CAD generation are significantly limited by imbalanced and insufficiently large datasets, particularl…

Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress)
Alex Le Blanc, Patrick Lam
https://arxiv.org/abs/2510.01072 https://arxi…

Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress)
Although Rust primarily intends to be a safe programming language that excludes undefined behaviour, it provides its users with the escape hatch of unsafe Rust, allowing them to circumvent some of its strong compile-time checks. This additional freedom has some advantages, including potentially more efficient code, which is one of the main reasons why unsafe code is used extensively throughout Rust's standard library. However, because unsafe code also re-opens the door to undefined behaviour, A…

Sonnet 078 - LXXVIII
So oft have I invoked thee for my Muse,
And found such fair assistance in my verse
As every alien pen hath got my use
And under thee their poesy disperse.
Thine eyes, that taught the dumb on high to sing
And heavy ignorance aloft to fly,
Have added feathers to the learned's wing
And given grace a double majesty.
Yet be most proud of that which I compile,
Whose influence is thine, and born of thee:
In o…

SandCell: Sandboxing Rust Beyond Unsafe Code
Jialun Zhang, Merve G\"ulmez, Thomas Nyman, Gang Tan
https://arxiv.org/abs/2509.24032 https://arxiv.org/p…

SandCell: Sandboxing Rust Beyond Unsafe Code
Rust is a modern systems programming language that ensures memory safety by enforcing ownership and borrowing rules at compile time. While the unsafe keyword allows programmers to bypass these restrictions, it introduces significant risks. Various approaches for isolating unsafe code to protect safe Rust from vulnerabilities have been proposed, yet these methods provide only fixed isolation boundaries and do not accommodate expressive policies that require sandboxing both safe and unsafe code. …

Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem
William F. Godoy, Tatiana Melnichenko, Pedro Valero-Lara, Wael Elwasif, Philip Fackler, Rafael Ferreira Da Silva, Keita Teranishi, Jeffrey S. Vetter
https://arxiv.org/abs/2509.21039

Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem
We explore the performance and portability of the novel Mojo language for scientific computing workloads on GPUs. As the first language based on the LLVM's Multi-Level Intermediate Representation (MLIR) compiler infrastructure, Mojo aims to close performance and productivity gaps by combining Python's interoperability and CUDA-like syntax for compile-time portable GPU programming. We target four scientific workloads: a seven-point stencil (memory-bound), BabelStream (memory-bound), miniBUDE (co…

Political Leaning and Politicalness Classification of Texts
Matous Volf (DELTA High school of computer science and economics, Pardubice, Czechia), Jakub Simko (Kempelen Institute of Intelligent Technologies, Bratislava, Slovakia)
https://arxiv.org/abs/2507.13913

Political Leaning and Politicalness Classification of Texts
This paper addresses the challenge of automatically classifying text according to political leaning and politicalness using transformer models. We compose a comprehensive overview of existing datasets and models for these tasks, finding that current approaches create siloed solutions that perform poorly on out-of-distribution texts. To address this limitation, we compile a diverse dataset by combining 12 datasets for political leaning classification and creating a new dataset for politicalness …

ExCyTIn-Bench: Evaluating LLM agents on Cyber Threat Investigation
Yiran Wu, Mauricio Velazco, Andrew Zhao, Manuel Ra\'ul Mel\'endez Luj\'an, Srisuma Movva, Yogesh K Roy, Quang Nguyen, Roberto Rodriguez, Qingyun Wu, Michael Albada, Julia Kiseleva, Anand Mudgerikar
https://arxiv.org/abs/2507.14201

ExCyTIn-Bench: Evaluating LLM agents on Cyber Threat Investigation
We present ExCyTIn-Bench, the first benchmark to Evaluate an LLM agent x on the task of Cyber Threat Investigation through security questions derived from investigation graphs. Real-world security analysts must sift through a large number of heterogeneous alert signals and security logs, follow multi-hop chains of evidence, and compile an incident report. With the developments of LLMs, building LLM-based agents for automatic thread investigation is a promising direction. To assist the developme…

A Catalog of Galactic Supernova Remnants and Supernova Remnant Candidates from the EMU/POSSUM Radio Sky Surveys. I
B. D. Ball, R. Kothes, E. Rosolowsky, C. Burger-Scheidlin, M. D. Filipovi\'c, S. Lazarevi\'c, Z. J. Smeaton, W. Becker, E. Carretti, B. M. Gaensler, A. M. Hopkins, D. Leahy, M. Tahani, J. L. West, C. S. Anderson, S. Loru, Y. K. Ma, N. M. McClure-Griffiths, M. J. Micha{\l}owski

A Catalog of Galactic Supernova Remnants and Supernova Remnant Candidates from the EMU/POSSUM Radio Sky Surveys. I
We use data from the EMU (Evolutionary Map of the Universe) and POSSUM (Polarization Sky Survey of the Universe's Magnetism) radio southern sky surveys, conducted with the Australian Square Kilometre Array Pathfinder (ASKAP), to compile a catalogue of Galactic supernova remnants (SNRs) and candidate SNRs within the region of $277.5^\circ \leq \ell \leq 311.7^\circ$ Galactic longitude, $|b| \leq 5.4^\circ$ Galactic latitude, as well as an additional field along the Galactic plane, appr…

from my link log —
Snooping on slow builds using syscalls.
https://danielchasehooper.com/posts/syscall-build-snooping/
saved 2025-08-13

I Made A Real-Time C/C++/Rust Build Visualizer
Many software projects take a long time to compile. Sometimes that’s just due to the sheer amount of code, like in the LLVM project. But often a build is slower than it should be for dumb, fixable reasons. I’ve had the suspicion that most builds are doing dumb stuff, but I had no way to see it. So I’ve been working on a cross-platform tool to help speed up builds (you can try it, see below).

BOOP: Write Right Code
Vaani Goenka, Aalok D. Thakkar
https://arxiv.org/abs/2507.22085 https://arxiv.org/pdf/2507.22085

BOOP: Write Right Code
Novice programmers frequently adopt a syntax-specific and test-case-driven approach, writing code first and adjusting until programs compile and test cases pass, rather than developing correct solutions through systematic reasoning. AI coding tools exacerbate this challenge by providing syntactically correct but conceptually flawed solutions. In this paper, we introduce BOOP (Blueprint, Operations, OCaml, Proof), a structured framework requiring four mandatory phases: formal specification, lang…

Committing to the bit: Relational programming with semiring arrays and SAT solving
Dmitri Volkov, Yafei Yang, Chung-chieh Shan
https://arxiv.org/abs/2509.22614 https://

Committing to the bit: Relational programming with semiring arrays and SAT solving
We propose semiringKanren, a relational programming language where each relation expression denotes a semiring array. We formalize a type system that restricts the arrays to finite size. We then define a semantics that is parameterized by the semiring that the arrays draw their elements from. We compile semiringKanren types to bitstring representations. For the Boolean semiring, this compilation enables us to use an SAT solver to run semiringKanren programs efficiently. We compare the performan…

SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code
Qinglin Wang, Zhihong Sun, Ruyun Wang, Tao Huang, Zhi Jin, Ge Li, Chen Lyu
https://arxiv.org/abs/2509.24507

SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code
Large Language Models (LLMs) can translate natural language requirements into code, yet empirical analyses of representative models reveal that semantic errors-programs that compile but behave incorrectly-constitute the majority of observed faults (e.g., >60% on DeepSeek-Coder-6.7B and QwenCoder-7B). Post-hoc repair pipelines detect such faults only after execution, incurring latency, relying on incomplete test suites, and often mis-localizing the defect. Since semantic drift originates in the …

Timetide: A programming model for logically synchronous distributed systems
Logan Kenwright, Partha Roop, Nathan Allen, C\u{a}lin Ca\c{s}caval, Avinash Malik
https://arxiv.org/abs/2507.14471

Timetide: A programming model for logically synchronous distributed systems
Massive strides in deterministic models have been made using synchronous languages. They are mainly focused on centralised applications, as the traditional approach is to compile away the concurrency. Time triggered languages such as Giotto and Lingua Franca are suitable for distribution albeit that they rely on expensive physical clock synchronisation, which is both expensive and may suffer from scalability. Hence, deterministic programming of distributed systems remains challenging. We addres…

Client--Library Compatibility Testing with API Interaction Snapshots
Gustave Monce (LaBRI), Thomas Degueule (LaBRI), Jean-R\'emy Falleri (LaBRI), Romain Robbes (LaBRI)
https://arxiv.org/abs/2507.20814

Client--Library Compatibility Testing with API Interaction Snapshots
Modern software development heavily relies on third-party libraries to speed up development and enhance quality. As libraries evolve, they may break the tacit contract established with their clients by introducing behavioral breaking changes (BBCs) that alter run-time behavior and silently break client applications without being detected at compile time. Traditional regression tests on the client side often fail to detect such BBCs, either due to limited library coverage or weak assertions that…