Being a left-side double-click closer was one of the things that made me adjust to Aqua when I switched to the mac. And that influenced the design of the upcoming PalcoDesktop.
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.
Being a left-side double-click closer was one of the things that made me adjust to Aqua when I switched to the mac. And that influenced the design of the upcoming PalcoDesktop.