The highly eclectic blog of Mark Dominus (@mjd). If you respond here, I probably won't see it.
Official account of the Lean theorem prover and programming language
Paul/connrs { kɔ́nəz }
Negative, I am a peat mopsicle.
Dad, haskell, maths, mechanical keyboards
I’m an artist/designer
Don’t talk to me about technical shit I’m not interested
I’m working on a special project of my own, wish me luck, currently making a dummy in order to get some investment & backing soon – spoiler: basically returning to the kind of work I made a living 80s/90s
I tried programming once in the 80s (FORTH, green screen 80 chars), it didn’t actually work, got the sack for wasting time instead of my real job (industrial photography then)
This year I released an album in Dobly Atmos surround spatial: u0421793 / No Laments for Pale Sunsets
Apple Music, in Atmos spatial (with lyrics):
https://music.apple.com/gb/album/no-laments-for-pale-sunsets/1684857695
Also on other places eg Spotify YouTube etc as a binaural stereo mixdown – I’m not doing any promotion, it’d be impolite, I’m British, it’s not intended to make me rich and famous
My other clutter: video gear (ATEM mini, mini pro, Roland V-02HD mkII); old cameras (35mm, 120); folding bike; watercolours
Cars kill people slowly and sometimes quickly
(This is a new account, but I was originally on here back in about 2017ish, so quite an early fediverse adopter)
“I’m opting in to tootfinder” - supposed to make this account searchable?
“My god, it’s full of indirection.”
Distance and trail runner. Software engineer with background in embedded (often real-time) systems and simulation. Currently at Qt Group. But, "personal account", "opinions expressed are my own", etc.
Display name is a pseudonym, though real name is trivially discoverable. Mostly intend this account for interaction and discovery outside my IRL bubble.
Posts self-destruct after three months.
Flora is a package index for the #Haskell ecosystem.
Follow for development news, operational status and higher-kinded memes
#Lisp aficionado
Algorist working for Kodemaker. Likes melodeath/doom death, and is an avid sci-fi reader. Computers hate my surname. Angry feminist, duck fan 🦆, BLM
a foolish & hungry software developer
I love my life. You would probably enjoy being me. Older than the Internet in Poland. I solve problems by (not) writing #Clojure.
Founder Functional Programming India, Concur UI framework.
“It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage against walled gardens"
#Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism
Alt of https://social.id1.in/@aj
Physics degree dropout and graduated audio-visual media engineer who finds himself writing software for a living. I enjoy functional and interactive programming and Clojure is where both ends meet best for me. Former JavaScript, Ruby, and Java programmer (in order of experience). And (as you probably guessed): I like naming things.
Senior Clojure Developer at OTTO, Hamburg, Germany.
Find my personal, non-work related (and German) profile at @salonsozialist .
Scala programmer by day, haskell, idris, common lisp afficionado by night.
Likes coffee, languages (both programming and natural), motorcycles and obscure stuff. Plays bass guitar and viola
i like solving practical problems with general abstract nonsense
i also like making & listening to music, and cooking (which arguably counts as solving practical problems)
