Abstract Interpretation as a Programming Language (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: Abstract Interpretation as a Programming Language

First screen, captured 2 years ago.

Looks similar

Screenshot of arxiv.org: Compiler-style optimization for drawing via Skia

Compiler-style optimization for drawing via Skia (arxiv.org)

111 points by PaulDavisThe1st 1 month ago | 21 comments

Screenshot of arxiv.org: Mixing Visual and Textual Code

Mixing Visual and Textual Code (arxiv.org)

68 points by doppioandante 4 months ago | 42 comments

Screenshot of arxiv.org: Language models as compilers: Simulating pseudocode execution

Language models as compilers: Simulating pseudocode execution (arxiv.org)

159 points by milliondreams 2 years ago | 49 comments

Screenshot of arxiv.org: Coding Guidelines for Prolog (2011)

Coding Guidelines for Prolog (2011)(arxiv.org)

109 points by tosh 3 years ago | 13 comments

Screenshot of arxiv.org: ArtPrompt: ASCII Art-Based Jailbreak Attacks Against Aligned LLMs

ArtPrompt: ASCII Art-Based Jailbreak Attacks Against Aligned LLMs (arxiv.org)

125 points by wut42 2 years ago | 35 comments

Screenshot of arxiv.org: Antagonistic AI

Antagonistic AI (arxiv.org)

65 points by drcwpl 2 years ago | 38 comments