Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

We asked 15,000 European devs about jobs, salaries, and AI [pdf]

OpenClaw Security Assessment by ZeroLeaks [pdf]

LCM: Lossless Context Management [pdf]

New Nick Bostrom Paper: Optimal Timing for Superintelligence [pdf]

A case study in PDF forensics: The Epstein PDFs

Data breach: DOGE 'accidentally' leaked the whole Social Security database [pdf]

PCB Rework and Repair Guide [pdf]

On being sane in insane places (1973) [pdf]

Something Big Is Coming (Annotated by Ed Zitron) [pdf]

What Every Programmer Should Know About Memory [pdf]

On being sane in insane places (1973) [pdf]

There Will Come Soft Rains (1950) [pdf]

Network Applications of Bloom Filters: A Survey [pdf]

Solving Package Management via Hypergraph Dependency Resolution

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

Sony Jumbotron Image Control System (1998) [pdf]

How to squeeze a lexicon (2001) [pdf]

Defining Safe Hardware Design [pdf]

What every compiler writer should know about programmers (2015) [pdf]

Vibe Coding Kills Open Source

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

Finding forall-exists Hyperbugs using Symbolic Execution

The future of software engineering

Actors: A Model of Concurrent Computation [pdf] (1985)

GoPDFSuit – A JSON-based PDF engine with drag-and-drop layouts. Should I use LaTeX or Typst?

fullbleed - rust built PDF generator with HTML/CSS as DSL

First Proof

Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]

Functional Data Structures and Algorithms. A Proof Assistant Approach

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

More →