洪 民憙 (Hong Minhee) is following
┌┐┌┐·┌┐┌┐
└┘└┘·└┘└┘ ᴬᴹ
Kiwi living in Scotland, dad and WFH C# dev who enjoys some React on the side 😁. Co wrote the Stream Bingo twitch extension. Very chill, enjoying Mastadon and working around the house. Be cool everyone! (he/him).
🥰
よろしくね
Imported Emoji list
Neocat v1.1
Author : Volpeon
License : CC BY-NC-SA 4.0
https://volpeon.ink/emojis/neocat/
BunHD v1.2.1
Author : Volpeon
License : Apache License 2.0
https://volpeon.ink/emojis/bunhd/
blobcat絵文字
Author : ミルラ
License : Apache License 2.0
https://pont.co/u/888myrrh888
アカウント一覧
https://sv1.in-deep.blue/@nt776
https://devmi1.oyasumi.dev/@admin
https://jiskey.dev/@ntek
https://chiranote.com/@ntek
https://misskey.io/@nt776
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
Note: This is a personal account with a lot of throw-away thoughts (aka, shitposting) to get early feedback (aka, top insights). "Shitposting" is an anagram of "Top Insights". Also, I regularly curate my following/followers list: The Quality of connections is better than the Quantity of followers
🧑🏻💻 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).


🌏🌈✨