Davidbrcz
- Karma
- 793
- Created
- 10 years ago
Recent Submissions
- 1. ▲ P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)
- 2. ▲ Ask HN: What predictions for 2025 did come true?
- 3. ▲ Visions: Simulate the View of Visually-Impaireds (play.google.com)
- 4. ▲ Swiss voters back e-ID legislation (admin.ch)
- 5. ▲ Easy will always trump simple (surfingcomplexity.blog)