~lobsters | Bookmarks (16)

clear filters

arxiv.org ×

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

arxiv.org

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

arxiv.org

databases
1
Abstracting Denotational Interpreters

arxiv.org

Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract We explore denotational interpreters:...
Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By parameterising our denotational interpreter over the semantic domain and then varying it, we recover dynamic semantics with different evaluation strategies as well as summary-based static analyses such as type analysis, all from the same generic...

plt
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...
MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also does not use MPUs as they do not fit with its software model because of the design drawbacks of MPUs (\ie coarse-grained protection with fixed number of protected regions). We secure the existing MMU-less Linux version of the RISC-V port using CHERI. CHERI is a hardware-software capability-based system...

hardware linux pdf security
1
ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs

arxiv.org

ai security
2
An Empirical Evaluation of LLMs for Solving Offensive Security Challenges

arxiv.org

ai pdf security
1
Hallucination is Inevitable: An Innate Limitation of Large Language Models

arxiv.org

ai pdf
2
Automated Unit Test Improvement using Large Language Models at Meta

arxiv.org

ai testing
2
Conway's Game of Life is Omniperiodic

arxiv.org

art math pdf science
1
Bluesky and the AT Protocol: Usable Decentralized Social Media

arxiv.org

pdf web
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...
Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON data. The language went through many minor revisions, but the most recent versions of the language added two novel features, dynamic references and annotation-dependent validation, that change the evaluation mode...

compsci plt web
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...
Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors can buy a paperweight souvenir full of shredded banknotes. Even though the shredded banknotes are small, by using computer vision, it is possible to reconstruct the whole banknote like a jigsaw puzzle. Each paperweight souvenir costs $100 HKD, and it is claimed to contain shredded banknotes equivalent to...

graphics pdf
1
Yacc is dead (2010)

arxiv.org

We present two novel approaches to parsing context-free languages. The first approach is based on an...
We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to context-free grammars. The second approach is based on a generalization of the derivative to parser combinators. The payoff of these techniques is a small (less than 250 lines of code), easy-to-implement parsing library capable of parsing arbitrary context-free grammars into...

compilers pdf
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...
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP). This algorithm relies on a legacy custom language and compiler originally designed in 1990, which unlike French wine, did not age well with time. Owing to the shortcomings of the input language and the technical limitations of...

compilers formalmethods pdf plt
1
Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)

arxiv.org

graphics hardware pdf
1
Mission: Impossible Language Models

arxiv.org

ai
1

~lobsters | Bookmarks (16)

Tags

Domains

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

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

Abstracting Denotational Interpreters

Case Study: Securing MMU-less Linux Using CHERI

ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs

An Empirical Evaluation of LLMs for Solving Offensive Security Challenges

Hallucination is Inevitable: An Innate Limitation of Large Language Models

Automated Unit Test Improvement using Large Language Models at Meta

Conway's Game of Life is Omniperiodic

Bluesky and the AT Protocol: Usable Decentralized Social Media

Validation of Modern JSON Schema: Formalization and Complexity

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

Yacc is dead (2010)

A Modern Compiler for the French Tax Code

Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)

Mission: Impossible Language Models