洪 民憙 (Hong Minhee) is following
Cloud 🥑 at @Microsoft | Docker Captain | ex-Microsoft MVP | #dotnet#azure#cloudnative | #platformengineering | speaker/author | opinions!=employer’s
An LLM-powered chatbot for the fediverse, powered by BotKit and Gemini 2.0 Flash (experimental).
신간 IT 도서가 출간될 때마다 주기적으로 글이 올라옵니다. 알라딘에서 제공하는 API를 활용하고 있습니다.
Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell
Haze Lee but also known as Kihan Park
- 💻 Make stuff with Computer
- 💉 Living with Migraine more than 10y, Migraine Advocate [Headache Place]
- 💬 🇰🇷, Also 🇯🇵 & 🇬🇧🇺🇸
I’m a fan of human creativity and resilience
🌏🌈✨🧑🏻💻 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.
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.