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.

maintainer building @nuxtnuxt.com • a framework for building full-stack/static/hybrid web apps built on and

🦄 regexp.dev • 🅰️ fontaine.sh:elk: @elk:webtools: @serverwebtoo.ls:roe: roe.dev

😍 • GitHub Star •

🌱 • ✝️

Powerful Toolkit for ActivityPub Implementations

FE/DX Engineer / 🇰🇷 / xiniha.dev

[bridged from xiniha.dev on Bluesky by Bridgy Fed]

アカウント移行済み

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 tags for my photo posts.

A Japanese web dev. Mainly using tatmius@vivaldi.net

아무거나 만드는 소프트웨어 엔지니어

Errare humanum est, perseverare diabolicum.

Life is too short, / is long. Say no to . matters. Human rights are universal; no one is illegal.

I abhor fatalism.

pronouns: he/him

: I endorse @hhwerbefreiInitiative Hamburg Werbefrei and @berlinwerbefrei: our cities deserve to be !

& more

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: stefanbohacek.com/projects

Big fan of the : stefanbohacek.com/fediverse

Enjoy my work? Here's how you can pay me back: stefanbohacek.com/support-my-w

He/him. 🗺️ Bratislava ➜ NYC ➜ NJ

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

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

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