Stories by Davidbrcz

Dear researchers: help me deal with incidents [pdf]

ACM Code of Ethics and Professional Conduct

Forcing dark mode in PDFs for Firefox

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Ask HN: What predictions for 2025 did come true?

Visions: Simulate the View of Visually-Impaireds

Swiss voters back e-ID legislation

Easy will always trump simple

List of powerful concepts in 250 lines of code

How to Make PDF Smaller

How to Win at Coding Interviews (Video CppCon 2022 Lightning Talk))

Organizing and Managing Android Photo Storage

Printf Oriented Message Protocol

Reko – A General Purpose Decompiler

The trouble of separate module atexit-stacks

LLM4Decompile: Decompiling Binary Code with LLM

Lenia, a Generalization of Conway's Game of Life

Dark Mode is not just about aesthetic

Propositional Satisfiability and SAT Solvers

Pinafore: An Unusual Programming Language

1