Vibistic TL;DR

All categories

New on arXiv

Next listing: Mon, Nov 9, 2026, usually here shortly after midnight as Monday begins, New York time.

Every paper first posted in arXiv's listing for Fri, Nov 6, 2026 in the 44 categories covered here: 1,401 papers, each shown once (a paper listed in several categories is shown under its own). New versions of older papers are not included. arXiv announces a new listing Sunday to Thursday evenings (US Eastern time), dated the next day, and none on Friday or Saturday evenings, so over a weekend the newest listing is Friday's. The feeds this page reads update at midnight Eastern time, so each listing arrives here shortly after midnight.

Sort: by field | by arXiv number | trending

0 of 0 on this page reviewed

  1. GUARDTs: Decentralized Access Control for Replicated Data Types

    Christian Kuessner, Ragnar Mogk, Julian Haas and 2 more Programming languages

    Replicated data types providing strong eventual consistency offer a principled foundation for developing decentralized software. Yet existing approaches to programming such data types leave access control unresolved: they either provide none at all, delegate it to a trusted coordinator, reintroducing the centralization they were designed to avoid, or tie it to specific data-type constructions,...

  2. SymFC: Configurable Semantics for All Paths Symbolic Execution in Haskell via Embeddings

    Robin Webbers, Wind Wong, Klaus v. Gleissenthall Programming languages

    Lightweight methods like QuickCheck have proven to be successful in functional languages and beyond, as they let users specify properties as Boolean functions directly in code. We can replicate some of their benefits for (bounded) proofs via symbolic execution. If we can execute arbitrary functions symbolically, we can specify properties just as easily. Unfortunately, existing symbolic execution...

  3. Replay Is a Family of Assertions: Fork-Safety in Event-Sourced Agent Runtimes

    Yohei Nakajima Programming languages

    Event-sourced agent runtimes commonly claim deterministic replay, cheap forking, and lineage. These are families of assertions, not one guarantee. A fixed-log fold may be deterministic while reactive settlement remains schedule-sensitive; a recorded oracle result can enable zero-call replay while the original interaction still changed cost or world state; and a prefix copy cannot undo an action...

Only titles, authors and the start of each abstract are shown here, as arXiv published them. Open a paper to read its whole abstract and, with your own AI key, a plain-language summary. Papers on arXiv are preprints and may not have been peer reviewed.

Data from arXiv, used through the arXiv API. Thank you to arXiv for use of its open access interoperability.