Show newer

watched "Org-mode and Org-Roam for Scholars and Researchers" by Noorah Alhasan (~ 22m)

A friend of mine is looking to hire a Senior Engineer with web developer experience for their recently closed million-dollar funding start-up based out of . DM if interested.

9th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design (FARM) 27 August, 2021

Logical Frameworks and Meta-Languages: Theory and Practice, July 16, 2021 Pittsburgh, Pennsylvania, US

ActivityWatch is an app that automatically tracks how you spend time on your devices

Conformist schema definition and validation to bridge the gap between runtime types and static types

Show older

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!