Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)
Former game developer, Clojurist since 1664, kind of front-end specialist, and open source Clojure libraries developer.
Languages (fluent -> beginner): fr-FR, en, zh-TW, es, fi
Keyboard layout: Programmer Dvorak with delete mapped on CapLock.
Open source developer, building tools to make expression through code more correct, accessible, and efficient trying to avoid going extinct, avoid borg assimilation, keep it real, and have fun doing it, that is what is in my mind. And you?
Fave = I want you to know I like what you said
Boost = I want others to know what you said (generally but not always for good reasons)
Deleting my toot after 30 days.
humble haskeller
PhD in CS on quantum fingerprinting.
Interested in quantum algorithms and TCS. Postdoc at the University of Messina (Italy).
I can speak in English, Tatar, and Russian. Feel free to correct my English.
clojure core. bibliophile.
Programmer, NES Chiptune composer
Creator of Lisp-MML
🏳️⚧️🧠🌈♾️
Profile picture: Side view of my face with neon pink/blue backlighting, and hey, I'm actually smiling for once.
Header is a compact QWERTY keyboard that I completely covered in fabric puff paint and reapplied the letters in a disgustingly beautiful mess. You can't really see it in this image, but the corner of it is crushed from getting run over by a truck this one time I was using it to have a dance party in an alley.
Scheme archaeologist.
I hate everything except computers
# Racket is...
* a general purpose programming language — a **modern** dialect of Lisp and a descendant of Scheme
* A project to explore the emerging idea of language-oriented programming
* a family of programming languages — variants of Racket; student languages, Typed Racket, Lazy Racket, and more
* an implementation of the Racket Language(s) – with native code compiler,
* a set of tools—for using a family of programming languages,
* a diverse community using Racket in diverse ways.
Join us at https://racket.discourse.group/ or https://discord.gg/6Zq8sH5
See **https://racket-lang.org/** for more details.
People put here catchy adwords that define them, ain't they?
I like cycling, swimming, pizza, ice cream, comics, computer games and Lisp programming in Emacs.
Currently I'm developing #GRASP - the GRAphical Scheme Programming environment for Android, Desktop and Terminal
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.
Fun loving programmer
Applied speculative social history of the future
Former Hugmaster General
Nonviolent ukulele player who codes.
All views expressed are my own. They don't reflect the opinions of my employer
