Ji-Haeng Huh is following

스콜라아이돌교수버튜버

Bridgy Fed bot user for Bluesky. To bridge your account to Bluesky, follow this account. More info here.

After you follow this account, it will follow you back. Accept its follow to make sure your posts get sent to the bridge.

To ask a Bluesky user to bridge their account, DM their handle (eg snarfed.bsky.social) to this account.

Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens

Current life:
🎮 Epic Games

Previous lives:
🍩 PhD in Riemann theta functions
🧬 Glaxo Group Research
💥 Mass Illusion, Esc, ILM
🎈 Google X, Verily, Google

Likes:
🚴 I like to bike
🏃 I like to run
🎛️ my musical tastes lie towards the electronic end of the spectrum
🚀 I like Andor *and* The Mandalorian

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Summary

  • Product Software Enginner over 9 years
  • Work in Seoul, South Korea
  • Like hiking, cycling, and tennis

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). @tokolovesme금강토's spouse. Who's behind @fedifyFedify: an ActivityPub server framework, @holloHollo :hollo:, and @botkitBotKit by Fedify :botkit:. Write some free software in , , , & . They/them.

서울에 사는 交叉女性主義者이자 社會主義者. 金剛兔(@tokolovesme금강토)의 配偶者. @fedifyFedify: an ActivityPub server framework, @holloHollo :hollo:, @botkitBotKit by Fedify :botkit: 메인테이너. , , , 等으로 自由 소프트웨어 만듦.

()

약력은 비워둘 수 없습니다.

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

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

능력 없고 코딩 못하고 뭔가 만들수도 없고 신입한테도 기죽어지내고 이제 직장이 없어진 SE

어느 한 개발자입니다.

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

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

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

Uncertified Quasi-pseudo dev

中年(중년)中小企業(중소기업) 開發者(개발자), 90年代(년대) Console Gamer(콘솔 게이머). 좋은 하루를 繼續(계속)해 나아간다. 좋은 하루가 모이면 좋은 人生(인생)이 된다.

韓国人のプログラマー、40代、小学生の息子とゲームするのが幸せ😃💕龍が如く 、ゼルダの伝説、マリオ、ピクミン好き

「いい1日を続ける」
いい1日を続けていけば、いい人生になる!

λ(☕) → 💻

  • Languages: Korean(개쩖), English(totally broken), Japanese(まあまあ), Esperanto(tre iomete)
  • Interests: server, concurrency, functional programming, keyboard(the input system), guitar

지금까지 다루어 봤던 언어는 아래와 같습니다. MSX Basic Z80 Assembly Pascal GW-Basic C Macromedia Director Visual Basic PHP Flash Actionscript C++ Javascript

그리고 지금은, 하스켈을 비즈니스에 쓰려고 몇 년간 노력하고 있습니다. 지금 상태는, 하스켈 자체를 연구하는 게 아니라, 하스켈 (혹은 함수형 언어) 이해가 어려운 이유를 연구하는 아마추어 연구가쯤 되어버렸습니다. 하스켈 주제로 블로그를 운영 중이지만, 아직은 하스켈 프로그래머라고 자신 있게 말하진 못하고 있습니다. 가끔 이해에 도움이 될만한 측면이 보이면, 가볍게 아이디어를 여러 SNS에 올려보곤 하는데, 그다지 프로그래머에게 쓸모 있는 내용이 포함되진 않는 것 같습니다.

juxtapose - Wiktionary, the free dictionary

Pronunciation

  • (UK) IPA: /ˈd͡ʒʌkstəpəʊz/
  • (General American) IPA: /ˈd͡ʒʌkstəpoʊz/

Verb

juxtapose (third-person singular simple present juxtaposes, present participle juxtaposing, simple past and past participle juxtaposed)

  1. (transitive) To place side by side, especially for contrast or comparison.

소개 - Who Am I?

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

근황 - Recent Interests

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