4K Followers 3K FollowingMathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
2K Followers 793 FollowingRichard Fabian - Ex Game-Dev. Data-oriented design. Design patterns. Not active on the bird site any more.
He/him/his. @[email protected]
12K Followers 1K FollowingI'm a Ginger thus I have no soul.
Creator of the Odin Programming Language https://t.co/LWFCLB39eC
Working at @JangaFX on EmberGen/LiquiGen/GeoGen/IlluGen
10K Followers 520 FollowingGoose, James Goose. Made some open source software you might already be using. Shipping C and cooking Rust with OCaml. Working on @fframes_rust.
42K Followers 204 FollowingDysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
7K Followers 74 FollowingOfficial Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
3K Followers 149 FollowingType system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
820 Followers 56 FollowingThe array (programming) languages were invented by Ken Iverson as mathematical notation, now there is a podcast about us. https://t.co/1NqXPf0GgL
141K Followers 139 FollowingWorking on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️