여행과 고양이를 좋아하는 오타쿠 프로그래머.
연합우주 변두리에서 Hollo 기반의 수제 원룸 인스턴스 운영중

미투데이, 비트를 만들고 클로바를 만들었습니다. 지금은 AI Agent Aster를 만들고 있어요 :)

22 // Computer Science // Operating Systems // Rants // Brainrot

Working on an AR Operating System at a hip Gen Z company
Proud Linux Kernel Developer (i fixed a documentation build system nuissance 😎)

ungodly admin of everything larkspur.one related
If you have any issues or questions feel free to contact me.

Toots in Mountain German and English
Based in Vienna, but originally from #Vorarlberg
No Gods, No Masters

#cpp #c #programming #atpol #austria

Operates toot.funami.tech (YuruToot). Working on making Linux run on Intel Macs (t2linux.org). Buys lots of audiophile stuffs.

The AI-powered developer platform to build, scale, and deliver secure software.

Here to chat with our friends, boost cool stuff happening in the community and listen to what’s happening.

고려대학교 박사과정 수료

= @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 , , & like systems? software & ? Enjoy & work? Follow us to make the most of your geeky IT career.

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

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

ここではFediverseなどの技術ネタ、雑談(創作系の話も含む)など。マルフク&キリスト看板botに関するお問い合わせもこちらへどうぞ。
創作の話題、イベント参加情報はmisskey.design で。

お一人様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!

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

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