×
You are not logged in
Bluesky Followers
mattoflambda.bsky.social
Followers of @mattoflambda.bsky.social
Marek Fajkus
Registered:15 Jan 2025 16:42
Software engineer. Functional and low level programming. I wrote a lot of UI code because nobody else wanted. Computer mason and proof people can get payed for hobbies.
Gone from twitter https://x.com/turbo_MaCk
https://turbomack.github.io/
bijkerhans.bsky.social
Registered:18 Aug 2024 09:17
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
Andrรฉ
Registered:13 Nov 2024 14:10
Yes, the Cat is real, no, he does not have an account. I dunno, he was mad about a measurement or something.
The handle is 0, means nothing
โค๏ธ @lanooba.com
๐งญ To the left of the Cat
boarders.bsky.social
Registered:17 Aug 2024 16:39
Thanks to impermanence all things are possible
Working on a book on topos theory
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
DAILYSPARK
Registered:1 Dec 2024 10:01
Stay informed with DAILYSPARK, a reliable online news source delivering the latest breaking news and entertainment updates.
๐ผ Media & News ๐Turn on Notifications
Michelle A
Registered:20 Mar 2025 14:47
Welcome to my little corner of the internet, where I share my passion for all things furry and four-legged! As an animal lover, pet parent, and storyteller, I'm excited to take you on adventures with my faithful companions.
Bayesian Bacon Brit
Registered:17 Feb 2025 10:11
computer scientist; centrist until the centre moved; social capitalist
tonikaihola.bsky.social
Registered:9 Sep 2023 16:30
objetsinfernaux.bsky.social
Registered:8 Feb 2025 16:30
Oisterwijk Nieuws
Registered:3 Dec 2024 10:40
Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
mgsloan.bsky.social
Registered:18 Nov 2024 17:12
jnpn
Registered:13 Jan 2025 01:46
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Mร riรฉ
Registered:14 Jan 2025 13:50
Math enthusiast
@mariziv@mastodon.social
Benjamin P Taylor
Registered:12 Apr 2023 18:44
systems | cybernetics | complexity
public | service | transformation
business evolutionary | avid learner
#wordrotator #poastrationalist
https://chosen-path.org
connect at antlerboy.com
redquadrant.com
publicservicetransformation.org
skeeting personally
gracebrown44.bsky.social
Registered:1 Jan 2025 00:36
Am cool to chat with ๐๐
crnflke.bsky.social
Registered:7 Aug 2024 13:52
This Adattato
Registered:29 Dec 2024 11:30
TV-series ex-addict (now relapsed), Guzzi lover, extreme bug hunter, playing the white and black thingies on pianos, pretending to draw.
๐จ๐ฆ Joey Eremondi
Registered:20 Dec 2024 06:25
PL Researcher. Assistant Prof at University of Regina ๐จ๐ฆ
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Ryan Gallagher
Registered:16 Nov 2024 15:24
iOS Developer @Transport for London. Develops on the iOS TfL Go app: https://tfl.gov.uk/maps_/tfl-g...
Opinions are my own and not my employer. LinkedIn: https://www.linkedin.com/in/ry...
nihil2501
Registered:21 Nov 2023 23:49
twitchard
Registered:12 Sep 2023 22:32
Software hot takes, shower thoughts, and parenting tales.
Currently: developer platform @ hume.ai
Formerly: Stripe, Vimeo, Livestream
shinzui
Registered:7 Feb 2024 23:15
Technologist โข Software engineer โข Engineering leader โข Product developer โข Photographer โข Swimmer โข Japanophile โข Lover of beautiful things.
Indefinitely AWOL
Registered:30 Nov 2024 00:16
Redirect to: https://bsky.app/profile/xargs... & https://blog.xargs.io/page/me/
sander
Registered:1 Jul 2023 09:19
code janitor / big doofus / rust ยท haskell ยท elm ยท nix & everything nice / swe @ cachix.org
Daniel Bachler
Registered:4 Nov 2023 13:52
Head of Engineering at @ourworldindata.org; likes nuanced discourse, weird creatures and programming languages with ADTs
Luigi Berrettini
Registered:21 Nov 2024 22:22
chris bodhi
Registered:11 Apr 2023 21:11
Whatcha working on?
larrytheliquid
Registered:5 Nov 2024 22:03
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
๐๐ธZhSigma@332ppmโ
ฮฃx,xโS={๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life
Registered:10 Dec 2023 03:17
S. L. Rolland@332ppm
REPOST
Roma ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat;๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ด;Nno๐ฎ๐ธ๐ซ๐ด
Slav ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ(๐ง๐ฆ๐ฒ๐ช๐ง๐พ)๐ธ๐ฎ
Hel ๐ฌ๐ท Sino ๐จ๐ณ;๐น๐ผ Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ
Poly ๐ฏ๐ต๐ฌ๐ฑ;๐ฐ๐ท๐ฒ๐ณ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
Climate Agnotology Disinformation
Antispeciesism Flexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
zimbatm
Registered:20 Nov 2024 10:18

