leanpub

@leanpub@mastodon.social

Leanpub is a unique platform for writing & publishing, with a bookstore that helps readers discover new books & authors every day! Follow us for news & deals!

jbzfn

@jbzfn@mastodon.social

Jose_A_Alonso

@Jose_A_Alonso@mathstodon.xyz

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

toxi

@toxi@mastodon.thi.ng

Interdisciplinary open so(u)rcery, computational art/craft/design, landscape photography, electronic music, education. See pinned toots for more info!

Unless stated otherwise, all published images/media (except boosts/linked content) is my own work & copyright by me.

Available for consulting/commissions. Searchable.

he/him

#ThingUmbrella #ComputationalDesign #GenerativeArt #LandscapePhotography #TypeScript #ZigLang #WebAssembly #Clojure #Forth #GLSL #Houdini #DigitalFabrication #Geometry #CellularAutomata #EvolutionaryComputing #PermaComputing #AxiDraw #DemoScene #DSP #Synth #Music4Coding #Hiking #Nature

vascorsd

@vascorsd@mastodon.social

• anime & manga • strong copyleft • privacy
• linux • functional programming • tech

No Freedom exists without Privacy.

Currently #scala software developer.
Half-shit posting around. Check at your own risk.

abnv

@abnv@fantastic.earth

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#fedi22 #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself

sharky

@__sharky__@mastodon.social

Network Eng, FreeBSD, Network Automation, Vim , Python, Interested in functional programming, Ruhrpott

jakub_zalas

@jakub_zalas@mastodon.social

Agile Software Engineer 💻 #tdd #bdd #ddd #dddesign #cqrs #eventsourcing #agile #xp #opensource #kotlin #elixir #java 🎸 #guitar #metal 📖 #TerryPratchett #Discworld 🚲 #cycling 🎮 #TheWitcher 🍺 #beer #coffee

jimfl

@jimfl@hachyderm.io

I don’t know Karate, but I know Le Creuset

ahelwer

@ahelwer@fosstodon.org

Freelance software engineer focused on formal methods & distributed systems, with an intensive side-interest in quantum computing. TLA⁺ enthusiast!

Uses: :pine64: :steamdeck: :arch: :sway: :rust: :neovim: :firefox:

Born in Canada, living in Atlanta, GA, USA. Main hobbies include submission grappling, birdwatching, and mushroom foraging. Living kidney donor. Vegetarian. Hoping for a 2000 watt society. he/him

haskman

@haskman@functional.cafe

Founder Functional Programming India, Concur UI framework.

“It’s all fine, if the compiler says it’s fine”.
"Rage against walled gardens"

#Haskell, #Purescript, #Rust, #FunctionalProgramming, #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism

gicrisf

@gicrisf@fosstodon.org

MS in Medicinal Chemistry and Tech • Software developer in Test Automation • Linux and Emacs citizen • ADHD

b4ux1t3

@b4ux1t3@hachyderm.io

Software Developer, dad, animal person. Maybe not in that order? #opensource

You'll mostly see me posting about #TTRPG, #GameDev, #Programming / #SoftwareDevelopment (primarily #DotNet, #FSharp, and #FunctionalProgramming, but also lots of others!), #parenting, and a little bit of #Woodworking.

I also post about #HamRadio over on https://mastodon.radio/@b4ux1t3!

he/him

njoseph_1

@njoseph_1@toot.thoughtworks.com

This account is no longer active, but cannot be deleted.

Follow https://social.masto.host/@njoseph instead.

#nobot

doppioslash

@doppioslash@mastodon.gamedev.place

Mind Contortionist and Bit Enchantress
Senior Graphics Programmer in games

Topics: Rendering (physically based), Procedural Generation (Houdini mostly), Color Science, Animation and rigging, Blender, Photogrammetry. Rust, Python, C++
Game engines: Unreal Engine, Unity, O3DE a bit

Author of "Physically Based Shader Development for Unity 2017" (Apress)

May contain some traces of Functional Programming and/or fancy types

I live on Mastodon now

frankel

@frankel@mastodon.top

🥑 Developer Advocate for @ApacheAPISIX ✍️ Blogger @ https://blog.frankel.ch/ 👨‍💻 Consultancy at https://garm.solutions/ 📖 Book author at http://leanpub.com/integrationtest 👀 Toots are searchable

brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

stevensanderson

@stevensanderson@mstdn.social

xarvh

@xarvh@functional.cafe

Power reductionist.
No one above us, no one below.

Here to learn more about different life experiences.

Neurodivergent.

Working on my own programming language for games & interactive apps, https://github.com/xarvh/squarepants/, top priority is #accessibility, it's cool, check it out!

My profile photo is me hanging upside down at a child playground, wearing goggles and a bandana.

bart

@bart@floss.social

Passionate Software Developer. Maintainer of https://mastodon.social/@maplibre Native. #Cpp #TypeScript #UrbanMobility #FOSS #GIS #Maps #OSM

bartdorsey

@bartdorsey@hachyderm.io

Software Developer and educator. :rust: :python_logo:

mavnn

@mavnn@mastodon.sdf.org

Christian, husband, dad, coder, trainer, speaker, rpg geek, adhd

vergauwen_simon

@vergauwen_simon@fosstodon.org

Functional & server-side in #Kotlin & #ArrowKt Maintainer.

Principal Software Engineer at 47 Degrees

mdrslmr

@mdrslmr@qoto.org

Interested in physics, science, software e.g. haskell, ...

jesper

@jesper@agda.club

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL.

Talk to me about:

Dependently typed programming
Tabletop role-playing games
Playing bassoon and clarinet
Effective altruism
Climate change
Neurodiversity
Mindfulness
Creativity
Hiking and landscape photography

Crell

@Crell@phpc.social

Anything worth doing is worth doing well.

Anything worth doing well is worth teaching others to do well.

Author of Thinking Functionally in PHP, now on LeanPub: https://leanpub.com/thinking-functionally-in-php

#tootfinder

deadblackclover

@deadblackclover@functional.cafe

FP Hacker | Programming languages nerd | Decentralized enthusiast

cam

@cam@hachyderm.io

Software Developer | writing long-lived maintainable code i won't hate | 💻 🎻 🐶 | he/him/his | #MiamiTech since '88 for you SUCKAS

@camdotbio on the bird site

louis

@louis@emacs.ch

Software developer #Go #CommonLisp #JS #SQL. #LispWorks user. Soft spots for #Emacs #SmallWeb. Recently becoming #OpenBSD enthusiast. #LinuxMint as a daily driver. Recovering Apple addict.

Author of the Tuner app for Linux.

Other hobbies: #Running #FireFighter #StarTrek