구슬아이스크림 is following

크로스 플랫폼 빌드 고치는 노동자

잡담은 @meperlmint 에서

FunApp
(Γ ⊢ 𝑓: Humor → Happy, 𝑎 : Humor) / (𝑓 𝑎 : Happy)

이상한 거 만들던 아저씨가 이제 그냥 이상한 아저씨가 되었습니다. I used to make quirky things, I'm now as quirky as my creations.

이것저것 백엔드 개발을 합니다

Haze Lee but also known as Kihan Park

• 💻 Make stuff with Computer
• 💉 Living with Migraine more than 10y, Migraine Advocate [Headache Place]
• 💬 🇰🇷, Also 🇯🇵 & 🇬🇧🇺🇸

*Encounter the Wider World*

스타트업/소프트웨어/코딩/정치/블로그 글감 메모

블로그 : https://gsong.pe.kr/

어둠사자입니다. 매운맛 주의 #catswords #infosec
#Call (+82) 070-7735-3586
#BlueSky @gnh1201.catswords.social
#Threads @gnh1201고남현
#XMPP gnh1201@omemo.id

익명질문하세요.
https://quesdon.planet.moe/@gnh1201@catswords.social

소개 - Who Am I?

• 개발자/연구원
• Haskell Language Server Admin
• PL Theorist
• Logician
• 중증 맥덕

근황 - Recent Interests

• 언어간 상호운용성(Interoperability) 연구 중
• 의존적 형이론(dependent type theory) 연구 중
• 효율적인 레이텍 조판(LaTeX Typesetting) 공부 중
• Québec 에서 제일 맛있는 Stout 마시는 중

개발자들의 성장 아지트, <튜링의 사과> 입니다. 🦸 멋진 개발자분들과 힙한 아지트를 만들어 가고 있어요

이것저것 해보고 싶은 사람입니다. 지금은 C++과 함께 고통받고 있습니다.

https://aurynj.net/

안녕하세요!

Uncertified Quasi-pseudo dev

pixel perfect.

• IT 노동자
• 아마추어 산책러 (프로 지망)