Profile img

洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub · 957 following · 670 followers

Hi, I'm who's behind Fedify, Hollo, BotKit, and this website, Hackers' Pub! My main account is at @hongminhee洪 民憙 (Hong Minhee) :nonbinary:.

Fedify, Hollo, BotKit, 그리고 보고 계신 이 사이트 Hackers' Pub을 만들고 있습니다. 제 메인 계정은: @hongminhee洪 民憙 (Hong Minhee) :nonbinary:.

Fedify、Hollo、BotKit、そしてこのサイト、Hackers' Pubを作っています。私のメインアカウントは「@hongminhee洪 民憙 (Hong Minhee) :nonbinary:」に。

Website
hongminhee.org
GitHub
@dahlia
Hollo
@hongminhee@hollo.social
DEV
@hongminhee
velog
@hongminhee
Qiita
@hongminhee
Zenn
@hongminhee
Matrix
@hongminhee:matrix.org
X
@hongminhee
2
0
0
0
0
0
1
1
0
5
0
0
5
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

投稿（Note）と記事（Article）の両方でMarkdownをサポートしているだけでなく、シンタックスハイライトとTeX数式にも対応しているという点で、[1]Hackers' Pubはフェディバースで最もソフトウェアプログラマーに適したプラットフォームであると自負しております。

そんな皆さんのために、Hackers' Pubの招待状を共有します。（笑）

  1. ちなみに、Hackers' Pubはかなり多様なMarkdown拡張構文をサポートしています。 ↩︎

Hackers' Pub

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

hackers.pub

1
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

단문(Note)과 긴 게시글(Article) 모두에서 Markdown을 지원할 뿐만 아니라 구문강조와 TeX 수식을 지원한다는 점에서 Hackers' Pub은 연합우주에서 가장 소프트웨어 프로그래머가 쓰기에 적합한 플랫폼이라고 자부합니다.

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

단문(Note)과 긴 게시글(Article) 모두에서 Markdown을 지원할 뿐만 아니라 구문강조와 TeX 수식을 지원한다는 점에서 Hackers' Pub은 연합우주에서 가장 소프트웨어 프로그래머가 쓰기에 적합한 플랫폼이라고 자부합니다.

11
1
0
洪 民憙 (Hong Minhee) :nonbinary: @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

Open source projects I'm currently maintaining:

  • Fedify, an ActivityPub server framework for TypeScript
  • Hollo, an ActivityPub-enabled single-user microblogging software
  • BotKit, an ActivityPub bot framework for TypeScript
  • LogTape, a modern logging library for TypeScript
  • Upyo, a simple and modern email sending library for TypeScript
  • Optique, a type-safe combinatorial CLI parser for TypeScript

Fedify

Fedify is a TypeScript library for building federated server apps powered by ActivityPub and other standards, so-called fediverse.

fedify.dev

Link author: Fedify: ActivityPub server framework@fedify@hollo.social

7
2
1
8
0
0
2
0
0
6
0
0
AK @ak@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

AI 에이전트와 도구를 결합하는 방법 중 하나인 "재귀적 신경신호 제어 역전(recursive neuro-symbolic IoC) 패턴"에 대해 정리했다. 이름이 너무 거창해서 마음에 쏙 들지는 않지만 정확한 명명이라서 그냥 그렇게 정했다. https://wiki.g15e.com/pages/Recursive Neuro-Symbloic Inversion of Control

재귀적 신경기호 제어 역전

AI 에이전트와 전통적인 로직 사이의 재귀적인 제어 역전(IoC)을 통해 두 시스템 사이의 장점을 취하는 설계 방식에 대한 생각을 정리했다. 최근에 했던 두 가지 시도(반구조적 소프트웨어 명세서 (s4), 과정에 담긴 가치의 증강)에 담긴 공통점이기도 하다.

wiki.g15e.com · akwiki

3
0
0
제이미 @theeluwin@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

GitHub Classroom을 사용해서 온라인 저지 시스템을 구축해본 후기입니다.

https://theeluwin.github.io/article/online-judge-with-github-classroom/

실제로 사용하고 싶었으나, 제 결론은... 안쓰는쪽으로 났습니다. 이유는 결국, 문제 출제하는 UI/UX가 좋지 않다는 것입니다. 제가 고생을 덜 해야만 하니까요(,,,,) 암튼 GitHub Classroom이 문서도 제대로 안되어있기도 하고, 기능이 아직 좀 오락가락 합니다. 없는 기능도 너무 많구요. 제 검토를 참고해주십시오, , ,

GitHub Classroom으로 온라인 저지 시스템 만들기

GitHub Classroom이라는 서비스가 있습니다. GitHub에서 제공하는 교육용 서비스인데, repository 단위로 과제를 출제하고, 학생들로 하여금 git을 기반으로 과제를 제출 할 수 있도록 해주는 서비스입니 …

theeluwin.github.io

2
1
1
1
0
0
밀 @yg1ee@hackers.pub
Public

해커스펍 너무 낯설고 익숙하지가 않은데 이거는 마스토돈 프로토콜(?)이 아닌 건가? 마스토돈 클라이언트에서 로그인해서 쓰고 싶은데.

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

@yg1ee밀 네, Mastodon API를 구현하지 않고 있어요. 하지만 Mastodon 서버과 소통은 가능하고요. 기술적으로는 Mastodon 서버끼리는 ActivityPub으로 소통하는데, Hackers' Pub도 ActivityPub을 구현하고 있기 때문에 Mastodon 서버들과 소통이 가능합니다. Mastodon 클라이언트 앱이 Mastodon 서버와 통신할 때는 Mastodon API라는 별도의 프로토콜을 사용하는데, Hackers' Pub은 그건 구현하지 않습니다. 그래서 Mastodon 클라이언트 앱으로 Hackers' Pub을 사용할 수는 없어요.

Hackers' Pub 모바일 앱은 추후 개발 예정입니다!

0
1
0
5
0
0
3
0
0
Hyeonseong Yang @maka@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

https://github.com/makachanm/questionbasket

셀프호스트 1인용 익명 질문함 서비스의 백엔드까지는 전부 짜긴 했지만 프론트엔드를 맡아줄 사람이 없어서 그냥 백엔드 API만 작동하는 정도로 남겨두었다. 언젠간 완성할수도 있지만... 일단은 이정도 완성시킨걸로 만족하기로 하자. Gemini 없었으면 4달 전에 진행하다 버린 프로젝트를 오늘 완성시킬순 없었을거다.

Contribute to makachanm/questionbasket development by creating an account on GitHub.

GitHub - makachanm/questionbasket

Contribute to makachanm/questionbasket development by creating an account on GitHub.

github.com · GitHub

4
0
0
9
1
0
5
0
0
2
0
0
5
0
0
4
1
0
5
0
0
3
0
0
robin @robin@hackers.pub
Public

오늘의 서커스 내용 세션의 정보를 가져오는데 세션의 앱은 ApplicationGrants를 받아야 하고 세션의 프로필 ID는 ApplicationGrantProfiles으로 프로필별 승인을 받거나 전체 프로필 승인(ApplicationGrantProfiles.profileId == null)을 받야아 가져올 수 있는데 세션의 프로필을 헤더로 오버라이드할 수 있고 오버라이드된 프로필 역시 위 조건을 지키는 경우만 리턴되게 하는 쿼리를 짰어요

const headerProfileId = c.req.header('X-Actor-Profile-Id'); const session = await db .select({ id: Sessions.id, applicationId: Sessions.applicationId, accountId: Sessions.accountId, scopes: Sessions.scopes, languages: Accounts.languages, profileId: Profiles.id, }) .from(Sessions) .innerJoin(Accounts, eq(Sessions.accountId, Accounts.id)) .innerJoin(ApplicationGrants, eq(Sessions.applicationId, ApplicationGrants.applicationId)) .leftJoin( ApplicationGrantProfiles, eq(ApplicationGrants.id, ApplicationGrantProfiles.applicationGrantId), ) .leftJoin( Profiles, and( eq(Profiles.id, headerProfileId ?? Sessions.profileId), eq(Profiles.state, ProfileState.ACTIVE), isNotNull(ApplicationGrantProfiles.id), or( eq(ApplicationGrantProfiles.profileId, Profiles.id), isNull(ApplicationGrantProfiles.profileId), ), ), ) .where(eq(Sessions.token, accessToken)) .limit(1) .then(first);
1
0
0
robin @robin@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

오늘의 서커스 내용 세션의 정보를 가져오는데 세션의 앱은 ApplicationGrants를 받아야 하고 세션의 프로필 ID는 ApplicationGrantProfiles으로 프로필별 승인을 받거나 전체 프로필 승인(ApplicationGrantProfiles.profileId == null)을 받야아 가져올 수 있는데 세션의 프로필을 헤더로 오버라이드할 수 있고 오버라이드된 프로필 역시 위 조건을 지키는 경우만 리턴되게 하는 쿼리를 짰어요

const headerProfileId = c.req.header('X-Actor-Profile-Id'); const session = await db .select({ id: Sessions.id, applicationId: Sessions.applicationId, accountId: Sessions.accountId, scopes: Sessions.scopes, languages: Accounts.languages, profileId: Profiles.id, }) .from(Sessions) .innerJoin(Accounts, eq(Sessions.accountId, Accounts.id)) .innerJoin(ApplicationGrants, eq(Sessions.applicationId, ApplicationGrants.applicationId)) .leftJoin( ApplicationGrantProfiles, eq(ApplicationGrants.id, ApplicationGrantProfiles.applicationGrantId), ) .leftJoin( Profiles, and( eq(Profiles.id, headerProfileId ?? Sessions.profileId), eq(Profiles.state, ProfileState.ACTIVE), isNotNull(ApplicationGrantProfiles.id), or( eq(ApplicationGrantProfiles.profileId, Profiles.id), isNull(ApplicationGrantProfiles.profileId), ), ), ) .where(eq(Sessions.token, accessToken)) .limit(1) .then(first);
3
1
0
5
0
0
3
0
0
2
0
0
5
0
0
2
1
0
개발곰 @gaebalgom@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

홈서버 곧 도착하면 어떤 서비스를 올려볼지 고민이네요 혹시 추천해 주실만한 서비스 있으신가요? 일단 아래는 생각 중인 목록입니다.

Immich

Self-hosted photo and video management solution. Easily back up, organize, and manage your photos on your own server. Immich helps you browse, search and organize your photos and videos with ease, without sacrificing your privacy.

immich.app · Immich

2
3
0
lionhairdino @lionhairdino@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

튜링에서 한 프로세스를 실행하고, 다음 프로세스를 실행하는 걸 "명시"하지 않는데, 이를 명시적으로 어떤 combinator로 보고, 전역 변수등은 또 람다로 감싸서, 람다 컨텍스트에 있는 변수를 보게 하면, 람다와 다를게 없다.
튜링과 람다가 철학이 다르다기 보다, 마치 튜링에서 암묵적으로 하던 동작들을 모두 명시적으로 바꿔 놓은 게 람다 대수인 건 아닐까?

1
0
0
남정현 @rkttu@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

C# 파일 하나로 MCP 서버를 만들어 실행하고, 닷넷 런타임 없이 MCP 서버 실행 파일을 만들 수 있는 시대가 오고 있습니다. :-D

https://forum.dotnetdev.kr/t/c-mcp/13622

C# 파일 하나로 끝내는 MCP 서버 만들기

지속적으로 ModelContextProtocol SDK의 버전이 업데이트되면서, 이제는 Native AOT 시나리오로도 사용할 수 있게 개선되었습니다. 그래서 아래와 같이 매우 간결한 .NET 10의 File-based app 스타일의 MCP 서버 코드를 빌드 옵션 변경 없이 작성할 수 있었고 매우 잘 작동합니다. 다만 Virtual Project로 빌드가 이루어지다보니, 코드를 다시 빌드할 일이 발생할 경우 여러 MCP 서버를 동시에 사용하려 할 때 stdout에 msbuild의 출력이 나타나다보니 첫 로딩 이후 후속으로 로딩하려는 MCP 클라이언트에서는 오류가 발생할 수 있다는 known-issue를 고려해야 하는 점이 있었습니다. #!/usr/bin/env dotnet #:sdk Microsoft.NET.Sdk.Web #:package ModelContextProtocol@0.3.0-preview.4 // 노트: dotnet run .cs 명령으로는 이 MCP 서버를...

forum.dotnetdev.kr · 닷넷데브

3
0
0
7
1
0
1
1
0
洪 民憙 (Hong Minhee) :nonbinary: @hongminhee@hollo.social
Public

I've recently been working on Optique, a CLI parser combinator for TypeScript. Optique allows you to describe complex CLIs by combining smaller parts. You can also handle the CLI parsing results in a type-safe manner (see code below). The idea came from Haskell's optparse-applicative, but since TypeScript's API style is so different from Haskell's, I referenced Zod and similar libraries for the API design. For a more detailed introduction, please refer to the article I posted on Hackers' Pub!

const parser = or( object({ type: constant("network"), host: option( "-h", "--host", string({ metavar: "HOST" }), ), port: option( "-p", "--port", integer({ metavar: "PORT", min: 0, max: 65535 }), ), }), object({ type: constant("local"), file: option( "-s", "--socket-file", string({ metavar: "FILE" }), ), }), ) type Result = InferValue<typeof parser>; // The above type is inferred as: type Result = { readonly type: "network"; readonly host: string; readonly port: number; } | { readonly type: "local"; readonly file: string; }
洪 民憙 (Hong Minhee) :nonbinary: @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

最近、OptiqueというTypeScript向けのCLIパーサー「コンビネーター」を作っています。Optiqueは、複雑なCLIを小さなパーツの組み合わせで記述できる様にしてくれます。そして、そのCLIのパース結果を型安全に扱う事が出来ます。（下記のコード参照）アイデアはHaskellのoptparse-applicative から得ましたが、TypeScriptはHaskellとAPIのスタイルがかなり異なる為、APIの面ではZod等を参考にしました。詳しい紹介はHackers' Pubに投稿した記事をご覧ください！

const parser = or( object({ type: constant("network"), host: option( "-h", "--host", string({ metavar: "HOST" }), ), port: option( "-p", "--port", integer({ metavar: "PORT", min: 0, max: 65535 }), ), }), object({ type: constant("local"), file: option( "-s", "--socket-file", string({ metavar: "FILE" }), ), }), ) type Result = InferValue<typeof parser>; // Resultの推論された型 type Result = { readonly type: "network"; readonly host: string; readonly port: number; } | { readonly type: "local"; readonly file: string; }
0
0
0
洪 民憙 (Hong Minhee) :nonbinary: @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

I've recently been working on Optique, a CLI parser combinator for TypeScript. Optique allows you to describe complex CLIs by combining smaller parts. You can also handle the CLI parsing results in a type-safe manner (see code below). The idea came from Haskell's optparse-applicative, but since TypeScript's API style is so different from Haskell's, I referenced Zod and similar libraries for the API design. For a more detailed introduction, please refer to the article I posted on Hackers' Pub!

const parser = or( object({ type: constant("network"), host: option( "-h", "--host", string({ metavar: "HOST" }), ), port: option( "-p", "--port", integer({ metavar: "PORT", min: 0, max: 65535 }), ), }), object({ type: constant("local"), file: option( "-s", "--socket-file", string({ metavar: "FILE" }), ), }), ) type Result = InferValue<typeof parser>; // The above type is inferred as: type Result = { readonly type: "network"; readonly host: string; readonly port: number; } | { readonly type: "local"; readonly file: string; }
3
1
0
notJoon @joonnot@hackers.pub
Public

회사의 다른 레포들 보고 있는데 zero install 방식을 사용하고 있는 곳이 보인다. 근데 아무리봐도 캐시에다가 패키지 파일을 쌓아두는게 썩 좋은 방법 같아보이지는 않는데 내가 모르는 뭔가가 있는건가

1
1
0
2
1
0
minhoryang @minhoryang@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

mcp에 툴을 계속 쥐어주는게 불만이다. 불안하지도 않나? 아니 pg를 관리하는 mcp를 쓰는것보다 pg를 관리하는데 사용되는 명령어를 물어보고 그걸 내가 확인 후 실행하는게 맞지 않나? deno로 권한 다 뺏고서 mcp를 실행하면 좀 방지가 되려나?

3
0
0
notJoon @joonnot@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

러스트의 ICE 관련 이슈는 파보면 확실히 난이도가 높다. 이번에 본건 조기 종료 때문에 에러가 전파되지 않는 것이 문제인 줄 알았는데, Higher-Rank Trait Bound와 concrete 타입 간의 불일치를 처리하지 못해서 equality 검사를 하기 직전에 뻗는 것이였음.

4
0
1
bgl gwyng @bgl@hackers.pub
Public

@hongminhee洪 民憙 (Hong Minhee) optparse-applicative엔 여러 커맨드의 겹치는 인자를 처리하는데에 애로사항이 있잖아요? 그러니까 foo bar --baz=1과 foo qux --baz=1이 둘다 가능할때 baz를 필드로 갖는 레코드를 두개 만들어아야 하는 문제 말이에요. 근데 optique는 서브타이핑으로 이 문제를 좀더 잘 다룰수 있어 보이네요. 맞나요?

1
0
0

박준규 replied to the below article:

Optique: 타입 안전한 CLI 파서 컴비네이터

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub

이 글에서는 Haskell의 `optparse-applicative`와 TypeScript의 Zod에서 영감을 받아 제작된 새로운 CLI 파서 라이브러리인 Optique를 소개합니다. Optique는 파서 컴비네이터를 활용하여 CLI의 구조를 레고 블록처럼 조립할 수 있게 해줍니다. `option()`, `optional()`, `multiple()`, `or()`, `object()`, `constant()`, `command()`, `argument()` 등의 다양한 파서와 컴비네이터를 통해 복잡한 CLI 구조를 유연하게 정의할 수 있습니다. 특히, `or()`와 `object()` 컴비네이터를 사용하여 상호 배타적인 옵션이나 서브커맨드를 쉽게 구현하는 방법을 예제를 통해 설명합니다. Optique는 단순한 CLI 파서 역할에 집중하고 있어 모든 기능을 제공하지는 않지만, 복잡한 CLI 구조를 표현하는 데 유용하며, 소개 문서와 튜토리얼을 통해 더 자세한 내용을 확인할 수 있습니다.

Read more →
13
2
2
3
0
0
악하 @akastoot@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

맥 미니가 자꾸 혼자 슬립 상태로 들어가길래 쓰고 있던 카페인의 문제인가 싶어서 지우고 keepingyouawake를 설치했는데 잘 될지 모르겠네...

사실 홈 서버는 맥 미니가 아니고 딴 거긴 한데 곧 얘를 중심으로 클러스터?를 만들어봐야 할 것 같기도..

2
2
0

Optique: 타입 안전한 CLI 파서 컴비네이터

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub

이 글에서는 Haskell의 `optparse-applicative`와 TypeScript의 Zod에서 영감을 받아 제작된 새로운 CLI 파서 라이브러리인 Optique를 소개합니다. Optique는 파서 컴비네이터를 활용하여 CLI의 구조를 레고 블록처럼 조립할 수 있게 해줍니다. `option()`, `optional()`, `multiple()`, `or()`, `object()`, `constant()`, `command()`, `argument()` 등의 다양한 파서와 컴비네이터를 통해 복잡한 CLI 구조를 유연하게 정의할 수 있습니다. 특히, `or()`와 `object()` 컴비네이터를 사용하여 상호 배타적인 옵션이나 서브커맨드를 쉽게 구현하는 방법을 예제를 통해 설명합니다. Optique는 단순한 CLI 파서 역할에 집중하고 있어 모든 기능을 제공하지는 않지만, 복잡한 CLI 구조를 표현하는 데 유용하며, 소개 문서와 튜토리얼을 통해 더 자세한 내용을 확인할 수 있습니다.

Read more →
13
2
2