Tootfinder

Dijkstra, “On the foolishness of ‘natural language programming’”:
“When all is said and told, the 'naturalness' with which we use our native tongues boils down to the ease with which we can use them for making statements the nonsense of which is not obvious.”
https://www.cs.utexas.edu/~EWD/…

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- Solutions of Word Equations over Partially Commutative Structures
Volker Diekert, Artur Je\.z, Manfred Kufleitner, Alexander Thumm

Replaced article(s) found for cs.CR. https://arxiv.org/list/cs.CR/new
[2/2]:
- PISmith: Reinforcement Learning-based Red Teaming for Prompt Injection Defenses
Chenlong Yin, Runpeng Geng, Yanting Wang, Jinyuan Jia
https://arxiv.org/abs/2603.13026 https://mastoxiv.page/@arXiv_csLG_bot/116237889578853916
toXiv_bot_toot

Heute vor 80 Jahren: Am 24. Juli 1946 wurde im Rahmen der Operation #Crossroads am Bikini-Atoll der Baker-Test durchgeführt. Eine Atombombe detonierte 90 Fuß unter Wasser, wobei das Landungsboot LSM-60 verdampfte. 10 Schiffe sanken, darunter die Prinz Eugen.

How you feel about AI’s energy use might change how you feel about computers entirely.
https://www.theverge.com/cs/features/937356/ai-data-center-gpu-environmental-impact

Who’s afraid of the big, bad GPU?
AI data centers are increasingly sparking backlash, but we don’t have a good way to talk about the many other uses of GPUs.

RE: https://mastodon.social/@freakonometrics/116802391016475632
You know, I read things like this and find it sooo hard to like human beings 😕

Replaced article(s) found for cs.CR. https://arxiv.org/list/cs.CR/new
[1/2]:
- Facade: High-Precision Insider Threat Detection Using Deep Contextual Anomaly Detection
Alex Kantchelian, et al.
https://arxiv.org/abs/2412.06700 https://mastoxiv.page/@arXiv_csCR_bot/113627226016881063
- Enhancing Membership Inference Attacks on Diffusion Models from a Frequency-Domain Perspective
Puwei Lian, Yujun Cai, Songze Li, Bingkun Bao
https://arxiv.org/abs/2505.20955 https://mastoxiv.page/@arXiv_csCR_bot/114584229384238830
- Cryptographic Choreographies
Sebastian M\"odersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi
https://arxiv.org/abs/2602.12967 https://mastoxiv.page/@arXiv_csCR_bot/116079470877038972
- TALUS: FIPS-204-Exact Threshold ML-DSA via Boundary Clearance
Leo Kao, Raymond Chang
https://arxiv.org/abs/2603.22109 https://mastoxiv.page/@arXiv_csCR_bot/116283533730322814
- SafeHarbor: Defining Precise Decision Boundaries via Hierarchical Memory-Augmented Guardrail for ...
Liu, Ying, Zhang, Zou, Zhang, Yang, Zhang, Peng
https://arxiv.org/abs/2605.05704 https://mastoxiv.page/@arXiv_csCR_bot/116537968700983890
- AI Security Policy Should Assess Systems, Not Only Models
Michael A. Riegler, Inga Str\"umke
https://arxiv.org/abs/2605.09504 https://mastoxiv.page/@arXiv_csCR_bot/116560756584469721
- Efficient and Privacy Aware Edge Cloud Collaborative Inference for Large Language Models
Cheng Li, Jiexiong Liu, Yixuan Chen, Yi Li
https://arxiv.org/abs/2607.13093 https://mastoxiv.page/@arXiv_csCR_bot/116928605403267286
- From Neural Intent to Cryptographic Authorization: Securing AI-Driven Enterprise Workflows
Jiasi Weng, Jian Weng, Minrong Chen, Ming Li, Jia-Nan Liu, Zhi Li, Yue Zhang
https://arxiv.org/abs/2607.15596 https://mastoxiv.page/@arXiv_csCR_bot/116951166143038362
- Towards an Automated Test of LLM Security Knowledge
Shufan Chai, Liangliang Sun, Jessica Staddon
https://arxiv.org/abs/2607.18496 https://mastoxiv.page/@arXiv_csCR_bot/116962579240952448
- DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool ...
Navid Aftabi, Abhishek Hanchate, Satish Bukkapatnam, Dan Li
https://arxiv.org/abs/2508.21797 https://mastoxiv.page/@arXiv_eessSY_bot/115128274334268839
- CLOAK: Contrastive Guidance for Latent Diffusion-Based Data Obfuscation
Xin Yang, Omid Ardakanian
https://arxiv.org/abs/2512.12086 https://mastoxiv.page/@arXiv_csLG_bot/115729063749487767
toXiv_bot_toot

Crosslisted article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstrac...
Nikan Zandian Jazi, Elisabetta De Maria, Christopher Leturc

from my link log —
Pictures of the Cambridge Mathematical Laboratory from the early 1970s.
https://www.cs.kent.ac.uk/people/staff/pfl/photos/
saved 2019-07-11

Es ist viel schlimmer, als wir dachten. #KIBlase

Kris (@isotopp@infosec.exchange)
Attached: 2 images https://www.cs.utexas.edu/~fussell/courses/cs352h/papers/moore.pdf # Compute - Angebot 1965, einige Jahre vor meiner Geburt, schrieb Gordon E. More then Artikel "Crammming more components into integrated circuits". Dort schrieb er das erste Mal über die Beobachtung, die um 1975 erstmal von Carver Mead als "Moore's Law" bezeichnet wurde. Sie besagt im wesentlichen "Alle x Monate verdoppelt sich die Anzahl der Komponenten in einem Prozessor/IC/Chip, den wir sinnvoll kosten…

One last example:
The first LLM code example that really made my eyes pop was early after the release of GPT, when somebody got it to combine Breakout with Conway’s Game of Life (a truly delightful idea). It worked!
Funny thing: the Breakout code and the Life code had a •completely• different style and flavor. Red flag. In about 15 minutes of web searching, I was able to find one of the projects (can’t remember if it was the Breakout or the Life half) which it had copied wholesale, with just a few variable renames. And the other half? It was in Python, but it used dictionaries where it really should have used objects — tons of `thing["prop"]` where it should have said `thing.prop`, and lots of other un-Pythonic stuff besides. It was a machine translate of code from another language, very likely Javascript.
The entire thing was a plagiarized Breakout and a plagiarized Game of Life, one transpiled, and all stuck together in a single run loop. To be fair, figuring out how to (1) run both halves of the logic from a single loop and (2) count the Life cells as Breakout bricks is work I'd cheer on from a second-semester intro CS student! It's not, however, quite what's being sold by these companies.
6/

Judge halts Trump voter database over privacy, accuracy fears (Sarah D. Wire/USA Today)
https://www.usatoday.com/story/news/politics/2026/06/22/voter-database-social-security-blocked-trump/90647692007/
http://www.memeorandum.com/260622/p99#a260622p99

I seem to need to understand everything by way of a metaphor with something related to math or CS.
Exhibit A: I am currently reading "Religion for Atheists" by Alain de Botton -- and I find his argument very compelling, although perhaps there's some confirmation bias on my part since I've kinda been becoming...not religious in the usual sense, but more amenable to it and convinced that there's a *there* there, so to speak.
One idea: de Botton mentions the …

Crosslisted article(s) found for cs.CR. https://arxiv.org/list/cs.CR/new
[1/1]:
- TopoGuard: Graph Theory Based Defenses Against Split-Knowledge Attacks on RAG
Chahana Dahal, Zuobin Xiong
https://arxiv.org/abs/2607.20437 https://mastoxiv.page/@arXiv_csCL_bot/116973867316185089
- Isolating LLM Alignment from Regex: Zero Coverage and Metric-Dependent Divergence Under Adversari...
Alexandre Cristov\~ao Maiorano
https://arxiv.org/abs/2607.20494 https://mastoxiv.page/@arXiv_csAI_bot/116973970735647184
- Edit-Neighboring Data Streams and Privacy under Continual Observation
Joel Daniel Andersson, Anamay Chaturvedi, Monika Henzinger, Roodabeh Safavi
https://arxiv.org/abs/2607.20727 https://mastoxiv.page/@arXiv_csDS_bot/116973794572869732
- Beyond Heavy Log Curation: Perplexity-Based APT Detection via Unsupervised, Context-Augmented Lan...
Shoya Otsu, Kei Suzuki, Toshiaki Koike-Akino, Jing Liu, Ye Wang
https://arxiv.org/abs/2607.20832 https://mastoxiv.page/@arXiv_csLG_bot/116973999245670512
- The Consensus Number of Untraceable Cryptocurrencies
Christian Cachin, David Lehnherr, Juan Villacis, Fran\c{c}ois-Xavier Wicht
https://arxiv.org/abs/2607.20929 https://mastoxiv.page/@arXiv_csDC_bot/116973788672146161
- Weak Private Information Retrieval for Graph-based Storage
Shodasakshari Vidya, Chandan Anand, Prasad Krishnan
https://arxiv.org/abs/2607.21014 https://mastoxiv.page/@arXiv_csIT_bot/116973843557672147
- Risk-Limiting Audits for Parliamentary Majorities
Jack Freestone, Dennis Leung, Damjan Vukcevic
https://arxiv.org/abs/2607.21082 https://mastoxiv.page/@arXiv_statAP_bot/116973845690486258
- Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference
Xiaolong Liang, Juanjuan Li, Rui Qin, Yisheng Lv
https://arxiv.org/abs/2607.21162 https://mastoxiv.page/@arXiv_csLG_bot/116974022251021755
- Advances in STV Margin Computation
Michelle Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
https://arxiv.org/abs/2607.21178 https://mastoxiv.page/@arXiv_csGT_bot/116973834510813731
- Unconditional Unclonable Encryption
Prabhanjan Ananth, Amit Sahai
https://arxiv.org/abs/2607.21551 https://mastoxiv.page/@arXiv_quantph_bot/116974006325118063
toXiv_bot_toot

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[11/11]:
- Pointwise is Pointless? A Multimodal Ablation Study for Precipitation Nowcasting with Graph Neura...
Oph\'elia Miralles, M\'at\'e Mile, Christoffer Artturi, Thomas Nipen, Ivar Seierstad

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Mapovšní šíření zškonů o ověřovšní věku na internetu
https://proton.me/cs/age-verification
Vlšdy po celém světě činí věk podmínkou pro přístup k určitým čšstem internetu. Tato stršnka sleduje, kde jsou takové zškony v účinnosti, kde se prosazují a jak k tomu různé země přistupují.
vypad…

Ověřování věku: Sledujte celosvětovou legislativu a legislativu USA | Proton
Zjistěte více o šíření zákonů o ověřování věku po celém světě.

School this term has been actually interesting enough to keep me invested. It's a nice change. I'm doing intro to Anthropology as an elective just because it's something I find interesting. Makes me wish that life was longer because I would love to go down a rabbit hole here.
My other course is software testing and automation. We're using Java and JUnit, which I don't love, but at least we're writing code again. I've had about three CS courses in a row now w…

Interessante vergelijking: waar vliegvakanties fors duurder worden, stijgen de prijzen voor treinvakanties nauwelijks. Trein is helft goedkoper!
Dit is bovendien nog een vertekende prijs, want bagage is niet meegenomen in de vliegticketprijs ( €120-400)
https://www.raisin.com/nl-nl/ne…

Cyber M&A Heads for Record Year
https://www.wsj.com/pro/cybersecurity/cyber-m-a-heads-for-record-year-f5c4bc01?mod=djemCybersecruityPro&tpl=cs

Prompt API is Baseline Widely Available: https://developer.mozilla.org/en-US/docs/Web/API/Window/prompt

Replaced article(s) found for cs.GR. https://arxiv.org/list/cs.GR/new
[1/1]:
- ClothTransformer: Unified Latent-Space Transformers for Scalable Cloth Simulation
Yu Zhang, Yidi Shao, Wenqi Ouyang, Yushi Lan, Zhexin Liang, Chengrui Wu, Xudong Xu, Xingang Pan
https://arxiv.org/abs/2605.27852 https://mastoxiv.page/@arXiv_csGR_bot/116651047586260795
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
Christopher Henson (Drexel University), Fabrizio Montesi (FORM, University of Southern Denmark)
https://arxiv.org/abs/2602.15078 https://mastoxiv.page/@arXiv_csLO_bot/116090670438766149
- Symbolon: Symbolic Execution by Learning Code Transformation
Jie Zhu, Penghui Li, Zhongxuan Li, Chihao Shen, Ziyang Li, Yizheng Chen, Kexin Pei
https://arxiv.org/abs/2606.29108 https://mastoxiv.page/@arXiv_csCR_bot/116838164577765532
- Static PTX Metrics Track Structural Kernel Regressions but Miss Semantic Ones
Dipankar Sarkar
https://arxiv.org/abs/2607.02541 https://mastoxiv.page/@arXiv_csDC_bot/116877728390717514
toXiv_bot_toot

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[10/11]:
- Superhuman Safe and Agile Racing through Multi-Agent Reinforcement Learning
Ismail Geles, Leonard Bauersfeld, Markus Wulfmeier, Davide Scaramuzza

🇺🇦 #NowPlaying on BBCRadio3's #Radio3Breakfast
Joseph Haydn & Takšcs Quartet:
🎵 String Quartet in G major Op.77`1 (1st mvt)
#JosephHaydn #TakácsQuartet

ZipRecruiter: IT and CS job postings are up 14.2% YoY in April; entry-level roles fell from 8.1% a year ago to 7.4%, while senior roles grew from 38.8% to 43.1% (Katherine Bindley/Wall Street Journal)
https://www.wsj.com/tech/ai/the-tech-jobs-that-are-safe-…

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Already overburdened by growing alert volumes and expanding attack surfaces, SOC workers now have to deal with more AI-generated information that must itself be evaluated.
Check out my latest CSO on the human challenges that AI brings to SOCs.
Thanks to Fernando Montenegro of the Futurum Group, SOC expert Chris Crowley, SANS expert John Hubbard, and Jose-Marie Griffiths, president emerita and former CIO of Dakota State University, for their insights.

SOCs face a human challenge as AI speeds alerts and threats
The future of the security operations center may depend less on technology than on how well security leaders manage human attention, expertise, and resilience.

“The virtue of formal texts is that their manipulations, in order to be legitimate, need to satisfy only a few simple rules; they are, when you come to think of it, an amazingly effective tool for ruling out all sorts of nonsense that, when we use our native tongues, are almost impossible to avoid.” - Edsger W.Dijkstra, On the foolishness of “natural language programming” (1978)

I may be unreasonably excited to see Firefox 152 will support CSS `field-sizing`:
https://developer.mozilla.org/en-US/docs/Mozilla/Firefox/Releases/152#css
MDN on `field-sizing`:

Firefox 152 release notes for developers (Beta) - Mozilla | MDN
This article provides information about the changes in Firefox 152 that affect developers. Firefox 152 is the current Beta version of Firefox and ships on June 16, 2026.

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[9/11]:
- Stabilizing Bandits using Regularization: Precise Regret and A Quantitative Central Limit Theorem
Budhaditya Halder, Ishan Sengupta, Koustav Chowdhury, Samya Praharaj, Koulik Khamaru

🇺🇦 #NowPlaying on KEXP's #MidnightInAPerfectWorld
Tevo Howard:
🎵 Move (Tevo Howard Bonus Mix)
#TevoHoward
https://rebirthrecordings.bandcamp.com/track/boing-pop-korn-l-kov-cs-remix

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Linearising Explicit Substitutions using Intersection Types
Ana Jorge Almeida, Sandra Alves, M\'ario Florido
https://arxiv.org/abs/2607.20179 https://mastoxiv.page/@arXiv_csLO_bot/116968258090591929
- Qoreo: Choreographic Programming for Quantum Distributed Systems
Jennifer Paykin, Steven Baldasty, Joseph P. Near, Christian Skalka
https://arxiv.org/abs/2607.20391 https://mastoxiv.page/@arXiv_quantph_bot/116968349323724078
toXiv_bot_toot

[2026-07-24 Fri (UTC), 16 new articles found for cs.CR Cryptography and Security]
toXiv_bot_toot

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Prism: Cost-Efficient Multi-LLM Serving via GPU Memory Ballooning
Shan Yu, et al.
https://arxiv.org/abs/2505.04021 https://mastoxiv.page/@arXiv_csDC_bot/114470987370092358
- Standardized Methods and Recommendations for Green Federated Learning
Austin Tapp, Holger R. Roth, Ziyue Xu, Abhijeet Parida, Hareem Nisar, Marius George Linguraru
https://arxiv.org/abs/2602.00343 https://mastoxiv.page/@arXiv_csDC_bot/116005928828294010
toXiv_bot_toot

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[8/11]:
- Modeling Day-Long ECG Signals to Predict Heart Failure Risk with Explainable AI
Zvuloni, Almog, Glikson, Biton, Green, Laufer, Amir, Behar

Replaced article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/1]:
- Optimal Proximity Gap for Folded Reed--Solomon Codes via Subspace Designs
Fernando Granha Jeronimo, Lenny Liu, Pranav Rajpal
https://arxiv.org/abs/2601.10047 https://mastoxiv.page/@arXiv_csIT_bot/115903956641689136
- Breaking Symmetry in D2D Coded Caching: Optimal Communication with Low Subpacketization
Xiang Zhang, Giuseppe Caire, Mingyue Ji
https://arxiv.org/abs/2602.12220 https://mastoxiv.page/@arXiv_csIT_bot/116062725600909840
- A New Approach to Code Smoothing Bounds
Tsuyoshi Miezaki, Yusaku Nishimura, Katsuyuki Takashima
https://arxiv.org/abs/2603.18077 https://mastoxiv.page/@arXiv_csIT_bot/116260380391748925
- Fluid Antenna Systems Enabling 6G HRLLC With Port Switching Delay
Xusheng Zhu, Kai-Kit Wong, Hao Xu, Chenguang Rao, Hyundong Shin
https://arxiv.org/abs/2605.06275 https://mastoxiv.page/@arXiv_csIT_bot/116537839161835575
- Accurate Estimation of Mutual Information in High Dimensional Data
Eslam Abdelaleem, K. Michael Martini, Ilya Nemenman
https://arxiv.org/abs/2506.00330 https://mastoxiv.page/@arXiv_physicsdataan_bot/114618315134354611
- SDQM: Synthetic Data Quality Metric for Object Detection Dataset Evaluation
Ayush Zenith, Arnold Zumbrun, Neel Raut, Jing Lin
https://arxiv.org/abs/2510.06596 https://mastoxiv.page/@arXiv_csCV_bot/115343628773188610
- SEDULity: A Proof-of-Learning Framework for Distributed and Secure Blockchains with Efficient Use...
Weihang Cao, Mustafa Doger, Sennur Ulukus
https://arxiv.org/abs/2512.13666 https://mastoxiv.page/@arXiv_csCR_bot/115729118798706696
- A theory of learning data statistics in diffusion models, from easy to hard
Lorenzo Bardone, Claudia Merger, Sebastian Goldt
https://arxiv.org/abs/2603.12901 https://mastoxiv.page/@arXiv_statML_bot/116237842977106276
- On the independence number of de Bruijn graphs
Pietro Majer, Matteo Novaga
https://arxiv.org/abs/2604.14671 https://mastoxiv.page/@arXiv_mathCO_bot/116419097221023806
- Information bottleneck for learning the phase space of dynamics from high-dimensional experimenta...
K. Michael Martini, Eslam Abdelaleem, Paarth Gulati, Ilya Nemenman
https://arxiv.org/abs/2604.24662 https://mastoxiv.page/@arXiv_physicsdataan_bot/116481236697063671
- Improved Amenability Bounds for Local Coordination Games
Ron Peretz, Dean Kraizberg
https://arxiv.org/abs/2606.01963 https://mastoxiv.page/@arXiv_csGT_bot/116679490095124433
toXiv_bot_toot

Still very much WIP but I'm linking my Sokoban Fan Game here for anyone who might be interested. Few dozen levels; just a few mechanics. Designed in part to be fun for my then-4-year-old, with varying success. PuzzleScript is great.
#Game #GameDesign #PuzzleScript

The Trump IRS Lawsuit Settlement Will Use Your Tax Dollars to Make January 6ers Rich (Jay Willis/Balls and Strikes)
https://ballsandstrikes.org/law-politics/trump-irs-settlement-enrich-january-6-rioters/
http://www.memeorandum.com/260519/p35#a260519p35

To make it easier esp. for junior folks (students, postdocs, jr faculty) to talk to me, I'm trying a new thing: open office hours at conferences! Come find me at PLDI 2026, using the public calendar linked to the page below. Please feel free to reshare!
https://cs.brown.edu/people/sk/Contact

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Alexander Borodin & Takšcs Quartet:
🎵 String Quartet No. 2 in D major (3rd mvt)
#AlexanderBorodin #TakácsQuartet

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[7/11]:
- Evaluating Universal Machine Learning Force Fields Against Experimental Measurements
Mannan, Bihani, Gonzales, Lee, Gosvami, Ranu, Miret, Krishnan

Replaced article(s) found for cs.GR. https://arxiv.org/list/cs.GR/new
[1/1]:
- Conformal tubular parameterization and toroidal bending of tube-like surfaces
Shunyu Yao, Gary P. T. Choi
https://arxiv.org/abs/2605.16305 https://mastoxiv.page/@arXiv_csGR_bot/116600097651538857
- SCALMU: Synthetically-trained Coupling of Adaptive Learned Multiplicative Updates for Hyperspectr...
Xinxin Xu, Yann Gousseau, Christophe Kervazo, Sa\"id Ladjal
https://arxiv.org/abs/2605.30973 https://mastoxiv.page/@arXiv_eessIV_bot/116673699236122120
- CNS-Edit : Category-Agnostic 3D Editing with Coupled Neural Shape Representation
Jingyu Hu, Weilong Yan, Zhengzhe Liu, Haipeng Li, Ka-Hei Hui, Hao Zhang, Chi-Wing Fu
https://arxiv.org/abs/2607.16577
toXiv_bot_toot

[2026-06-23 Tue (UTC), 2 new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[6/11]:
- Zero-Shot Active Feature Acquisition via LLM-Elicitation
Binyamin Perets, Natalie Mendelson, Shiran Vainberg, Yehuda Chowers, Shai Shen-Orr, Shie Mannor

from my link log —
Verilog: Back to the building blocks’ building blocks.
https://www.cs.cornell.edu/~asampson/blog/buildingblocks.html
saved 2026-05-27

Back to the Building Blocks’ Building Blocks
Verilog is the foundation of all hardware design, and it is fatally flawed. We should all be worried about a glut of hardware bugs caused by Verilog’s unpredictable semantics and simplistic type system.

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[5/11]:
- Diffuse AI Control on Fuzzy Tasks
Mikhail Terekhov, Caglar Gulcehre, Vivek Hebbar, Joe Benton

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
Chao Wang, Ruijia Li, Yang Zhou, Peng Wu, Yi Lv, Jianwei Liao, Jim Woodcock, Zhiming Liu

Replaced article(s) found for cs.GR. https://arxiv.org/list/cs.GR/new
[1/1]:
- B-repLer: Language-guided Editing of CAD Models
Yilin Liu, Niladri Shekhar Dutt, Changjian Li, Niloy J. Mitra
https://arxiv.org/abs/2508.10201 https://mastoxiv.page/@arXiv_csGR_bot/115031625722935245
- Geometrically Approximated Modeling for Emitter-Centric Ray-Triangle Filtering in Arbitrarily Dyn...
Rabin Gajmer, Joonas Haapala, Zoltan Beck
https://arxiv.org/abs/2605.10457 https://mastoxiv.page/@arXiv_csGR_bot/116560660242490785
- NaP-Control: Navigating Diffusion Prior for Versatile and Fast Character Control
Chia-Wen Chen, Yan Wu, Korrawe Karunratanakul, Siyu Tang
https://arxiv.org/abs/2605.20209 https://mastoxiv.page/@arXiv_csGR_bot/116611422054088912
- Vis4GS: A Visual Analytic Tool for 3D Gaussian Splatting Reconstruction
Kai-Yuan Lin, Aryabima Mandala Putra, Jui-Chi Lee, Shih-Hsuan Hung
https://arxiv.org/abs/2606.26985 https://mastoxiv.page/@arXiv_csGR_bot/116815255549530340
- LATO.2: Factorized 3D Mesh Generation with Vertex and Topology Flow
Long, Zhao, Lin, Zhang, Guo, Liang, Xu, Hladk\'y, Nie{\ss}ner, Hu, Yang
https://arxiv.org/abs/2607.10623 https://mastoxiv.page/@arXiv_csGR_bot/116917178519049532
- OmniX: From Unified Panoramic Generation and Perception to Graphics-Ready 3D Scenes
Yukun Huang, Jiwen Yu, Yanning Zhou, Jianan Wang, Xintao Wang, Pengfei Wan, Xihui Liu
https://arxiv.org/abs/2510.26800 https://mastoxiv.page/@arXiv_csCV_bot/115468347012341868
- HairPort: In-context 3D-aware Hair Import and Transfer for Images
Alireza Heidari, Amirhossein Alimohammadi, Ali Mahdavi-Amiri
https://arxiv.org/abs/2606.12562 https://mastoxiv.page/@arXiv_csCV_bot/116735964747387747
- From Scene-Centric to Observer-Centric: Modeling Observer-Aware Relations for 3D Scene Graph Gene...
Jingjun Sun, Chaowei Wang, Zhirui Liu, Jiaxu Tian, Ming Yang, Yaoxing Wang, Yan Di, Shan Gao
https://arxiv.org/abs/2606.27412 https://mastoxiv.page/@arXiv_csCV_bot/116832228785083392
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Weakly Non-Negative Supermartingales for Omega-Regular Verification
Toru Takisaka, Hongjie Qing, Libo Zhang
https://arxiv.org/abs/2607.17798 https://mastoxiv.page/@arXiv_csPL_bot/116956854997372082
- Complete Local Reasoning About Parameterized Programs Over Topologies (Extended Version)
Ruotong Cheng, Azadeh Farzan
https://arxiv.org/abs/2605.15143 https://mastoxiv.page/@arXiv_csLO_bot/116577537497574861
toXiv_bot_toot

Crosslisted article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- nomp: A Framework for Building Domain Specific Compilers
Thilina Ratnayaka, et al.
https://arxiv.org/abs/2606.12650 https://mastoxiv.page/@arXiv_csPL_bot/116736082356764597
- GF-DiT: Scheduling Parallelism for Diffusion Transformer Serving
Qiang, Hu, Sun, Yang, Zhao, Chen, Feng, Leng, Guo
https://arxiv.org/abs/2606.13501 https://mastoxiv.page/@arXiv_csDC_bot/116736130103581225
toXiv_bot_toot

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[4/11]:
- A Survey of On-Policy Distillation for Large Language Models
Mingyang Song, Mao Zheng

Replaced article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/1]:
- Optimal Proximity Gap for Folded Reed--Solomon Codes via Subspace Designs
Fernando Granha Jeronimo, Lenny Liu, Pranav Rajpal

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[3/11]:
- Linear Mode Connectivity under Data Shifts for Deep Ensembles of Image Classifiers
C. Hepburn, T. Zielke, A. P. Raulf

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[2/11]:
- HGCN(O): A Self-Tuning GCN HyperModel Toolkit for Outcome Prediction in Event-Sequence Data
Fang Wang, Paolo Ceravolo, Ernesto Damiani

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Network Analysis with Parametric NetKAT
Han Xu, Zachary Kincaid, David Walker
https://arxiv.org/abs/2607.09637 https://mastoxiv.page/@arXiv_csPL_bot/116911593573714502
- ChipVerilog: A Large-Scale OpenCores-Derived Benchmark for LLM-Based Verilog RTL Generation
Yan Tan, Jiping Du, Xiangchen Meng, Yangdi Lyu
https://arxiv.org/abs/2607.13079 https://mastoxiv.page/@arXiv_csAR_bot/116928480915737827
toXiv_bot_toot

Just wrote yet another piece on LLMs that has been kicking around in my head for a while: "What kinds of conversations can you have with a parrot?"
#AI #LLMs

Crosslisted article(s) found for cs.GR. https://arxiv.org/list/cs.GR/new
[1/1]:
- Vakonomic Fluids
Ritoban Roy-Chowdhury, Mohammad Sina Nabizadeh, Oliver Gross, Anthony Gruber, Albert Chern
https://arxiv.org/abs/2607.18312 https://mastoxiv.page/@arXiv_mathph_bot/116962502170736360
- ECoNGS: Efficient Compressive Neural Gaussian Splats for Volume Visualization
Kaiyuan Tang, Chaoli Wang
https://arxiv.org/abs/2607.18466 https://mastoxiv.page/@arXiv_csCV_bot/116962470122818930
- UVFaceFusion: Fast Multi-view Topologically Consistent Face Reconstruction in the Wild via UV-spa...
Xin Ming, Yuxuan Han, Junhai Yong, Feng Xu
https://arxiv.org/abs/2607.18798 https://mastoxiv.page/@arXiv_csCV_bot/116962662606057538
- Appearance Pointers -- Multimodal Region Control of Diffusion Transformers
Rahul Sajnani, Yulia Gryaditskaya, Radom\'ir M\v{e}ch, Srinath Sridhar, Matheus Gadelha
https://arxiv.org/abs/2607.19344 https://mastoxiv.page/@arXiv_csCV_bot/116962696619844145
toXiv_bot_toot

Crosslisted article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- Tractable Gap-Constraint Languages for Complex Event Recognition
Antoine Amarilli, Florin Manea, Tina Ringleb, Markus L. Schmid

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[1/11]:
- Wisdom of Committee: Diverse Distillation from Large Foundation Models and Domain Experts
Liu, Liu, Li, Liu, Shrivastava, Bi, Hong, H., Zhao

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[8/8]:
- Scalable Training of Spatially Grounded 2D Vision-Language Models for Radiology
Salcan, Ging, Schirrmeister, Arnold, Kotter, Bozorgtabar, Brox

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Redundant Array Computation Elimination
Zixuan Wang, Liang Yuan, Xianmeng Jiang, Kun Li, Junmin Xiao, Yunquan Zhang
https://arxiv.org/abs/2506.21960 https://mastoxiv.page/@arXiv_csPF_bot/114771182875836481
- \texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party
Ali Rahimi, Babak H. Khalaj, Mohammad Ali Maddah-Ali
https://arxiv.org/abs/2505.17623 https://mastoxiv.page/@arXiv_csCR_bot/114572910759753105
- Compiler-First State Space Duality and Portable $O(1)$ Autoregressive Caching for Inference
Cosmo Santoni, Anmol Thapar
https://arxiv.org/abs/2603.09555 https://mastoxiv.page/@arXiv_csLG_bot/116210185886117277
- The World's Fastest Matching Engine Algorithm
Jake Yoon
https://arxiv.org/abs/2606.01183 https://mastoxiv.page/@arXiv_csDC_bot/116679523715331912
toXiv_bot_toot

Crosslisted article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[2/2]:
- What Limits Does Quantization Place on Dense Top-$k$ Retrieval? A Theoretical Study
Koki Okajima, Tsukasa Yoshida
https://arxiv.org/abs/2606.11780 https://mastoxiv.page/@arXiv_csIR_bot/116730357313656261
- Quadratic APN Functions in Dimension 8 via Gr\"obner Basis Search in a Self-Equivalence Subspace
Oleksandr Kuznetsov
https://arxiv.org/abs/2606.11967 https://mastoxiv.page/@arXiv_csCR_bot/116730499833561826
- Game-Theoretic Latent Space Alignment for Multi-user Semantic MIMO Communications
Giuseppe Di Poce, Mattia Merluzzi, Emilio Calvanese Strinati, Paolo Di Lorenzo
https://arxiv.org/abs/2606.12005 https://mastoxiv.page/@arXiv_csGT_bot/116730408631687040
- An iterative Ising decoder for quantum error correction codes
Liu, Zeng, Li, Liu, Huang, Liu, Wang, Wu, Lao
https://arxiv.org/abs/2606.12301 https://mastoxiv.page/@arXiv_quantph_bot/116730537187964618
toXiv_bot_toot

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Cross-Dialect Generalization Without Retraining: Benchmarks and Evaluation of Schema-Derived Cons...
Plawan Kumar Rath
https://arxiv.org/abs/2607.18254 https://mastoxiv.page/@arXiv_csAI_bot/116962509640585561
toXiv_bot_toot

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[7/8]:
- MedRLM: Recursive Multimodal Health Intelligence for Long-Context Clinical Reasoning, Sensor-Guid...
Aueaphum Aueawatthanaphisut

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Johann Sebastian Bach, Zuzana Kohoutovš, Dalma Krajnyak, Istvšn Kovšcs, Budapest Radio Chorus, Zoltšn Pad, Hungarian Radio Symphony Orchestra & Jšnos Kovšcs:
🎵 Cantata: Brich dem Hungrigen dein Brot, BWV.39
#ZuzanaKohoutová

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[6/8]:
- AI Economist Agent: An Agentic Framework for Model-Grounded Economic Analysis with RAG, Knowledge...
Masahiro Kato

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- The complexity of smooth words over binary alphabets
Julien Cassaigne, Rapha\"el Henry

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[5/8]:
- Structure-Oriented Randomized Neural Networks for Poisson-Nernst-Planck and Poisson-Nernst-Planck...
Yunlong Li, Fei Wang

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[4/8]:
- The Hidden Environmental Cost of Poor Coding Practices in TensorFlow and Keras Applications: A St...
Bashar Abdallah, Gustavo Santos, Rola Al Bataineh, Alain Abran, Mohammad Hamdaqa

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- The asymptotic size of finite irreducible semigroups of rational matrices
Stefan Kiefer, Andrew Ryzhikov

Crosslisted article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/2]:
- Homomorphic Quantum Error Correction
Kornikar Sen, Miguel A. Martin-Delgado
https://arxiv.org/abs/2605.25692 https://mastoxiv.page/@arXiv_quantph_bot/116640053090772171
- Belief-Space Control for Personalized Cancer Treatment via Active Inference
Deniz Sargun, H. Bugra Tulay, C. Emre Koksal
https://arxiv.org/abs/2606.10376 https://mastoxiv.page/@arXiv_csAI_bot/116724820434554519
- A Geometric Profile of Semantic Information in Text: Frame-Conditional Uniqueness and a Trade-Off...
Dmitriy Kompaneets
https://arxiv.org/abs/2606.11222 https://mastoxiv.page/@arXiv_csCL_bot/116730477023664354
- An Entropy-based Framework for Hybrid Coalitions in Game Theory. Part I: Human Arbitration
Salome A. Sepulveda-Fontaine, Jose M. Amigo
https://arxiv.org/abs/2606.11288 https://mastoxiv.page/@arXiv_csGT_bot/116730374222115774
- Additive Noise, Shift Recovery, and Signed Signals in the Cumulative Distribution Transform
Harbir Antil, Ratna Khatri, Aryan Saxena
https://arxiv.org/abs/2606.11432 https://mastoxiv.page/@arXiv_eessSP_bot/116730375993496615
- A Unified Lower Bound on the Noisy Query Complexity of Boolean Functions
Yuzhou Gu, Xin Li, Yinzhan Xu
https://arxiv.org/abs/2606.11448 https://mastoxiv.page/@arXiv_csDS_bot/116730380321553481
- Optimizing Encoder Circuits of Entanglement-Assisted Quantum LDPC Codes via Beam Search
Aditya Sodhani, Pavan Kumar, Shayan Srinivasa Garani, Keshab K. Parhi
https://arxiv.org/abs/2606.11468 https://mastoxiv.page/@arXiv_quantph_bot/116730421187038523
- FlexiBrain: Resolution-Agnostic Voxel-Level Encoding for Native fMRI
Mo Wang, Wenhao Ye, Junfeng Xia, Minghao Xu, Hongkai Wen, Quanying Liu
https://arxiv.org/abs/2606.11500 https://mastoxiv.page/@arXiv_eessIV_bot/116730364588705644
- Measuring language complexity from hierarchical reuse of recurring patterns
Junyi Zhou, Rui Liu, Pengyu Liu, Yu Liu
https://arxiv.org/abs/2606.11531 https://mastoxiv.page/@arXiv_csCL_bot/116730518902862163
- Superspace Concentration and Adversarial Robustness in Quantum Algorithms
Eric Yocam, Christian Yocam, Varghese Vaidyan, Yong Wang, Mahesh Kalappattil, Anthony Rizi
https://arxiv.org/abs/2606.11580 https://mastoxiv.page/@arXiv_quantph_bot/116730474074812546
toXiv_bot_toot

Crosslisted article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Energy-Efficient On-Device RAG on a Mobile NPU: System Design and Benchmark on Snapdragon X Elite
Zhiyuan Cheng, Longying Lai
https://arxiv.org/abs/2606.11257 https://mastoxiv.page/@arXiv_csCL_bot/116730488820684308
- TileFuse: A Fused Mixed-Precision Kernel Library for Efficient Quantized LLM Inference on AMD NPUs
Wesley Pang, Gregory Hyegang Jun, Feiyang Liu, Deming Chen
https://arxiv.org/abs/2606.11357 https://mastoxiv.page/@arXiv_csDC_bot/116730303808083247
- XPR: An Extensible Cross-Platform Point-Based Differentiable Renderer
Rhyner, Durvasula, Kovalev, Jia, Zhao, Mrutunjayya, Ahuja, Panneer, Giannoula, Vijaykumar
https://arxiv.org/abs/2606.11529 https://mastoxiv.page/@arXiv_csGR_bot/116730305576192171
- Beyond Per-Token Pricing: A Concurrency-Aware Methodology for LLM Infrastructure Cost Estimation
Chitral Patil
https://arxiv.org/abs/2606.11690 https://mastoxiv.page/@arXiv_csDC_bot/116730304985870885
- From Fork-Join to Asynchronous Tasks: Parallelizing Tiled Cholesky Decomposition with OpenMP and HPX
Alexander Strack, Alexander Van Craen, Dirk Pfl\"uger
https://arxiv.org/abs/2606.11937 https://mastoxiv.page/@arXiv_csDC_bot/116730405487451638
toXiv_bot_toot

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[3/8]:
- Variational Consensus Monte Carlo for Bayesian Mixture
Julie Fendler, Francesca L. Crowe, Tom Marshall, Sylvia Richardson, Paul D. W. Kirk

Crosslisted article(s) found for cs.GR. https://arxiv.org/list/cs.GR/new
[1/1]:
- Clarify Before Executing: A Self-Evolving Agent for Resolving Intent Asymmetry in 3D Tool Orchest...
Xiaoye Zhu, Weixin Li, Junan Huo, Bozhong Wang, Jia Zeng, Yi Yang, Cen Chen, Qi Liu
https://arxiv.org/abs/2607.16352
- CNS-Edit : Category-Agnostic 3D Editing with Coupled Neural Shape Representation
Jingyu Hu, Weilong Yan, Zhengzhe Liu, Haipeng Li, Ka-Hei Hui, Hao, Zhang, Chi-Wing Fu
https://arxiv.org/abs/2607.16577
- TopoGS: Planar Reconstruction via Topology-aware 3D Gaussian Splatting
Shanshan Pan, Jiale Chen, Yilin Liu, Hui Huang
https://arxiv.org/abs/2607.16838
- SciForma: Structure-Faithful Generation of Scientific Diagrams
Yuxuan Luo, Peng Zhang, Xinjie Zhang, Xun Guo, Zhouhui Lian, Yan Lu
https://arxiv.org/abs/2607.18091
- SGA: Plug&Play Geometric Verification for Educational Video Synthesis
Lopez Jhon, Hinojosa Carlos, Ghanem Bernard
https://arxiv.org/abs/2607.18116 https://mastoxiv.page/@arXiv_csAI_bot/116957182951799578
- Lossless-INR: Lossless Volumetric Implicit Neural Representations
Kaiyuan Tang, Daniel Burke, Chaoli Wang
https://arxiv.org/abs/2607.18150
toXiv_bot_toot

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[2/8]:
- FloatDoor: Platform-Triggered Backdoors in LLMs
Nils Loose, Jonas Sander, Felix M\"achtle, Thomas Eisenbarth

Crosslisted article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- Witnesses and Counterexamples for Timed Bisimulation
Alexander Lieb, Malte Lochau

Crosslisted article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[1/8]:
- Human Universal Grasping
Wu, Zhou, Tu, Yan, Guzey, Fouhey, Shan, Pinto
https://

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- The EDGE Language: Extended General Einsums for Graph Algorithms
Odemuyiwa, Porumbescu, Nayak, Pellauer, Emer, Owens
https://arxiv.org/abs/2404.11591 https://mastoxiv.page/@arXiv_csDS_bot/112291034292734261
- Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Br\"annstr\"om
https://arxiv.org/abs/2607.16266 https://mastoxiv.page/@arXiv_csLO_bot/116956805448253784
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang, Wenda Li, Haonan Li, Luke Ong, Conrad Watt
https://arxiv.org/abs/2607.16372 https://mastoxiv.page/@arXiv_csSE_bot/116956840082703202
- Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Gr...
Abdallah Khemais (ISITCOM, University of Sousse)
https://arxiv.org/abs/2607.16568 https://mastoxiv.page/@arXiv_csAI_bot/116957045910225353
- Topology in Synthetic Domain Theory and its Formalisation in Agda
Runze Xue
https://arxiv.org/abs/2607.17292 https://mastoxiv.page/@arXiv_csLO_bot/116956840838635477
- Portable models as a replacement for industrial heuristics in compiler optimizations
Fot Nikolai, Vinarsky Alexander
https://arxiv.org/abs/2607.17389 https://mastoxiv.page/@arXiv_csSE_bot/116957129471226499
- Proceedings 42nd International Conference on Logic Programming
Wolfgang Faber, Laura Giordano, Ricardo Rocha, V\'itor Santos Costa
https://arxiv.org/abs/2607.17707 https://mastoxiv.page/@arXiv_csLO_bot/116956852438717401
toXiv_bot_toot

Crosslisted article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[2/2]:
- What Limits Does Quantization Place on Dense Top-$k$ Retrieval? A Theoretical Study
Koki Okajima, Tsukasa Yoshida

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- SparseX: Efficient Segment-Level KV Cache Sharing for Interleaved LLM Serving
Quqing Zhang, Kai Chen, Ning Liao, Zehao Lin, Bo Tang, Feiyu Xiong, Zhiyu Li, Xiaoxing Wang
https://arxiv.org/abs/2606.01751 https://mastoxiv.page/@arXiv_csPF_bot/116679373304506229
- Emergence-as-Code as a Foundation for Self-Governing Reliable Systems
Anatoly A. Krasnovsky
https://arxiv.org/abs/2602.05458
- Multi-GPU Hybrid Particle-in-Cell Monte Carlo Simulations for Exascale Computing Systems
Jeremy J. Williams, et al.
https://arxiv.org/abs/2603.24508 https://mastoxiv.page/@arXiv_physicsplasmph_bot/116294552595944129
- Ghosted Layers: Unconstrained Activation Alignment for Recovering Layer-Pruned LLMs
Vincent-Daniel Yun, Junhyuk Jo, Sai Praneeth Karimireddy, Sunwoo Lee
https://arxiv.org/abs/2605.15491 https://mastoxiv.page/@arXiv_csLG_bot/116594618179410746
- Causal Unlearning in Collaborative Optimization: Exact and Approximate Influence Reversal under A...
Ali Mahdavi, Azadeh Zamanifar, Amirfarhad Farhadi, Omid Kashefi
https://arxiv.org/abs/2605.20341 https://mastoxiv.page/@arXiv_csLG_bot/116611611001064687
- Learning to Evaluate: Cost-Effective Model Evaluation on Unlabeled Data with Meta-Learning
Trinh Pham, Viet Huynh, Hongzhi Yin, Quoc Viet Hung Nguyen, Thanh Tam Nguyen
https://arxiv.org/abs/2605.23595 https://mastoxiv.page/@arXiv_csLG_bot/116634269889993647
toXiv_bot_toot

[2026-06-22 Mon (UTC), no new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Crosslisted article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/2]:
- Homomorphic Quantum Error Correction
Kornikar Sen, Miguel A. Martin-Delgado
http…

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

Crosslisted article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Flash-GMM: A Memory-Efficient Kernel for Scalable Soft Clustering
Gal Bloch, Ariel Gera, Matan Orbach, Ohad Eytan, Assaf Toledo
https://arxiv.org/abs/2606.10896 https://mastoxiv.page/@arXiv_csLG_bot/116724924444449706
- Towards Autonomous Accelerator Design: FPGA Accelerator Generation with SECDA
Vinamra Sharma, Xingjian Fu, Jude Haris, Jos\'e Cano
https://arxiv.org/abs/2606.11117 https://mastoxiv.page/@arXiv_csAR_bot/116724770690893031
toXiv_bot_toot

[2026-06-22 Mon (UTC), no new articles found for cs.LG Machine Learning]
toXiv_bot_toot

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
- Linear Time Subsequence and Supersequence Regex Matching
Antoine Amarilli, Bartlomiej Dudek, Florin Manea, Tina Ringleb, Markus L. Schmid

[2026-07-23 Thu (UTC), 5 new articles found for cs.GR Graphics]
toXiv_bot_toot

Crosslisted article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/1]:
- SynIB: Informational Bottleneck for Maximizing Synergy in Multimodal Learning
Kontras, Gagaleska, Strypsteen, Chatzichristos, Blaschko, De Vos, Liang
https://arxiv.org/abs/2606.09853 https://mastoxiv.page/@arXiv_csLG_bot/116724702693114718
- Weighing Timed Regular Languages: The Final Step (long version)
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Incl\'an
https://arxiv.org/abs/2606.11003 https://mastoxiv.page/@arXiv_csFL_bot/116724656264107397
- Fixed-Threshold One-Bit Toeplitz Covariance Estimation under Sparse-Ruler Sampling
Zhiyong Cheng, Shengyao Chen
https://arxiv.org/abs/2606.11110 https://mastoxiv.page/@arXiv_mathST_bot/116724782880940809
- Algorithmic and Minimax Complexities in Kernel Bandits
Yunbei Xu
https://arxiv.org/abs/2606.11171 https://mastoxiv.page/@arXiv_csLG_bot/116724929556609281
toXiv_bot_toot

Crosslisted article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Attention at the Theoretical Minimum: A Mathematics of Arrays Framework for Memory-Optimal Transf...
Lenore Mullin, Gaetan Hains
https://arxiv.org/abs/2606.07713 https://mastoxiv.page/@arXiv_csLG_bot/116719339788828558
- An Empirical Comparison of General Context-Free Parsers
Huan Vo, Danushka Liyanage, Hong Jin Kang, Sasha Rubin, Rahul Gopinath
https://arxiv.org/abs/2606.08465 https://mastoxiv.page/@arXiv_csFL_bot/116718996893368453
- Fairness-Aware and Latency-Controllable Scheduling for Chunked-Prefill LLM Serving
Haoxin Liu, Jiayi Wang, Yueshen Xu, Rui Li
https://arxiv.org/abs/2606.09061 https://mastoxiv.page/@arXiv_csDC_bot/116719152021398104
- Correlation Is Not Enough: Embedding Human Metadata for Individual Causal Discovery
Suraj Biswas, Saurabh Gupta, Pritam Mukherjee
https://arxiv.org/abs/2606.09672 https://mastoxiv.page/@arXiv_csAI_bot/116719417844314505
- AutoMegaKernel: A Statically-Checked Agent Harness for Self-Retargeting Megakernel Synthesis
Jaber Jaber, Osama Jaber
https://arxiv.org/abs/2606.09682 https://mastoxiv.page/@arXiv_csLG_bot/116719454809500736
- An 84-Format Numeric Catalog with Bit-Exact Conformance Vectors: A Vendor-Neutral Reference for F...
Dmitrii Vasilev
https://arxiv.org/abs/2606.09686 https://mastoxiv.page/@arXiv_csAR_bot/116718979590686345
toXiv_bot_toot

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

[2026-07-23 Thu (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Crosslisted article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/1]:
- SynIB: Informational Bottleneck for Maximizing Synergy in Multimodal Learning
Kontras, Gagaleska, Strypsteen, Chatzichristos, Blaschko, De Vos, Liang

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- The World's Fastest Matching Engine Algorithm
Jake Yoon
https://arxiv.org/abs/2606.01183 https://mastoxiv.page/@arXiv_csDC_bot/116679523715331912
toXiv_bot_toot

Crosslisted article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- FP8 is All You Need (Part 1): Debunking Hardware FP64 as the HPC Holy Grail
Satoshi Matsuoka
https://arxiv.org/abs/2606.06510 https://mastoxiv.page/@arXiv_csAR_bot/116713312554823102
- P-Cast Precision in FP8 Attention: Sink-Induced Collapse and the Optimality of S=2^8
Reed Lau
https://arxiv.org/abs/2606.06521 https://mastoxiv.page/@arXiv_csAR_bot/116713315110983325
- Quantized AI Inference on Constrained Embedded Platforms for Small-Satellite Settings
Carlos Rafael Tordoya Taquichiri, Hans Dermot Doran, Pablo Ghiglino
https://arxiv.org/abs/2606.06528 https://mastoxiv.page/@arXiv_csAR_bot/116713322189822290
- AEGIS: A Backup Reflex for Physical AI
Josef Chen
https://arxiv.org/abs/2606.06660 https://mastoxiv.page/@arXiv_csAI_bot/116713377832304925
toXiv_bot_toot

[2026-06-19 Fri (UTC), 3 new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot