Verberon
On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@dominiktornow.bsky.social
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@lpil.uk
"the maintainer is a legitimate communist. i will not be supporting this language" - some yt guy, 2024 I made @gleam.run and I do gymnastics (badly) they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]