洪 民憙 (Hong Minhee) is following
🌏🌈✨🧑🏻💻 Software engineer | 🌟 like: open source, technology, science, library, beautiful things, something fun, reasonable idea, freedom, & fairness | Recent hobbies: cycling to libraries and reading books, listening to Podcasts, translating articles into Japanese 🚵 📚 🎧
My posts are licensed under the CC BY-SA 4.0 license: https://creativecommons.org/licenses/by-sa/4.0/
For Fediverse, contributing to Elk (
@elk), Takahē (@takahe), and Japanese localizations.
一児の父です。会社員。
一児の父です。会社員。
Teachin, designin, and buildin on the web all day.
I write programs and proofs. Love Martin-Löf type theory, separation logic, Haskell, Agda, Nix.
Explorer of 🌏. Entrepreneur. Software guy.
Partner @ Funktional OÜ (mobile, distributed systems, and consulting)
Founder @ Stadia Maps.
Motto: Miks mitte?
Interests too broad to fit in a bio.
Tech Princess 👸🏻 Feminist Politicker 💁🏻♀️ Fashionable Woman 💋 Tooling Witch 🛠
🚀 Founder of https://unobvious.technology
Pro-Unions 💪🏻 Trans & Queer 🏳️⚧️🏳️🌈
I currently work on Moderation and Trust & Safety tooling for the Fediverse.
Contributor to #Mastodon & other projects. You've probably used code I’ve written. Worked on the Fedi in 2018.
Berliner on New York time.
Advisor to IFTAS (https://about.iftas.org)
Bluesky: @thisismissem.social
Co-Founder (NodeBB) | Husband 🤷♂️ and Dad 🙉 to three | Rock Climber 🧗♂️ | Foodie 🥙 | Conductor 🎵 | Saxophonist 🎷
✅ Small teams craft better code.
🇨🇦 Made in Canada
🗨️ Federating NodeBB with funding from NLNet ♥️🇪🇺
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at https://bearcove.eu ✨ be kind, be curious
Seeking refuge in a distributed world. Web, future programming. Full stack dilettante. Building https://dropserver.org
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
I break things for a living!
Design と Code と Chord を操ったり操られたりしています。
#CSS と #WebComponents と #Affinity と #Vivaldi と #LittleMartin #Guitar がお気に入り。
いまだに #RiotJS を陰で応援している人。
伊達メガネの下戸。ですます調以外は独り言です。
絵描きの妻と子供達が好き。
We're building a free, open-source, decentralised social network that gives people back control over their data and their reach.
This is the account for the software engineering and design team that makes Mastodon.
For news and updates from the overall Mastodon project, follow 
@Mastodon
For news and updates on the Mastodon servers we operate (like this one!), follow 
@staffMastodon.social Staff
he/him
You probably heard about me because I am the founder of the Twisted python networking engine open source project. But I’m also the author and maintainer of several other smaller projects, a writer and public speaker about software and the things software affects (i.e.: everything), and a productivity nerd due to my ADHD. I also post a lot about politics; I’d personally prefer to be apolitical but unfortunately the global rising tide of revanchist fascism is kind of dangerous to ignore.
[bridged from kodingwarrior.dev on Bluesky by Bridgy Fed]
Python, software, coverage.py, typography, juggling, Boston, autism (dad). Laughing at the world doesn't mean I don't take it seriously. He/him.
개발자, 그리고 아마 평생 가는 컨텐츠 덕후.
블루스카이 유저분들께 : 저는 블루스카이 유저가 아닙니다. 여러분은 이 계정을 브릿지를 통해서 보고 계십니다. 기술적인 문제로 제가 멘션을 보낼 수는 없으니 양해 바랍니다.
서버 주인
백합정원 
@tirr@yuri.garden티르
Full-time indie building 
@thebluesocial. 30yr programmer. SaaS growth lessons + experiments, and behind-the-scenes.
Follow for practical dev & indie insights
Tokyo-based の daisuke です。
洪さんの実装力に感化された一人です。
dai (daisuke) Tokyo-based.