Explore

The Solution of the Zodiac Killer's 340-Character Cipher

arxiv.org

2

ExaLogLog: Space-Efficient and Practical Approximate Distinct Counting up to the Exa-Scale

arxiv.org

1

Abstracting Denotational Interpreters

arxiv.org

Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract We explore denotational interpreters:...

1

Case Study: Securing MMU-less Linux Using CHERI

arxiv.org

MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also...

1

ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs

arxiv.org

2

An Empirical Evaluation of LLMs for Solving Offensive Security Challenges

arxiv.org

1

Hallucination is Inevitable: An Innate Limitation of Large Language Models

arxiv.org

2

Automated Unit Test Improvement using Large Language Models at Meta

arxiv.org

2

Conway's Game of Life is Omniperiodic

arxiv.org

1

Bluesky and the AT Protocol: Usable Decentralized Social Media

arxiv.org

1

Validation of Modern JSON Schema: Formalization and Complexity

arxiv.org

Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON...

1

The possibility of making $138,000 from shredded banknote pieces using computer vision

arxiv.org

Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors...

1

Yacc is dead (2010)

arxiv.org

We present two novel approaches to parsing context-free languages. The first approach is based on an...

1

A Modern Compiler for the French Tax Code

arxiv.org

Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...

1

Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)

arxiv.org

1

Mission: Impossible Language Models

arxiv.org

1