1P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (opens in new tab)(github.com)37Davidbrcz3mo ago5
2Ask HN: What predictions for 2025 did come true?With the year coming to an end, what were some of your predictions for 2025 that did come true?show more1Davidbrcz3mo ago0
3Visions: Simulate the View of Visually-Impaireds (opens in new tab)(play.google.com)1Davidbrcz5mo ago0
