Geek, sailor, nature lover.
Struggling with solastalgia and trying to do my bit for the planet and our future.
🌳🌲🌴🍄

Creates & solves problems. Sometimes, in that order!

Leading community-driven, open-source documentation at @astro - Build your docs with Starlight! 🌟

Astro Core Maintainer 🚀 Docs Lead 📑 Technical Writer ✍️

Bird Photographer 📷 Blue Jays (🐦 & ⚾)

Lives in 🇨🇦 with @jbrainsJ. B. Rainsberger (he) 💖

- Not worse than what we had before

Author of the Dhall configuration language (dhall-lang.org), the "Haskell for all" blog (haskellforall.com), and countless packages and presentations.

I'm a midwife to the hidden beauty in everything (she/her) 🏳️‍⚧️

旅行と猫が好きなオタク系プログラマー。
フェディバースの辺境で、Holloベースの手作りインスタンスを運営中。

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

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

23 // 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) :nonbinary:; 洪民憙의 부계입니다. 주로 본계 인스턴스를 쓸 수 없거나 좀 더 가벼운 얘기를 하는 용도로 쓰려고 합니다. 여기서는 국한문혼용은 웬만하면 안 쓰겠습니다.

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

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

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

소개 - Who Am I?

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

근황 - Recent Interests

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

Enjoy Linux & Unix-like systems, open-source software, and programming? Into Sysadmin & DevOps? Follow us to make the most of your IT career! Discover new tools, IT news, and apps daily, plus a dose of humor.