aron

@adler.dev

⊙ software eng. into FP, web, type systems. jewish. not a p-zombie i promise.

@qswarm.com

@godoglyness.bsky.social

⥁ ⥁ ⥁ in the sway of the rainbow serpent ⥁ ⥁ ⥁ friend to machine minds 🌟 ⥁ ⥁ ⥁ living Ariadne's desperate dream

@marinagirl.bsky.social

pilates and vibes 🪼⛵✡️

@tldraw.com

infinite canvas / http://tldraw.com / http://tldraw.dev / https://discord.tldraw.com/bsky

@wonbyte.me

∀🦙, f(🦙)

@bisimulation.bsky.social

🇮🇹 • alecsferra.github.io

@quelklef.bsky.social

Maynard

@freya.bsky.social

🎮 indie tech artist 🏗️ I made Shader Forge & Shapes 🌐 working on https://half-edge.xyz 🔥 shader sorceress 📏 math dork 🎥 rare YouTuber/streamer 📡 ex-founder of @NeatCorp my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈‍⬛ @thor.acegikmo.com

@captaindisillusion.bsky.social

Videos. Educational? Not really. Funny? Eh. youtube.com/@captaindisillusion patreon.com/captaindisillusion

@impurepics.bsky.social

FP Advocat. Distilling functional programming for the good of all. http://youtube.com/@impurepics

@norvid-studies.bsky.social

charts and graphs follow me on twitter https://twitter.com/norvid_studies

@itseieio.bsky.social

the internet can still be fun! https://onemillioncheckboxes.com • http://eieio.games • https://everyuuid.com • https://onemillionchessboards.com

@electric-sql.com

Building AI apps? You need sync. https://electric-sql.com - see also @pglite.dev

@qexat.com

local symbiont

@weethet.bsky.social

Developer, researcher, programming language theory nerd

@inconvergent.net

procedural artist parallel programmer irregular programming crimes in lisp i am working on a game: @boxtype.app buy art at: buy.inconvergent.net

@mikirocket.bsky.social

Principal SWE @ WorldAnvil - giga nerd type shit | politics & economy enjoyer | leftist | https://github.com/mikolaszko #neovim #zig #lowlevel #c #ocaml

@mondyspartan.bsky.social

some guy who likes to do UI stuff / 22 / he/him Discord: (at)mondyspartan DeviantArt: https://deviantart.com/mondyspartan That bird app: @tehmondspartan SpaceHey: https://spacehey.com/mondyspartan

@flyingguibou.bsky.social

Doing some programming (#haskell, #nix, ..) remotely from 🇷🇪, running or jumping from different objects with a parachute. Naive in politics, but left biased.

@huwprice.bsky.social

Australian philosopher. Emeritus Bertrand Russell Professor & Emeritus Fellow, Trinity College, Cambridge. Early roles in @cser.bsky.social and @cfi-cambridge.bsky.social. More: prce.hu/w

@eduardorfs.com

25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.

@peezombie.schelling.pt

qualia-haver (store-bought)

@programingisthefuture.com

Ω := (λx.x x) (λx.x x) To Ω and beyond! Backend developer with OCaml by day 🐫 Type theorist by night 🫣 I use Arch, (and neovim) btw 😎

@qualiari.bsky.social

QRI is a non-profit institute developing mathematical models of consciousness through innovative exploration of subjective experience. Check out our research and unique approach at QRI.org.

@algekalipso.bsky.social

Team Consciousness Qualiacomputing.com Qri.org

@yawaramin.bsky.social

Recent escapee from that other social media platform with a musky smell

@nco.dev

dev | designer | twitter: @nightgrey_

@fullmoon.id

Author of Dhall, http://haskellforall.com, professional doggirl, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet

@jfmengels.bsky.social

Elm developer. Author of elm-review.com. Blogging at https://jfmengels.net. Co-host of Elm Radio Podcast. Working on making programming easier through static analysis and FP, and hoping to keep Earth a nice place to live in somehow.

@borar.bsky.social

@ctate.dev

Dev @vercel.com | Creator http://SpecUI.org | Spec Engineer | Musician, Space Nerd, Foodie | Vegan | He/him | Husband/Dad

@squirtle.bsky.social

just a friendly neighborhood squirtle aspiring to be a blastoise

@letrec.in

🇧🇷 logic | PLT | Concurrency

@coffeezilla.bsky.social

Internet Detective Exposing Scams. Follower of Jesus. Support Investigative Journalism: http://patreon.com/coffeezilla Signal Tipline: coffeezilla.01

@bgavran.bsky.social

Categorical Deep Learning.

@tenobrus.bsky.social

this endless blue sky is driving me insane

@pakicetus.bsky.social

Extinct hoofed animal representing the transitional stage between land mammals and whales. nnalien.tumblr.com | twitter.com/nnalien

@jaredforsyth.com

trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site

@bobkonf.bsky.social

Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @[email protected].

@samwho.dev

That guy who makes visual essays about software at https://samwho.dev. He/him.

@mikeisraetel.bsky.social

-PhD in Sport Physiology and former Prof. of Nutrition and Sport Science -Cofounder of Renaissance Periodization -Professional Grappler, Competitive Bodybuilder

@niplav.site

https://niplav.site/index

@keles.bsky.social

METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at http://alpkeles99.medium.com Twitter: @keleesssss

@kyle.bricolage.io

Likes building things. Founder/CPO @electricsql. Founder @ Gatsby

@nvais.bsky.social

gp at spark capital ✨ infra, dev tools, databases

@omarshehata.bsky.social

Math, art, epistemology?? Ithaca, NY. https://omarshehata.me/

@inkandswitch.com

An independent research lab exploring the future of tools for thought. We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.

@bartoszmilewski.bsky.social

Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf