from Hacker News

ahelwer

joined 12/11/11, 8:48 PM has 9123 karma

• TLA⁺ is more than a DSL for breadth-first search

  by ahelwer on 9/18/24, 4:57 PM, with 2 comments

• TLA⁺ Unicode support: Learning to work with others in open source

  by ahelwer on 5/28/24, 5:01 PM, with 0 comments

• Wrangling Monotonic Systems in TLA+

  by ahelwer on 11/1/23, 7:01 PM, with 7 comments

• FOSS I Love: Local game streaming with Sunshine and Moonlight

  by ahelwer on 4/29/23, 2:52 PM, with 1 comments