Tootfinder

from my link log —
Bril: an intermediate language for teaching compilers.
https://www.cs.cornell.edu/~asampson/blog/bril.html
saved 2024-07-27 htt…

Bril: An Intermediate Language for Teaching Compilers
I created a new intermediate language, called Bril, for teaching my funky open-source, hands-on compilers course. Because it’s for education, Bril prioritizes simplicity and regularity over more typical compiler priorities like performance and concision. This is an overview of Bril’s design, its quirks, and the ecosystem that has grown up around it since 2019.

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[2/2]:
- Size-Sensitive Padded Decompositions for Faster Deterministic Negative-Weight Shortest Paths
Khoi Duong

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

@… https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Elements/output#accessibility

"Paradromics achieves real-time speech with Connexus BCI" https://paradromics.com/news/paradromics-achieves-real-time-speech-connexus-brain-computer-interface/

Paradromics Achieves Real-Time Speech with Connexus® Brain-Computer Interface
Paradromics' Connexus® BCI enables the first participant to speak in real time using neural activity, choosing her own words to communicate.

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/2]:
- The Marked Edge Walk: A Novel MCMC Algorithm for Sampling of Graph Partitions
Atticus McWhorter, Daryl DeFord

Stand Up školení proti obtěžovšní na veřejnosti - Naučte se, jak reagovat - https://www.standup-international.com/cs-cz

Crosslisted article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[2/2]:
- On the Hardness of Maximin Share Allocations
Sushmita Gupta, Sanjay Seetharaman
…

Crosslisted article(s) found for cs.AR. https://arxiv.org/list/cs.AR/new
[1/1]:
- A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the ...
Rishi Shah, Rishav Shrestha
https://arxiv.org/abs/2608.12700 https://mastoxiv.page/@arXiv_csLG_bot/117092887321212992
toXiv_bot_toot

Replaced article(s) found for cs.HC. https://arxiv.org/list/cs.HC/new
[2/2]:
- An IMU Dataset for Human Activity Recognition to Support Independent Living in Smart Homes (IMU-H...
Moid Sandhu, Wei Lu, Brano Kusy, David Silvera-Tawil
https://arxiv.org/abs/2608.07502 https://mastoxiv.page/@arXiv_csHC_bot/117075927898369575
- X2C: A Large-Scale Benchmark for Nuanced Humanoid Facial Expression Imitation
Peizhen Li, Longbing Cao, Xiao-Ming Wu, Runze Yang, Xiaohan Yu
https://arxiv.org/abs/2505.11146 https://mastoxiv.page/@arXiv_csRO_bot/114533291630252868
- Situation Graph Prediction for User Perspective Modeling
Jisung Shin, Daniel Platnick, Marjan Alirezaie, Hossein Rahnama
https://arxiv.org/abs/2602.13319 https://mastoxiv.page/@arXiv_csAI_bot/116085690483721457
- When Does Critique Improve AI-Assisted Theoretical Physics? SCALAR: Structured Critic--Actor Loop...
Vasilis Niarchos, Constantinos Papageorgakis, Alexander G. Stapleton, Sokratis Trifinopoulos
https://arxiv.org/abs/2605.06772 https://mastoxiv.page/@arXiv_csAI_bot/116554785974658895
- Access Timing as Scaffolding: A Reinforcement Learning Approach to GenAI in Education
Janne Rotter, Pau Benazet i Montobbio, Davinia Hern\'andez-Leo
https://arxiv.org/abs/2605.15850 https://mastoxiv.page/@arXiv_csCY_bot/116594418222572007
- The Epistemic Politics of AI Anthropomorphism
Donna M Bye, Levin Kuhlmann
https://arxiv.org/abs/2608.00961 https://mastoxiv.page/@arXiv_csCY_bot/117036083544631928
- Position: We Need Large Language Models Optimized For Our Well-Being
Ashton Anderson, Harsh Kumar, Louis Tay, Karina Vold
https://arxiv.org/abs/2608.07505
toXiv_bot_toot

If you just need a pretty figure from a dataset and not the full power of R, have a look at #gui

Crosslisted article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/2]:
- Efficient Online Inverse Optimization with $O(d)$ Regret
Cai, Gupta, Gupta, Guruganesh, Jiang, Liaw, Mehta, Leme, Velegkas, Wang

A look at Loudoun County, Virginia, dubbed "Data Center Alley", which hosts ~250 data centers and offers a glimpse into data centers' impact on communities (Lauren Feiner/The Verge)

Is this the future of America?
In this Virginia county, the infrastructure boom began two decades ago. Few residents even knew it happened, but now they’re reckoning with the next wave of data centers and what’s at stake.

from my link log —
Historical notes on computer word and byte sizes.
https://www.cs.columbia.edu/~smb/blog/2023-03/2023-03-07.html
saved 2023-03-08

Replaced article(s) found for cs.HC. https://arxiv.org/list/cs.HC/new
[1/2]:
- Music Interpretation and Emotion Perception: A Computational and Neurophysiological Investigation
Lyberatos, Kantarelis, Zioga, Anagnostopoulou, Stamou, Georgaki
https://arxiv.org/abs/2506.01982 https://mastoxiv.page/@arXiv_csHC_bot/114623887921808883
- Selective Prediction Reduces the Negative Effects of Automation Bias Overall but Increases False ...
Jabbour, Fouhey, Banovic, Shepard, Kazerooni, Sjoding, Wiens
https://arxiv.org/abs/2508.07617 https://mastoxiv.page/@arXiv_csHC_bot/115015501954907821
- Sighted by Default: Addressing Implicit Vision Assumptions in Real-Time VLM Assistance for BLV Users
Yi Zhao, Siqi Wang, Qiqun Geng, Erxin Yu, Jing Li
https://arxiv.org/abs/2511.00945 https://mastoxiv.page/@arXiv_csHC_bot/115490927925171769
- UXCascade: Scalable Usability Testing with Simulated User Agents
Steffen Holter, Eunyee Koh, Mustafa Doga Dogan, Gromit Yeuk-Yin Chan
https://arxiv.org/abs/2601.15777 https://mastoxiv.page/@arXiv_csHC_bot/115943802965989174
- Does Explanation Correctness Matter? Linking Computational XAI Evaluation to Human Understanding
Gregor Baer, Chao Zhang, Isel Grau, Pieter Van Gorp
https://arxiv.org/abs/2603.25251 https://mastoxiv.page/@arXiv_csHC_bot/116300187728326082
- Beyond Screenshots: Evaluating VLMs' Understanding of UI Animations
Chen Liang, Xirui Jiang, Naihao Deng, Eytan Adar, Anhong Guo
https://arxiv.org/abs/2604.26148 https://mastoxiv.page/@arXiv_csHC_bot/116492495199874264
- Quieting the Cobwebs: Browser Interaction for Visual Floaters
Kenneth Ge, Jinglin Li, Shikhar Ahuja
https://arxiv.org/abs/2605.12739 https://mastoxiv.page/@arXiv_csHC_bot/116571803728109358
- Patients With Personality: Realistic Patient Simulation through Controlled Diversity and Selectiv...
Moritz Schlager, et al.
https://arxiv.org/abs/2606.17441 https://mastoxiv.page/@arXiv_csHC_bot/116764285920198987
- TailVis: Expressive Chart Refinement Preserving Data-Binding Integrity
Yumin Song, Seokhyeon Park, Soohyun Lee, Aeri Cho, Hyeon Jeon, John Joon Young Chung, Jinwook Seo
https://arxiv.org/abs/2607.25386 https://mastoxiv.page/@arXiv_csHC_bot/117002258150815192
- How Usable Are Geospatial Foundation Models? A Systematic Evaluation of 89 Models
Robin Young, Artyom Gabtraupov, Kenzy Soror, Srinivasan Keshav
https://arxiv.org/abs/2608.03804 https://mastoxiv.page/@arXiv_csHC_bot/117041905504697955
toXiv_bot_toot

Generating some new code for my fall intro class. Had not expected this profile of platforms for incoming CS-interested (and numerous CS-heavy) students. I was expecting (hoping?) Linux and Windows to be flipped.

i bought some records on ebay. i have always wanted the köln concerts! and this sinatra record is fabulous.
#vinyl #OldVinyl #vinylrecords

Context: I do public outreach presentations on AI aimed at senior citizens, and yesterday I had an attendee who was blind. I have handouts...and was embarrassed that I didn't have anything for her.)
So I'd like a Braille version of that handout. It's just regular text and very straightforward to do in Braille. (If you know about good transcription/printing services for this, let me know.)
But naturally I'm wondering about math and CS.
How does math notation…

Replaced article(s) found for cs.MA. https://arxiv.org/list/cs.MA/new
[1/1]:
- Spatial community structure impedes language amalgamation in a population-based iterated learning...
George Sains, Conor Houghton, Seth Bullock

[2026-08-14 Fri (UTC), no new articles found for cs.OH Other Computer Science]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Building Atomic Structures from Natural Language
Pai Li
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.HC. https://arxiv.org/list/cs.HC/new
[2/2]:
- Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collabo...
Alan Li, Rahul Saha, Anton Xue, Swarat Chaudhuri, Adam Klivans, Pravesh K Kothari, Raghu Meka
https://arxiv.org/abs/2608.11195
toXiv_bot_toot

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.

Simultaneous sub-Doppler laser cooling and optical trapping of bosonic $^{39}$K-$^{133}$Cs and $^{41}$K-$^{133}$Cs mixtures
Mateusz Boche\'nski, Jakub Dobosz, Koray Din\c{c}er, Pawe{\l} Arciszewski, Mariusz Semczuk
https://arxiv.org/abs/2609.09003

RE: https://mastodon.social/@firefoxwebdevs/117427203666670321
Pretty long list, took a while to rank them (and limit to 15) https://interop-rank.fxdx.dev/share/cheeaun-5k2hkt5zb76c/
Viewport Segments API vs Device Posture API were kinda confusing.
- https://developer.mozilla.org/en-US/docs/Web/API/Viewport_segments_API
- https://developer.mozilla.org/en-US/docs/Web/API/Device_Posture_API

Replaced article(s) found for cs.AR. https://arxiv.org/list/cs.AR/new
[1/1]:
- TokenStack: A Heterogeneous HBM-PIM Architecture and Runtime for Efficient LLM Inference
Zhuoran Li, Zhuohang Bian, Zihao Huang, Yibo Zhao, Xueqi Li, Guangyu Sun, Youwei Zhuo
https://arxiv.org/abs/2605.05639 https://mastoxiv.page/@arXiv_csAR_bot/116537788010226866
- Ego-OSCAR: Egocentric Open source Stereo CAptuRe System
Paul, Palanisamy, Rathore, Patnaik, Khatana, Anand
https://arxiv.org/abs/2608.08285 https://mastoxiv.page/@arXiv_csCV_bot/117076085190342194
toXiv_bot_toot

Crosslisted article(s) found for cs.HC. https://arxiv.org/list/cs.HC/new
[1/2]:
- Data-driven Head Motion Generation through Natural Gaze-Head Coordination
Xiaohan Liu, Yilin Wen, Yusuke Sugano
https://arxiv.org/abs/2605.25810
- TRIBE: Predicting Team Performance via Communication Behavior Ensembles
Ali Jalal-Kamali, Nikolos Gurney, David V. Pynadath, Fred Morstatter
https://arxiv.org/abs/2608.06926 https://mastoxiv.page/@arXiv_csAI_bot/117070249873784432
- Comprendia: AI-Augmented Code Comprehension
Costain Nachuma, Minhaz F. Zibran
https://arxiv.org/abs/2608.10290 https://mastoxiv.page/@arXiv_csSE_bot/117081500356613109
- Neural implants and human safety: single-fault detection for DC-coupled recording front ends
Dimitris Antoniadis, Timothy Constandinou
https://arxiv.org/abs/2608.10361 https://mastoxiv.page/@arXiv_eessSP_bot/117081505896378998
- A Neural Network Based Teleoperation for Remote Controlled Vehicles
Ning Ding, Azim Eskandarian
https://arxiv.org/abs/2608.10367 https://mastoxiv.page/@arXiv_csRO_bot/117081440193257425
- Leveraging Human Reading Behavior for Keyphrase Extraction: A Webcam-based Eye-tracking Corpus
Chengzhi Zhang, Xinyi Yan, Wenqi Yu
https://arxiv.org/abs/2608.10688 https://mastoxiv.page/@arXiv_csCL_bot/117081592176417112
- Your LLM, Your Style: Behavioral Mode Axes for LLM Behavioral Control
Haoze Liu, Run Liu, Haiying Xu, Jiahui Han, Siyuan Fang, Siyu Yan, Huiqi Deng, Guanchu Wang, Na Zou
https://arxiv.org/abs/2608.10703 https://mastoxiv.page/@arXiv_csLG_bot/117081615179660277
- The GENEA Challenge 2026: A Large-Scale Disentangled Evaluation of Speech-Driven Gesture Generati...
Nagy, Garc\'ia, Voss, Tsakov, Kucherenko, Yoon, Henter
https://arxiv.org/abs/2608.10839 https://mastoxiv.page/@arXiv_csCV_bot/117081628353061346
- Auditable AI-Assisted Research Writing: An Engineering Discipline with Pre-Registered Process Obs...
Yang Zhou, Chengqun Yu
https://arxiv.org/abs/2608.10858
- R4DSG: Relative 4D Scene Graph Memory for Object-Centric Question Answering in Long Egocentric Video
Ke Ma, Yamin Mao, Weiming Li, Shuai Tan, Yijie Zhong, Hao Chen, Haofen Wang, Meng Wang
https://arxiv.org/abs/2608.11017 https://mastoxiv.page/@arXiv_csCV_bot/117081647623530374
toXiv_bot_toot

Crosslisted article(s) found for cs.MA. https://arxiv.org/list/cs.MA/new
[1/1]:
- DoctorAgents: an agentic framework to iteratively refine AutoML pipeline for small clinical tempo...
Wang, Wang, Kourbatski, Bai, Chen, Song, Boire, Hudson, Li

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Automated Prefetching for Object Spatial Programming Using Temporal Trace Graphs
Baichuan Li, Jayanaka Dantanarayana, Savini Kashmira, Lingjia Tang, Jason Mars

Crosslisted article(s) found for cs.AR. https://arxiv.org/list/cs.AR/new
[1/1]:
- Do Not Let CNOTs Overwhelm the Decoder: Scheduling Transversal Gates for Fast FTQC
Shota Ikari, Yuga Hirai, Yasunari Suzuki, Hiroshi Nakamura, Yosuke Ueno
https://arxiv.org/abs/2608.11719 https://mastoxiv.page/@arXiv_quantph_bot/117087226388622194
toXiv_bot_toot

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

RE: https://mas.to/@seeingwithsound/117058455215514821
AI closed the loop on a vision implant, in a study co-led by UCSB

https://www.usatoday.com/story/news/politics/2026/09/01/chuck-edwards-censure-vote-female-staff-behavior-poems-ice-cream/91568154007/
The Party of Family Values strikes again!

#TIL how the secondary selection used to be used on #Unix desktops.
https://www.cs.man.ac.uk/~lindsec/secondary-selection.html
TL;DR: apparently you could select and copy something immediately into your current cursor position without having to move it.

from my link log —
Historical notes on computer word and byte sizes.
https://www.cs.columbia.edu/~smb/blog/2023-03/2023-03-07.html
saved 2023-03-08

Replaced article(s) found for cs.CY. https://arxiv.org/list/cs.CY/new
[2/2]:
- Who Owns the AI Recommendation? A Multi-Industry Empirical Map of Brand Category Ownership Across...
Dmitrij \.Zatuchin

free lunch wednesday and i find my cs colleagues are all FREAKING OUT 🤔

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

edit_wikinews: Wikipedia news edits (2010)
Two bipartite user-page networks extracted from Wikipedia, about news events. A user connects to a page if that user edited that page. Edits (edges) are timestamped. Edge weights represent counts of the number of edits.
This network has 10943 nodes and 47698 edges.
Tags: Informational, Web graph, Multigraph, Timestamps

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.

Replaced article(s) found for cs.MA. https://arxiv.org/list/cs.MA/new
[1/1]:
- Integrated Noise and Safety Management in UAM via A Unified Reinforcement Learning Framework
Surya Murthy, Zhenyu Gao, John-Paul Clarke, Ufuk Topcu

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Mechanised operational semantics of Rowhammer
Martin Berger, Amir Naseredini
https:…

Some of you have never played sysadmin doom and it shows. Kill all software!
https://www.cs.unm.edu/~dlchao/flake/doom/

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…

@…, Michael Littman, and I have an upcoming CACM op-ed: "Teaching Novice Computing and Programming in the Agentic AI Era". Based on our experimental course research. We argue that the «flaky compiler» is a useful metaphor for course design. Details in preprint:
https://cs.brown.edu/people/sk/Publications/Papers/Published/fkl-teach-nov-agentic-ai-era/

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ě.

Forty-nine media organizations have submitted a group legal brief supporting CNN, MS Now, and Politico in their lawsuit against Trump over the White House ban (Joey Garrison/USA Today)
https://www.usatoday.com/story/news/politics/2026…

49 media outlets sign brief supporting lawsuit against Trump over ban
Forty-nine media outlets submitted an amicus brief supporting CNN, MS NOW and Politico in their lawsuit fighting Trump's White House media ban.

Oh, Firefox unterstützt jetzt offenbar die direkte Verlinkung von text fragments (https://developer.mozilla.org/en-US/docs/Web/URI/Reference/Fragment/Text_fragments). Schön!

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-08-13 Thu (UTC), no new articles found for cs.OH Other Computer Science]
toXiv_bot_toot

[2026-08-14 Fri (UTC), 10 new articles found for cs.AR Hardware Architecture]
toXiv_bot_toot

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- Parameterized Complexity of Temporal Connected Components
Deligkas, D\"oring, Eiben, Goldsmith, Skretas, Tennigkeit

If you own an Intex pool and are submitting a warranty claim via their online ticket system, STOP! Their CS backend has been hacked. DO NOT send a "deposit" via Remitly or any other online payment system. Intex is aware of the hack but not yet doing anything about it.
https://www.

from my link log —
Capability-based computer systems. (1984)
https://homes.cs.washington.edu/~levy/capabook/
saved 2020-03-08 https://

Crosslisted article(s) found for cs.MA. https://arxiv.org/list/cs.MA/new
[1/1]:
- EDATracer: An Agentic Framework for Large-Scale EDA Artifact Analysis
Tieu, Jana, DeLorenzo, Wu, Srinivasan, Shakkottai, Hu, Rajendran

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework
Corentin Reuther (University of Namur, Belgium), Jean-Marie Jacquet (University of Namur, Belgium)

US Marine Robert Gilman released after years in Russian prison (Michael Loria/USA Today)
https://www.usatoday.com/story/news/politics/2026/08/11/robert-gilman-us-marine-russia-released/91257441007/
http://www.memeorandum.com/260811/p66#a260811p66

Replaced article(s) found for cs.CY. https://arxiv.org/list/cs.CY/new
[1/2]:
- Frontier Lag: A Bibliometric Audit of Capability Misrepresentation in Academic AI Evaluation
David Gringras, Misha Salahshoor

Crosslisted article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- Tarski Fixed Points in Quasi-FPT Queries
Xi Chen, Ruiquan Gao, Yuhao Li, Aviad Rubinstein, Mihalis Yannakakis

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

Hey @… — planning to turn your lovely "beyond efficiency" article into a homework in my (accelerated) intro class! (-:
For those who haven't read it:
https://www.cs.unm.edu…

from my link log —
The early days of UNIX in the UK.
https://www.coulouris.net/cs_history/em_story/
saved 2026-09-16 https://dota…

Cerebras unveils CS-4, a server rack powered by three WSE-3 Turbo chips and built around its new Nexus architecture, with first shipments starting this quarter (Max A. Cherney/Reuters)
https://www.reuters.com/technology/cerebra

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver gener...
Hansol Suh, Jan H\"uckelheim, Stephen Siegel

🇺🇦 #NowPlaying on BBCRadio3's #KeyChanges:Radio3sEssentialHistoryOfClassicalMusic
Ludwig van Beethoven & Takšcs Quartet:
🎵 'Rasumovsky' String Quartet in F major, Op.59, No.1 (2nd mvt)
#LudwigvanBeethoven #TakácsQuartet

Replaced article(s) found for cs.MA. https://arxiv.org/list/cs.MA/new
[1/1]:
- Moral Hazard in Multi-Agent Language Models
Dane Malenfant
https://

And in my houses A/C controller there's a button with a weird and seemingly completely unrelated nams (I don't rember what it's called) that just resets the controller and makes me need to set the temperature, speed and operation mode again as if I had removed the controllers batteries. I have no idea if this is its intended purpose or if it's broken or something. I'll need to check its name once I'm back and post it here, but it's not a name that you'd think would do this.
And in my parents home the timer feature, a feature that works fine in both atonementioned A/Cs and that I use often, makes no sense at all and does not actually turn off the A/C after the amount of time you set. The controller has a clock, but it doesn't turn off in the time you set based on its clock either so I have no idea what it actually does. Maybe it's just random.

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.DS. https://arxiv.org/list/cs.DS/new
[3/3]:
- The Tight Upper Bound on the Number of Distinct Squares in Circular Words
Rikuya Hamai

Crosslisted article(s) found for cs.MA. https://arxiv.org/list/cs.MA/new
[1/1]:
- MemArena: An Ego-Centric Benchmark for On-Device Agentic Personal Memory Assistants at Scale
Jiadong Zhang, Xiaosong Ma

Crosslisted article(s) found for cs.CY. https://arxiv.org/list/cs.CY/new
[1/1]:
- Driving Epidemic Models with AI Agents: the Epydemix Agent Framework
Nicol\`o Gozzi, Ciro Cattuto, Alessandro Vespignani

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[2/3]:
- Generalized matching decoders for 2D topological translationally-invariant codes
Tan, Gill, Huang, Liu, Zhao, Dehghani, Kubica, Zhou, Dua

RE: https://floss.social/@igalia/117211713144116872
Finally had to look it up:
What is the G in GStreamer anyway?
I get refered to GLib.
https://docs.gtk.org/glib/index.html 👈
Great, so... What is the G in GLib? 🤔
Aha, it's part of GTK/GNOME!
GTK, originally the GIMP (GNU is not UNIX is not UNIX... Image Manipulation Program) toolkit, is built on top of GLib.
https://wiki.debian.org/GTK
GTK is maintained by GNOME, originally the GNU Network Object Model Environment.
https://www.usenix.org/conference/2000-usenix-annual-technical-conference/gnome-project
Okay, so what are network objects?
https://cs.brown.edu/courses/cs296-2/papers/network-objects.pdf 🧐
Woah! 😵‍💫

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.

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

O frabjous day, a new emacs version!
https://lists.gnu.org/archive/html/emacs-devel/2026-08/msg00760.html
I have a staggering amount of preparation for the upcoming semester that I really need to do. I am wondering whether I should actually try to do tha…

from my link log —
A design space exploration of async/await.
https://cel.cs.brown.edu/blog/design-space-async-await/
saved 2026-09-15 https:/…

A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven modern runtimes agree on what even the simplest async programs should do! In this paper we map the design space of async/await so you can find out where your language stands.

Replaced article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/3]:
- Algorithms for Optimally Shifting Intervals under Intersection Graph Models
Nicol\'as Honorato-Droguett, Kazuhiro Kurita, Tesshu Hanaka, Hirotaka Ono

[2026-08-12 Wed (UTC), no new articles found for cs.OH Other Computer Science]
toXiv_bot_toot

0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, Swarat Chaudhuri ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵

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.DS. https://arxiv.org/list/cs.DS/new
[2/2]:
- Polynomial-time classical algorithms for mean-field models up to the glass transition
Alexander Schmidhuber, Alexander Zlokapa

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

Surface-Induced Spectral Broadening during Efficient Two-Photon Excitation of Cold $^{133}\text{Cs}$ Atoms near an Optical Nanofiber
Yuan Jiang, Xiaodong Qi, Nicol\'as Vera Paz, Yilin Chen, Tanbin Wu, Dianqiang Su, Pablo Solano, Yanting Zhao
https://arxiv.org/abs/2609.38062

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 …

🇺🇦 #NowPlaying on BBCRadio3's #ComposerOfTheWeek #COTW
Franz Schubert & Takšcs Quartet:
🎵 String Quartet No.13 in A minor 'Rosamunde' D.804 (2nd mvt)
#FranzSchubert #TakácsQuartet
https://open.spotify.com/track/5Au5IXUfGKeMboWqJjc9wF

Heute vor 23 Jahren: Am 16. Juli 2003 entdeckte die italienische Grenzkontrolle bei einem Schrotttransport erhöhte #Strahlung. Eine Cs-137-Quelle wurde identifiziert, der Transport gestoppt und ein Sicherheitsbereich eingerichtet. Der #Schrott kam von einem Händler aus Ljubljana.

[2026-08-11 Tue (UTC), no new articles found for cs.OH Other Computer Science]
toXiv_bot_toot

[2026-10-01 Thu (UTC), 4 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

[2026-08-07 Fri (UTC), 4 new articles found for cs.MA Multiagent Systems]
toXiv_bot_toot

We're hiring! And I think we're a great place to work! Two Professor of the Practice positions, one junior at the assistant rank and the other senior at the associate rank, with a focus on teaching foundational and advanced AI courses for our graduate programs. See
https://cs.brown.edu/about/positions/

[2026-09-30 Wed (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

( 🧵 1/N: started thinking I would just post a little amusing thing, and...it turned into a mini essay on knowledge, students, teachers, and education. Did not see that coming...)
I may have overestimated my upper-division CS students...
I'm teaching a junior/senior-level course on the foundations of AI. We're using Python, and there's a very simple starter homework assignment to get students to work through the logistics of submitting their code.
Yesterday I was…

[2026-08-06 Thu (UTC), 5 new articles found for cs.MA Multiagent Systems]
toXiv_bot_toot

[2026-08-10 Mon (UTC), no new articles found for cs.OH Other Computer Science]
toXiv_bot_toot

[2026-10-07 Wed (UTC), 13 new articles found for cs.DS Data Structures and Algorithms]
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.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- Cluster deletion in cographs, permutation graphs, and graphs with bounded clique number
Nicola Galesi, Tony Huynh, Arnaud Patey, Fariba Ranjbar

Crosslisted article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- A Cheeger Inequality for Hypergraphs and Its Applications
Raj Kamal, Amitabha Bagchi