People
Local
Federated
![@leanpub@mastodon.social](https://kbin.social/index.php/media/cache/resolve/user_cover/cb/10/cb10380b9be9a09224f43aba9f066755b0b4a25f720b6db85050de4364c42c83.png)
![@leanpub@mastodon.social avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/07/93/07930347e8a36f5abfb8b7e6867ec205445865aa3d14bf628978ae6b3de9d133.png)
leanpub
@leanpub@mastodon.socialLeanpub is a unique platform for writing & publishing, with a bookstore that helps readers discover new books & authors every day! Follow us for news & deals!
![@Jose_A_Alonso@mathstodon.xyz](https://kbin.social/index.php/media/cache/resolve/user_cover/2e/4c/2e4c03647f373ae2a9443c45e94d296afdb6d972b2bdfb7aa9b1afb9a87162fd.png)
![@Jose_A_Alonso@mathstodon.xyz avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/c7/a1/c7a13183dcd8d3046de6d73861adfd5021041c3ab6a77613125d64467e6e0c37.png)
Jose_A_Alonso
@Jose_A_Alonso@mathstodon.xyzMathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
![@toxi@mastodon.thi.ng](https://kbin.social/index.php/media/cache/resolve/user_cover/22/cf/22cffe78903fd3ccafbd155ea050608daa62e591355763a5e10d2d54c0d2562c.jpg)
![@toxi@mastodon.thi.ng avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/a5/58/a55811cda5710ecbf5ac6218973c82fe90659a09bf11c3bc7785f5adc89746af.jpg)
toxi
@toxi@mastodon.thi.ngInterdisciplinary 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. Inclusion in AI models strictly forbidden.
Available for consulting/commissions. Searchable.
he/him
#ThingUmbrella #GenerativeArt #LandscapePhotography #TypeScript #ZigLang #WebAssembly #Clojure #Forth #GLSL #Houdini #DigitalFabrication #Geometry #CellularAutomata #EvolutionaryComputing #PermaComputing #AxiDraw #DSP #Synth #Music4Coding #Hiking #Nature
![@abnv@fantastic.earth](https://kbin.social/index.php/media/cache/resolve/user_cover/2c/8b/2c8bbf6a857ea976682522f6b2e5726aec197f97918a09b5220b417c67457290.jpg)
![@abnv@fantastic.earth avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/97/5e/975e00d17994c2b700c95abc08039ff74012261907168be2844ecb7ff361580f.jpg)
abnv
@abnv@fantastic.earthProgramming 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__@mastodon.social avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/42/2c/422cb93bd80c9e0958b4578b5f084f50cc75978e9adbacdbe2973c2ec9f554c6.png)
__sharky__
@__sharky__@mastodon.socialNetwork Eng, FreeBSD, Network Automation, Vim , Python, Interested in functional programming, Ruhrpott
jakub_zalas
@jakub_zalas@mastodon.socialAgile Software Engineer 💻 #tdd #bdd #ddd #dddesign #cqrs #eventsourcing #agile #xp #opensource #kotlin #elixir #java 🎸 #guitar #metal 📖 #TerryPratchett #Discworld 🚲 #cycling 🎮 #TheWitcher 🍺 #beer #coffee
ahelwer
@ahelwer@fosstodon.orgFreelance 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@functional.cafe](https://kbin.social/index.php/media/cache/resolve/user_cover/cb/0a/cb0a18739f8e344fa13930956c8631a1d2e57dc93d672e9da175e5ca3b859cee.jpg)
![@haskman@functional.cafe avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/76/9b/769bfbeae83a3aef329dd026fdd67a54f3540aa01af985808c63d1015b2f174c.png)
haskman
@haskman@functional.cafeFounder 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.orgMS in Medicinal Chemistry and Tech • Software developer in Test Automation • Linux and Emacs citizen • ADHD
![@b4ux1t3@hachyderm.io avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/a8/47/a847bbd41b60253451d151dc5b0e321bc8f87659468a9e4eaae918e4b1d39ddb.jpg)
b4ux1t3
@b4ux1t3@hachyderm.ioSoftware 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 used to post about #HamRadio over on https://mastodon.radio/@b4ux1t3, but now I do that here!
he/him
njoseph_1
@njoseph_1@toot.thoughtworks.comThis account is no longer active, but cannot be deleted.
Follow https://social.masto.host/@njoseph instead.
doppioslash
@doppioslash@mastodon.gamedev.placeMind 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@mastodon.top](https://kbin.social/index.php/media/cache/resolve/user_cover/66/1b/661bded36e382cab579c326b9ec1c147cf0e84e53ed23f852c3b11f9261fbc00.jpg)
![@frankel@mastodon.top avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/b7/3c/b73cc94dec87c38f2e2a26e7184797e37a52eb10705115e48b20112aa80fd478.jpg)
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@emacs.ch](https://kbin.social/index.php/media/cache/resolve/user_cover/00/d1/00d12a79cc696e3f3722b2b1e4689d64e3f99f70ce9358df1e3ca5dcb7c6312c.png)
![@brokenix@emacs.ch avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/4f/a4/4fa4be828e80b087ba4158d65a49cfa3d7a0d68c98a3572ecfc61936e76b801b.jpg)
brokenix
@brokenix@emacs.chdata 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
![@stevensanderson@mstdn.social](https://kbin.social/index.php/media/cache/resolve/user_cover/39/7e/397e6eb4f445e83a66081eea40863618a44340c8cadd32f8f0ba0b86e143cd8c.jpg)
![@stevensanderson@mstdn.social avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/40/f7/40f7cdc690b4bbd38aa53570c7dd16966736e092684ab3766411af59ba72a44c.jpg)
stevensanderson
@stevensanderson@mstdn.socialNew Book: https://packt.link/oTyZJ | R - install.packages("healthyverse") | #SQL | opinions are mine | #rstats | Mainly though my wife and kids :) | Advisor to DoTadda - All posts delete in 12 months.
![@xarvh@functional.cafe avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/f0/e0/f0e018549f41335af1a1c079eba175a8598f6fab78880582ad5f164bcb1ce000.jpg)
xarvh
@xarvh@functional.cafePower 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.socialPassionate Software Developer. Maintainer of https://mastodon.social/@maplibre Native. #Cpp #TypeScript #UrbanMobility #FOSS #GIS #Maps #OSM
bartdorsey
@bartdorsey@hachyderm.ioSoftware Developer and educator. :rust: :python_logo:
![@mavnn@mastodon.sdf.org avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/1d/75/1d7594c7a9b15e8395563fdd2f7199811d526313f31cf4371e1d58c939d2f06a.png)
mavnn
@mavnn@mastodon.sdf.orgChristian, husband, dad, coder, trainer, speaker, rpg geek, adhd
vergauwen_simon
@vergauwen_simon@fosstodon.orgmdrslmr
@mdrslmr@qoto.orgInterested in physics, science, software e.g. haskell, ...
jesper
@jesper@agda.clubOnce 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@phpc.social avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/2e/48/2e487fa3129e941118991b443c0912cc3b9ce6672875c1035e9ec4ba73f14e78.jpg)
Crell
@Crell@phpc.socialAnything 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
![@deadblackclover@functional.cafe](https://kbin.social/index.php/media/cache/resolve/user_cover/75/fa/75fae4d88db2702feb4e4cb04b3caf7850371f6ddec1eb3dbd19399a5d037770.jpg)
![@deadblackclover@functional.cafe avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/e4/5e/e45efe143f98549bc332b8c2c70d4a89de3698886a7e9732cb166ddff4702e82.jpg)
deadblackclover
@deadblackclover@functional.cafeFP Hacker | Programming languages nerd | Decentralized enthusiast
![@cam@hachyderm.io avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/f9/fb/f9fbbd5ba07b31dc6c2c59b1e214b61928079248d5e41b6500980f34afd823c6.jpg)
cam
@cam@hachyderm.ioSoftware 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@emacs.ch](https://kbin.social/index.php/media/cache/resolve/user_cover/6b/2a/6b2a87cd5ce05130a98e83bf570eff811fcde4708499f81cf6f45f46af369ca7.png)
![@louis@emacs.ch avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/17/f4/17f4367df108494a5f57ba98ebf991084a59c8ab80c83d9dadee9b60a297bbfc.png)
louis
@louis@emacs.chSoftware 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
rml
@rml@functional.cafehacker.
![@ctietze@mastodon.social](https://kbin.social/index.php/media/cache/resolve/user_cover/30/3d/303d33fa17429cec3efe07c1defaf2b159a7f8c299a8d47fad06ca5609b74851.jpg)
![@ctietze@mastodon.social avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/e8/78/e87877fbf8e816828513d5c72bb836f5f99934f2187ab4b0ce90944ed83d6141.jpg)
ctietze
@ctietze@mastodon.socialDeveloper of indie macOS apps. The Archive, WordCounter, TableFlip, Move!
Using #Xcode to write #Swift and sometimes #SwiftUI apps for #iOS and #Mac.
OG #Zettelkasten zealot.
Local #urbansketchers group founder.
#Bielefeld (Germany)
─────────────
#fedi22
![@gregorni@fosstodon.org](https://kbin.social/index.php/media/cache/resolve/user_cover/01/d7/01d75a0d7855ca47504a9e38e5dabab9b956c60ddb60bd0ce490819bf764db9f.jpg)
![@gregorni@fosstodon.org avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/55/a2/55a2a9fd09e018e1592ca7ddb33744e2b23cd44ab8eab253ab038473fba1cb9b.png)
gregorni
@gregorni@fosstodon.orgHi, I’m Gregor Niehl, a tech enthusiast from Germany born in 2007. I am generally interested in all things #Linux and #OpenSource.
I write apps for the #GNOME desktop, and am part of the GNOME Foundation and the GNOME Circle Committee.
![@alexelcu@social.alexn.org](https://kbin.social/index.php/media/cache/resolve/user_cover/c5/a3/c5a3dd65894313533e7115d5cce118b53b63ebf91064198de1343b7f6e0de39c.jpg)
![@alexelcu@social.alexn.org avatar](https://kbin.social/index.php/media/cache/resolve/avatar_thumb/03/a6/03a6810cfa2b87117f6610038611dc743011cf1e32f0fa8d2a4c822ba5089c70.png)
alexelcu
@alexelcu@social.alexn.orgSoftware developer, #FP, #Scala, #Kotlin, #Java / #JVM, #Haskell, #Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.