RSS

Simon Dima

Karma: 42

[Aspira­tion-based de­signs] Out­look: deal­ing with complexity

Jobst Heitzig, jossoliver, thomasfinn and Simon Dima
28 Apr 2024 13:06 UTC
13 points
3 comments2 min readLW link

[Aspira­tion-based de­signs] 2. For­mal frame­work, ba­sic algorithm

Jobst Heitzig, Simon Dima and Simon Fischer
28 Apr 2024 13:02 UTC
16 points
2 comments16 min readLW link

[Aspira­tion-based de­signs] 1. In­for­mal in­tro­duc­tion

B Jacobs, Jobst Heitzig, Simon Fischer and Simon Dima
28 Apr 2024 13:00 UTC
40 points
4 comments8 min readLW link