bgl gwyng is following
약력은 비워둘 수 없습니다.
Software Engineer
숭실대학교 소프트웨어학부 게임 개발 지망생
게임 프로그래밍을 하다가 웹 프로그래밍에 관심을 가지게 되었습니다
Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming
크로스 플랫폼 빌드 고치는 노동자
잡담은 @meperlmint 에서
함수형 프로그래밍 언어를 쓰고 있는 개발자 입니다. 반갑습니다.
hyeon.me
업으로서 약 3년 간 웹 프런트엔드 서비스 개발을 경험한 컴퓨터 공학 학부생입니다.
모두를 위한 접근성 지원과 오픈소스 참여에 주목하여 엔지니어링에 관심을 갖고 있습니다.
Startup / Software / 코딩 / 가끔 정치얘기 / 가끔 잡생각들 / 블로그 글감 메모
I write programs and proofs. Love Martin-Löf type theory, separation logic, Haskell, Agda, Nix.