This collection explores the dynamic frontier of research spanning from carbon nanotubes to organic semiconductors, where chemists and materials scientists are redefining what is possible at the atomic scale. These studies investigate how molecular structures interact to create new technologies, often bridging the gap between theoretical chemistry and real-world applications like flexible electronics or advanced energy storage.

Every new preprint in this category arrives directly from arXiv, and Gist.Science immediately processes each submission to make the findings accessible to everyone. We provide both clear, plain-language overviews for general readers and detailed technical summaries for specialists, ensuring that complex discoveries in this rapidly evolving field are easy to understand and verify. Below are the latest papers exploring these groundbreaking materials and their transformative potential.

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux

This paper demonstrates that while the standard Linux kernel is unsuitable for high-frequency UAV flight control on a Raspberry Pi 5 due to excessive latency, the PREEMPT_RT kernel significantly reduces worst-case jitter by nearly 88%, though residual timing variance remains primarily driven by hardware memory contention.

Luiz Giacomossi, Håkan Forsberg, Ivan Tomasic, Baran Çürüklü, Tommaso Cucinotta2026-04-22⚡ eess

Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives

This paper introduces Governed MCP, a kernel-resident tool governance gateway implemented in the Rust-based Anima OS that enforces robust, non-bypassable safety for AI agent tool calls through a six-layer pipeline featuring a novel logit-based semantic check (ProbeLogits), demonstrating that such deep integration is essential to prevent adversarial bypasses that defeat existing userspace guardrails.

Daeyeon Son2026-04-21🤖 cs.AI

Proxics: an efficient programming model for far memory accelerators

This paper proposes "Proxics," an efficient programming model for Near-Data Processing accelerators that adapts familiar OS abstractions like virtual processors and IPC channels into lightweight mechanisms via compilation and interconnect protocols, demonstrating significant performance gains and highlighting the critical need for low-latency CPU-to-accelerator communication.

Zikai Liu, Niels Pressel, Jasmin Schult, Roman Meier, Pengcheng Xu, Timothy Roscoe2026-04-21💻 cs

VeruSAGE: A Study of Agent-Based Verification for Rust Systems

This paper introduces VeruSAGE-Bench, a new benchmark of 849 proof tasks from eight open-source Verus-verified Rust systems, and demonstrates that tailored LLM-agent combinations can successfully solve over 80% of these tasks and more than 90% of unfinished system proofs, highlighting the significant potential of AI-assisted verification for system software.

Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu2026-04-16🤖 cs.AI

TempoNet: Slack-Quantized Transformer-Guided Reinforcement Scheduler for Adaptive Deadline-Centric Real-Time Dispatchs

TempoNet is a reinforcement learning scheduler that leverages a permutation-invariant Transformer with slack-quantized urgency embeddings and latency-aware sparse attention to achieve sub-millisecond, globally optimal task dispatching with superior deadline fulfillment and stability compared to traditional analytic and neural baselines.

Rong Fu, Yibo Meng, Guangzhen Yao, Jiaxuan Lu, Zeyu Zhang, Zhaolu Kang, Ziming Guo, Jia Yee Tan, Xiaojing Du, Simon James Fong2026-04-15⚡ eess

Nanvix: A Multikernel OS Design for High-Density Serverless Deployments

Nanvix is a multikernel operating system designed for high-density serverless deployments that achieves strong tenant isolation and reduced resource contention by disaggregating ephemeral execution state into lightweight user VMs while sharing a macro-kernel system VM for I/O among same-tenant applications, resulting in significantly faster startup times and up to 100x higher deployment density compared to state-of-the-art systems.

Carlos Segarra, Pedro Henrique Penna, Enrique Saurez, Íñigo Goiri, Peter Pietzuch, Shan Lu, Rodrigo Fonseca2026-04-15💻 cs