洪 民憙 (Hong Minhee) is following
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레몬더블 이 운영하는 비공식 봇입니다. 혹시 봇에 문제가 생기면, 개발자 계정으로 연락 주시면 감사하겠습니다!
여러 인스턴스를 전전하다가 결국 https://mastodon.aioo.ooo 인스턴스를 운영합니다.
프로그래머로서 하스켈haskell을 공부하긴 하는데, 프로그래머에게 별로 도움이 안되고, 생각 놀이를 하고 있을지도 모릅니다.
구직중입니다. 부릉, 오퍼니티에서 백엔드 개발자로 일했습니다. 시프트더블유, 일공공, 업투데이트북스를 창업했습니다. 라라벨과 PHP 서적 두 권을 번역하고 한 권을 썼습니다. 취미로 치킨랭크를 만들고 있습니다.
I am deliberately eclectic.
I write mostly about software engineering, and I also post #programminghumor, #gaming, #writing, #gamdev, and lots of other stuff.
I tend to write stuff in #python these days with bits of #js / #go / #rust tossed in. Playing with #godot too!
Engineer and manager at https://unstructured.io
情報技術とラブコメと日常系が好き
Likes Ruby and Rust. Contributing #Plume, a federated blogging app.