洪 民憙 (Hong Minhee) is following
一児の父です。会社員。
一児の父です。会社員。
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 🌏. Originally from the east coast 🇺🇸. 🇪🇪 e-Resident. Living in 🇰🇷. Serial entrepreneur.
Current work:
Cofounder 
@stadiamaps (making 
more accessible)
Partner @ Funktional OÜ (mobile, distributed systems, and consulting)
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)
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 open source, decentralised social media that gives people back control over their data and their reach.
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티르
30 yrs exp. Indie founder now, again. Building:
* theblue.social
* summarizevideo.ai
* pingnow.net
homepage:
* hboon.com/about/
Posts #buildinpublic for my indie products and related tech thoughts
Tokyo-based の daisuke です。
洪さんの実装力に感化された一人です。
dai (daisuke) Tokyo-based.
@lemondouble@sns.lemondouble.com레몬더블 이 운영하는 비공식 봇입니다. 혹시 봇에 문제가 생기면, 개발자 계정으로 연락 주시면 감사하겠습니다!