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

인형 만든다

If you went followed me from bluesky, check following @ap.brid.gy. (If not following this, i don't visible you from this account.)

ActivityPubでいろいろつくってます

メンタルは定期的に死ぬよ

VRChatはたまにフルトラ (5点)でやってるときもある
#VRC #VRChat #わーーーー

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. SW engineer, EU-based.

pronouns: he/him

--

#CreativeCoding.

#Privacy matters.

Human rights are universal; kein Mensch ist illegal; mehr rechtsfreie Räume.

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

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

Software Developer from Ohio

#OpenSource
#Bengals #Reds #OhioState

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

λ(☕) → 💻

• Languages: Korean(개잘함), English(a little bit), Japanese(まま), Esperanto(tre iomete)
• Interests: server, concurrency, functional programming, keyboard(the input system), guitar

Husband, father, side project enthusiast: https://stefanbohacek.com/projects

Enjoy my work? Here's how to pay me back: https://stefanbohacek.com/support-my-work/

https://FightFascism.glitch.me ✊

He/him. 🗺️ Bratislava ➜ NYC ➜ NJ

See also:

@stefanbohacek
@alttexthalloffame
@FediverseExplorations
@challengesRecurring creative challenges
@botwikibotwiki.org

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

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

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