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)

#Brazillian game developer, orbits around tooling, frameworking, and tech art. #Linux user.

Systems to serve humans. #NoAI

Reg "raganwald" Braithwaite's account for discussing functional programming and shamelessly plugging essays about programming.

Follows are NOT endorsements. This account often follows back, and unappealing content happens to be noticed, this account may mute locally instead of unfollowing.

Flying, careers, society and other stuff is over on @raganwald@social.bau-ha-us.

Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him

Into handmade #software in #AdaLang

# 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; Rhombus, 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.

DevOps/SRE/Platform Engineer, woodworker, father. #FLOSS #Privacy #Security #SailfishOS #DIY. #ArchLinux and #KDE developer fellow. #fedi22

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)

Did some stuff here and there. In the Open Source world: #dotNET & #Emacs in #Gentoo. Working with #Linux and having fun with #BSD. My posts auto-delete.

Well known to those that know him well.
Somewhat quiet on social media since having a kid but loving it
Annoyingly pre-post-economic

hacker.

Please find me @forse

I'm posting more about world events and philosophy than about functional programming, so I think the new home is more appropriate.

Consultant for SW Engineering Processes and SW Architecture, Author of the C++17 STL Cookbook, giving university lectures about SW quality. Haskell, C++, Purescript, GNU/Linux, Nix and NixOS

makes Lean at Lean FRO

Munich, Germany

A #rustlang programmer with interests in functional programming, category theory and advanced type sorcery

🐍 🦀👨‍💻🖖
Pessoas > Tecnologia
People > Technology

Creator of code and controversial opinions.

#Python and #Rust developer (although I did almost every language around there), #Brazilian #Trekkie. #fedi22

Likes coffee, languages (both programming and natural), motorcycles and obscure stuff. Plays bass guitar and viola

Lisp, Emacs, APL and a bunch of other stuff.

From Sweden, living in Singapore.

I always work on a bunch of projects. My current major ones are:

A graphical frontend to Maxima: https://github.com/lokedhs/maxima-client

Kap: An APL-based programming language: https://codeberg.org/loke/array

#lisp #commonlisp #apl #retrocomputing #linux #kap #climaxima #emacs #atari #fedi22

Trying to be different - just like you.