Articles by Davidbrcz
10

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)

1

Ask HN: What predictions for 2025 did come true?

1

Visions: Simulate the View of Visually-Impaireds (play.google.com)

63

Swiss voters back e-ID legislation (admin.ch)

5

Easy will always trump simple (surfingcomplexity.blog)

3

List of powerful concepts in 250 lines of code (pdubroy.github.io)

2

How to Make PDF Smaller (drgrizz.xyz)

2

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

2

Organizing and Managing Android Photo Storage (howtorecover.me)

40

Printf Oriented Message Protocol (github.com/parrot-developers)

2

Reko – A General Purpose Decompiler (github.com/uxmal)

2

The trouble of separate module atexit-stacks (luke1410.de)

109

LLM4Decompile: Decompiling Binary Code with LLM (github.com/albertan017)

1

Lenia, a Generalization of Conway's Game of Life (chakazul.github.io)

4

Dark Mode is not just about aesthetic (drgrizz.xyz)

2

Propositional Satisfiability and SAT Solvers (aalto.fi)

3

Pinafore: An Unusual Programming Language (semantic.org)

150

DreamBerd is a perfect programming language (github.com/todepond)

9

Avoid Temptation (might.net)