Lobsters: pdf - Link to a PDF document lobste.rs

QuePaxa: Escaping the tyranny of timeouts in consensus

dl.acm.org·8w·Lobsters, r/programming

Disrupting malicious uses of our [OpenAI] models

cdn.openai.com·9w·Lobsters

Palm OS User Interface Guidelines [pdf, 2003]

cs.uml.edu·9w·Lobsters, Hacker News

Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation

arxiv.org·9w·Lobsters

Parse me, baby, one more time: bypassing HTML sanitizers via parsing differentia [pdf]

ias.cs.tu-bs.de·68w·Lobsters, Hacker News, r/programming

Naked Objects (2004)

downloads.nakedobjects.net·10w·Lobsters

Continuations and Transducer Composition (2006)

matt.might.net·10w·Lobsters, Hacker News

A Scheme Shell (1994)

publications.csail.mit.edu·10w·Lobsters, Hacker News

Paged Out! #8

pagedout.institute·10w·Lobsters, Hacker News

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?

arxiv.org·16w·Lobsters, Hacker News

Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers

eprint.iacr.org·11w·Lobsters, Hacker News

LCM: Lossless Context Management

papers.voltropy.com·11w·Lobsters

Finding forall-exists Hyperbugs using Symbolic Execution

dl.acm.org·11w·Lobsters, Hacker News

Functional Data Structures and Algorithms: a Proof Assistant Approach

fdsa-book.net·22w·Lobsters, Hacker News

The future of software engineering - The future of software development retreat

thoughtworks.com·11w·Lobsters, Hacker News

The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI

arxiv.org·12w·Lobsters, r/opensource

Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009)

scholarworks.iu.edu·12w·Lobsters

Compiling Prolog to Forth [pdf]

vfxforth.com·12w·Lobsters, Hacker News

First Proof

arxiv.org·12w·Lobsters, Hacker News, Hacker News

Vibe Coding Kills Open Source

arxiv.org·12w·Lobsters

Log in to enable infinite scrolling