洪 民憙 (Hong Minhee)'s followers
This account is for developing and testing Hackers' Pub. Please ignore this account.
이 계정은 Hackers' Pub을 개발하고 테스트하는 용도입니다. 무시해 주세요.
I write programs and proofs. Love Martin-Löf type theory, separation logic, Haskell, Agda, Nix.
#opensource maintainer building 
@nuxt • https://nuxt.com • a framework for building full-stack/static/hybrid web apps built on #vue and #nitro
🦄 https://regexp.dev • 🅰️ https://fontaine.sh • 
@elk • 
@serverwebtoo.ls • 
https://roe.dev
😍 #typescript • #serverless • #jamstack • #performance • #GDE • #MVP • GitHub Star • #nuxt
🌱 #bouldering • #writing • #speaking • #piano • #skiing • ✝️
Powerful Toolkit for ActivityPub Implementations
アカウント移行済み
A hobbyist photographer, football fan and ex software engineer.
This account is for my personal records. I mostly post in Korean, but I can communicate in English and Japanese.
I use #photo #photography tags for my photo posts.
A Japanese web dev. Mainly using tatmius@vivaldi.net
아무거나 만드는 소프트웨어 엔지니어
Errare humanum est, perseverare diabolicum.
Trying to be positive, not always succeeding.
life is too short, #kunst/#art is long.
pronouns: he/him
--
#CreativeCoding. #NoAI. #Privacy matters.
Human rights are universal; kein Mensch ist illegal; mehr rechtsfreie Räume.
#adblock #antipub: I endorse 
@hhwerbefreiInitiative Hamburg Werbefrei and https://berlin-werbefrei.de/: our cities deserve to be #AdfreeCities!
twitter@thisisnoleaf 혹은 twitter@dev_sonohoshi의 마스토돈 계정입니다.
@
@
@
@
@
@
@
@
@
λ(☕) → 💻
- Languages: Korean(개쩖), English(totally broken), Japanese(まあまあ), Esperanto(tre iomete)
- Interests: server, concurrency, functional programming, keyboard(the input system), guitar
Husband, father, side project enthusiast: https://stefanbohacek.com/projects
Big fan of the #fediverse: https://stefanbohacek.com/fediverse
Enjoy my work? Here's how you can pay me back: https://stefanbohacek.com/support-my-work/
He/him. 🗺️ Bratislava ➜ NYC ➜ NJ
