Programming languages and software engineering
Publication
The F# Language Design RFCs (F# 4.6)
Video
From Barriers to Bridges: Designing Infrastructures for Help in Online Programming Communities
Online programming communities, like Stack Overflow, have norms that are not obvious nor inclusive to the 50 million programmers visiting monthly. For example, many novices ask questions that go unanswered or downvoted for not conforming…
Video
Formal Design, Implementation and Verification of Blockchain Languages
Many of the recent cryptocurrency bugs and exploits are due to flaws or weaknesses of the underlying blockchain programming languages or virtual machines. The usual post-mortem approach to formal language semantics and verification, where the…
Video
Interactive Computing with F# Jupyter
https://fosdem.org/2019/schedule/event/dotnet_interactive_fsharp_with_jupyter/
Publication
Appendix to What Makes a Great Software Engineer
Publication