洪 民憙 (Hong Minhee) is following

고려대학교 박사과정 수료

= @hongminhee洪 民憙 (Hong Minhee); 洪民憙의 부계입니다. 주로 본계 인스턴스를 쓸 수 없거나 좀 더 가벼운 얘기를 하는 용도로 쓰려고 합니다. 여기서는 국한문혼용은 웬만하면 안 쓰겠습니다.

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

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

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

소개 - Who Am I?

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

근황 - Recent Interests

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

Enjoy #Linux, #macOS, #FreeBSD & #Unix like systems? #Opensource software & #programming? Enjoy #Sysadmin & #DevOps work? Follow us to make the most of your geeky IT career.

・生きるのが下手な百合厨。
・アニメを見ます。
・人類滅亡お祈り部部長。
・合間合間で「無ライさん」になるよ！
・突飛なトゥートをしたりするので注意。
・emacsを撫で回す。
・not 淫魔

読書、プログラミング、登山、ランニング、美術など いろいろ雑につぶやいています SPACE NOBI というアートスペースやっています

「評論・情報」ジャンルで活動している個人サークルです。
主に住宅街や地方の国道沿いなどで見かけるマルフク看板・キリスト看板を題材にした同人誌を作っています。関東地方に大量に看板を出している「きぬた歯科」系列の看板も好きです（ファンクラブ「大日本きぬた連盟」会員）。

ここではFediverseなどの技術ネタ、雑談（創作系の話も含む）など。マルフク&キリスト看板botに関するお問い合わせもこちらへどうぞ。
創作の話題、イベント参加情報はmisskey.design @monaco_koukokuモナコ広告│しばらくイベントおやすみ で。

お一人様PixelfedとNexkey（Bot用）の #鯖缶 （Pixelfed: 2023/8/20～, Nexkey: 2024/3/28～）。

I'm living in Tokyo, working for a communication design company. I post mainly in Japanese and sometimes in English, feel free to follow/unfollow me. Thanks!

SWE

The web framework that scales with you — build fast content sites, powerful web applications, dynamic server APIs, and everything in-between.

Build the web you want #withastro

ITとNikon。

• よく使う：Ruby on Rails
• 深掘りしたい：Hotwire
• 勉強中：React、TypeScript

Software Engineer

Gopher who go