bgl gwyng's followers

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

hyeon.me

업으로서 약 3년 간 웹 프런트엔드 서비스 개발을 경험한 컴퓨터 공학 학부생입니다.

모두를 위한 접근성 지원과 웹 표준 동향, 오픈소스 참여에 주목하여 엔지니어링에 관심을 갖고 있습니다.

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

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

ui dev

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

https://01010011.blog

고려대학교 박사과정 수료

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

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

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

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

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

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

🐢 느리게 친해지고, 오래 가는 관계를 좋아합니다.
🚫 블락은 가슴 아픈 일이기에,
🤝 팔로우는 신중히 부탁드릴게요.
❤️ 관계는 숫자가 아니라 마음이라 생각합니다.

프사: @bustercon버스터콘

• Ph.D. student in Japan (M.Phil. in Transdisciplinary Science), working as a research assistant at a Japanese national research institute.
• Interested in the relationship between information systems and human factors (HCI).
• Prefers explicit knowledge representation, such as functional programming and strong/safe typing languages.

신입 프론트엔드입니다.

• 장래희망은 프로 숨쉼이입니다.

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

잡담은 @meperlmint 에서