洪 民憙 (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.

Life is too short, #kunst / #art is long. Say no to #slop. #Privacy matters. Human rights are universal; no one is illegal.

I abhor fatalism.

pronouns: he/him

#adblock #antipub: I endorse @hhwerbefreiInitiative Hamburg Werbefrei and @berlinwerbefrei: our cities deserve to be #AdfreeCities!

#CreativeCoding & more

twitter@thisisnoleaf 혹은 twitter@dev_sonohoshi의 마스토돈 계정입니다.

Software Developer from Ohio

#OpenSource
#Bengals #Reds #OhioState

@pokemonFediverse Plays Pokemon
@trending_bot
@ohgoOHGO Traffic Cameras
@surrender_index
@surrender_idx90Surrender Index 90
@tmntTMNT Logo Generator
@gulfof
@GiftArticles
@columbusColumbus - Feeds
@MrPresidentTomTom Casavant

λ(☕) → 💻

• 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

中年(중년)의 中小企業(중소기업) 開發者(개발자), 90年代(년대) Console Gamer(콘솔 게이머). 좋은 하루를 繼續(계속)해 나아간다. 좋은 하루가 모이면 좋은 人生(인생)이 된다.

韓国人のプログラマー、40代、小学生の息子とゲームするのが幸せ😃💕龍が如く 、ゼルダの伝説、マリオ、ピクミン好き

「いい1日を続ける」
いい1日を続けていけば、いい人生になる！