wwj is following

  • Frontend, App developer ๐Ÿง‘โ€๐Ÿ’ป
  • She/Her or They/Them ๐Ÿณ๏ธโ€โšง๏ธ
  • Korean ๐Ÿ‡ฐ๐Ÿ‡ท
  • My website ๐ŸŒ: https://helloyunho.xyz/

์†Œ๊ฐœ - Who Am I?

  • ๊ฐœ๋ฐœ์ž/์—ฐ๊ตฌ์›
  • Haskell Language Server Admin
  • PL Theorist
  • Logician
  • ์ค‘์ฆ ๋งฅ๋•

๊ทผํ™ฉ - Recent Interests

  • ์–ธ์–ด๊ฐ„ ์ƒํ˜ธ์šด์šฉ์„ฑ(Interoperability) ์—ฐ๊ตฌ ์ค‘
  • ์˜์กด์  ํ˜•์ด๋ก (dependent type theory) ์—ฐ๊ตฌ ์ค‘
  • ํšจ์œจ์ ์ธ ๋ ˆ์ดํ… ์กฐํŒ(LaTeX Typesetting) ๊ณต๋ถ€ ์ค‘
  • Quรฉbec ์—์„œ ์ œ์ผ ๋ง›์žˆ๋Š” Stout ๋งˆ์‹œ๋Š” ์ค‘

activitypub addict, aspiring astronaut, community creator and determined dreamer.

currently building @pixelfed + @loops + @supappsup + @fedidb + more

์ด๊ฒƒ์ €๊ฒƒ ๋ฐฑ์—”๋“œ ๊ฐœ๋ฐœ์„ ํ•ฉ๋‹ˆ๋‹ค

Web developer
Technical Writing/Translation/Internationalization
Opensource Contribution

lapy at k.lapy.link

* CherryPick.lapy ๊ด€๋ จ ๋ฌธ์˜๋Š” ๋ฉ”์ผ๋กœ kiwi:at_blue:lapy.link ๋ถ€ํƒ๋“œ๋ ค์š”!

JA(Fluent):
@pyan@k.lapy.linkใ‚‰ใ‚ƒใดใƒผ ๐Ÿฅ:verified_neko: (๐Ÿ‡ฐ๐Ÿ‡ท้‡œๅฑฑ 03/14~)
EN(Intermediate):
@lapy@mk.absturztau.be
CN(Beginner):
@lapy@nya.onelapy. :m5_shock:

์•ˆ๋…•ํ•˜์„ธ์š”.

World's leading Linux and Open Source web portal.
itsfoss.com/

A modern runtime for JavaScript and TypeScript deno.land

just pythonistaโ€จopinions are my own not my employer.
director of python software foundation

Creator of WezTerm. ๐Ÿ’“๐Ÿฆ€
Ex-Meta (Creator of Watchman and EdenFS).
Ex-Message Systems.
PHP internals alum.
I'm offering Mentoring at wezfurlong.org/mentoring/ and writing a Systems Programming with Rust book: leanpub.com/sysprog

์›๋ฆฌ๋ฅผ ์ •ํ™•ํ•˜๊ฒŒ ์ดํ•ดํ•˜๋Š” ๊ฒƒ์ด ์ค‘์š”ํ•˜์ง€