bgl gwyng is following

함수형 프로그래밍 언어를 쓰고 있는 개발자 입니다. 반갑습니다.

hyeon.me

업으로 프로그래밍을 하는 컴퓨터 공학 학부생입니다.

Startup / Software / 코딩 / 가끔 정치얘기 / 가끔 잡생각들 / 블로그 글감 메모

I write programs and proofs. Love Martin-Löf type theory, separation logic, Haskell, Agda, Nix.

ui dev

Data Scientist, AI GDE, Writer/Translator

your metaverse plumber and firefighter | DISCLAIMER - 소속한 집단의 의견을 대표하지 않고, 생각은 언제나 바뀔 수 있음

백합.정원 인스턴스 관리자, 양손검입니다. @gardener 정원사 와 같은 사람이지만, 사담 등을 위해 별도의 계정을 사용합니다.

쯔방이라고 불러주세요!

https://01010011.blog

고려대학교 박사과정 수료

Yet another PL enthusiast a.k.a. Hyunjoon Kim, d01c2 plz read my nickname as 'dolce'.

SiFNet, DN42 AS4242421303 Admin, Amateur Embedded hacker; FLOSS; OSHW; cypherpunk; Linuxer; ⚧; Sometimes VTube on https://twitch.com/perillamint more info: https://blog.quendi.moe/about-pmint

DevOps, SRE, Platform Engineer 등을 합니다. 규모에 따라서 업무의 범위가 달라지네요...

규칙을 만들고, 부수고, 살펴보고, 고치기를 좋아합니다. 논리를 다루는 일이 즐거워 프로그래밍을 업으로 삼았습니다. 현재는 프론트엔드 플랫폼 엔지니어로 일하고 있습니다.

다음 주제에 특히 관심이 많습니다.

• 프로그래밍 언어론
• 타입 이론
• 소프트웨어 아키텍쳐
• 글쓰기 그리고 맥주와 와인

소개 - Who Am I?

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

근황 - Recent Interests

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

구직중입니다. 부릉, 오퍼니티에서 백엔드 개발자로 일했습니다. 시프트더블유, 일공공, 업투데이트북스를 창업했습니다. 라라벨과 PHP 서적 두 권을 번역하고 한 권을 썼습니다. 취미로 치킨랭크를 만들고 있습니다.