▽Daniel Gratzer
●11/10 01:14
University as a visiting researcher and will start as an assistant professor at Aarhus University inthe spring of 2025. Have a look at my cv or this photo.I study programming languages and type theories through the lens of category theory. While I ambroadly interested in these subjects, my research is focused on dependent type theory and morespecifically on modal or homotopy type theory. For i

▽The H2 Wiki
●10/29 09:38
bluefin-prevents-handles-leaking

▽ C&C - Home
●07/05 02:38
Code and CI/CD, powered by the Atlassian platformElevate your software delivery from planning to production and beyond, with built-in AI, CI/CD, and a best-in-class Jira integration.Try it nowSimplify your toolchainPut your code & CI/CD on one platform with capabilities spanning the entire software development lifecycle.Accelerate velocityEliminate tedious tasks with AI and automation. Reduc

▽Roman Cheplyaka
●07/14 01:17
I write articles, host a podcast, and since March 2022serve in the National Guard of Ukraine.I also used to maintain several open sourcepackages.

▽John A De Goes
●05/20 01:04
A Splendid Scala JourneyMy heartfelt thoughts, reflections, and notes on my 15 year Scala journey, and on what's next for me