Profile img

洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub · 929 following · 648 followers

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

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

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

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

어떤 조건문을 만족하는 원소의 집합을 QQ 라고 해봅시다
그럼 QQ의 임의의 부분집합 PP 의 원소는 QQ의 원소이므로, 그 조건문을 만족할 겁니다
이 때, 공집합∅\empty은 모든 집합의 부분집합이죠?
따라서 공집합의 원소는 모든 조건문을 만족합니다

공허한 참(Vacuous truth)은 사실 좀더 포괄적인 개념입니다
가정이 거짓이면 명제는 항상 참이다라는 개념입니다
공허한 참이라고 부르니 어렵게 느껴지죠?
저는 항상 한국어 한정으로 '니 말이 진짜면 내일 해가 서쪽에서 뜨겠다' 참으로 이름을 바꿔야한다고 주장해왔습니다
가정(니 말)이 거짓이니 결론(해가 서쪽에서 뜨는 것)이 참이든 거짓이든 명제는 참이 되죠

이걸 공집합의 원소는 모든 명제를 만족한다 에 적용시켜볼까요?
이 명제를 좀더 조건문처럼 쓰기 위해 만약 (가정)이라면 (결론)이다 형태로 바꿔보죠
그럼 a가 공집합에 포함된다면, a는 모든 명제를 만족한다 가 됩니다
그런데, a가 공집합에 포함된다 는 거짓이죠?
따라서 해당 조건문은 가정 자체가 거짓인 공허한 참입니다

4
0
0
Hyeonseong Yang @maka@hackers.pub
Quiet public

재미 삼아, Cairo를 백엔드로 하는 쉽게 그래픽 처리를 할 수 있는 간단한 언어를 하나 만들고 있다.

전체적으로 Lua나 Visual Basic에게 영감을 받아 쉽게 읽을수 있는 문법을 가지게 만들려고 생각중이다.

demo for image drawingdemo for general purpose computing
3
0
0
bgl gwyng @bgl@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

https://github.com/bglgwyng/nix-x-cabal

한달간의 삽질끝에 Nix + Haskell 빌드 프레임워크를 완성했다. 늘 Nix, Haskell에 기여하고 싶었지만, 솔직히 이걸 내가 직접해야하는 상황이 올줄은 몰랐네. Nix 디버깅하느라 정말 개고통이었다..

Blessed shipping between Nix and Cabal. Contribute to bglgwyng/nix-x-cabal development by creating an account on GitHub.

GitHub - bglgwyng/nix-x-cabal: Blessed shipping between Nix and Cabal

Blessed shipping between Nix and Cabal. Contribute to bglgwyng/nix-x-cabal development by creating an account on GitHub.

github.com · GitHub

4
0
0
2
1
0

Ailrun (UTC-5/-4) replied to the below article:

공허한 참

박준규 @curry@hackers.pub

하스켈의 `all` 함수에 빈 리스트를 넣었을 때 왜 `True`가 반환되는지에 대한 의문을 "공허한 참(Vacuous truth)"이라는 개념을 통해 탐구합니다. 흔히 '구현이 그렇게 되어 있으니까'라고 생각할 수 있지만, 저자는 이 현상을 논리적으로 분석합니다. `all` 함수의 구현 방식과, 빈 리스트에 대한 연산 결과가 전체 결과에 미치는 영향을 설명하며, 공집합의 모든 원소가 짝수라는 명제가 참인 이유와 유사한 논리적 근거를 제시합니다. 이를 통해 코드와 수학 간의 연결고리를 발견하고, 마지막으로 ChatGPT가 생성한 유머러스한 이미지를 곁들여 독자에게 즐거움을 선사합니다.

Read more →
5
2
2
Ailrun (UTC-5/-4) @ailrun@hackers.pub
Quiet public
Shared by 洪 民憙 (Hong Minhee)

@curry박준규 all을 다음과 같이 정의하면 문제가 무엇일까요?

all p [] = False
all p [x] = p x
all p (x:xs) = p x && all xs

이 질문에 대한 대답 중 all의 의미에 관한 것이 있을 겁니다. 논리적으로 "모든 ...에 대해"를 어떻게 이해해야 하는냐에 대한 것 말이지요.

공집합을 직접 사용하는 것이 가장 간단한 예시겠지만, 좀 더 논리학에서 자주 사용되는 예시로는 "20세기의 모든 프랑스 왕은 대머리다"가 있겠습니다. 이는 무의미하게 (Vacuously) 참인데요, 왜냐면 19세기를 마지막으로 프랑스에는 더 이상 왕이 없기 때문이지요. 즉, 일반적으로 "모든 ...에 대해"에서 "..." 부분이 (결과적으로) 공집합일 경우 "모든 ..."에 의해 수식된 본문이 어떤 문장인지와는 상관 없이 참이라고 이해한다는 것이지요.

5
1
0
1
1
0
Hanal Ae @menele@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

노트북 개발환경 세팅하다가 어이없이 하루를 다 날리고(데브 컨테이너가 안 켜져서 별 짓을 다해봤는데 Execute In WSL 옵션이 꺼져 있어서 그런 거였다... ... ...) 에러만 모아놓은 블로그라도 만들까 (n번째로) 생각한 일요일... 삽질을 안 하는 날이 없다

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

OpenAI의 gpt-oss 모델에 이어, RAG (검색 증강 생성)에서 매우 중요한 역할을 하는 임베딩 모델을 Google에서 새롭게 오픈 소스로 공개헀습니다.

EmbeddingGemma라는 이름의 임베딩 모델로, 고성능 하드웨어 없이도 RAG를 구현할 수 있으면서, 한국어, 중국어, 일본어를 포함한 수많은 언어를 지원하도록 개발된 모델이어서 의미가 있습니다.

그래서 재빨리 File-based App과 Semantic Kernel용으로 개발된 sqlite-vec 확장 모듈을 붙여서 프로토타입 코드를 만들어봤는데, 잘 작동하는 것 같네요! :-D

https://forum.dotnetdev.kr/t/google-embeddinggemma-ollama-sqlite-vec-rag/13754

Google EmbeddingGemma + Ollama + sqlite-vec으로 간단한 로컬 RAG 구현하기

OpenAI의 gpt-oss 모델에 이어, RAG (검색 증강 생성)에서 매우 중요한 역할을 하는 임베딩 모델을 Google에서 새롭게 오픈 소스로 공개헀습니다. EmbeddingGemma라는 이름의 임베딩 모델로, 고성능 하드웨어 없이도 RAG를 구현할 수 있으면서, 한국어, 중국어, 일본어를 포함한 수많은 언어를 지원하도록 개발된 모델이어서 의미가 있습니다. 그래서 재빨리 File-based App과 Semantic Kernel용으로 개발된 sqlite-vec 확장 모듈을 붙여서 프로토타입 코드를 만들어봤는데, 잘 작동하는 것 같네요! 😃 참고로, | 기호나 query: 같은 라벨은 엄격한 의미의 문법은 아니고 EmbeddingGemma가 동작하는 방식에 맞춰주기 위한 부분이라고 합니다. (https://ai.google.dev/gemma/docs/embeddinggemma/inference-embeddinggemma-with-sentence-transformer...

forum.dotnetdev.kr · 닷넷데브

1
0
0
2
1
0

洪 民憙 (Hong Minhee) shared the below article:

공허한 참

박준규 @curry@hackers.pub

하스켈의 `all` 함수에 빈 리스트를 넣었을 때 왜 `True`가 반환되는지에 대한 의문을 "공허한 참(Vacuous truth)"이라는 개념을 통해 탐구합니다. 흔히 '구현이 그렇게 되어 있으니까'라고 생각할 수 있지만, 저자는 이 현상을 논리적으로 분석합니다. `all` 함수의 구현 방식과, 빈 리스트에 대한 연산 결과가 전체 결과에 미치는 영향을 설명하며, 공집합의 모든 원소가 짝수라는 명제가 참인 이유와 유사한 논리적 근거를 제시합니다. 이를 통해 코드와 수학 간의 연결고리를 발견하고, 마지막으로 ChatGPT가 생성한 유머러스한 이미지를 곁들여 독자에게 즐거움을 선사합니다.

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

여러 분들의 도움으로 대충 리퍼럴 사이드 프로젝트의 모양이 점점 더 갖춰지고 있습니다...

이제 https://referral.akaiaoon.dev/t/malkoG 하면 malkoG 깃허브 핸들에 추천사를 작성하실 수 있고요, https://referral.akaiaoon.dev/u/malkoG 하면 malkoG 깃허브 핸들에 추천하신 분들의 추천사를 작성하실 수 있습니다.

다음에는 /t/ 엔드포인트용 뱃지 이미지를 만들까봐요... buy me a coffee 처럼 말이죠. 예를 들면: "Buy Me A Coffee" 뭐 이런 이미지가 있으면 더 좋지 않을까요.

4
2
0
6
1
0
1
0
0
13
1
0
2
1
0
7
1
0
3
0
0
2
0
0
1
0
0
남정현 @rkttu@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

오는 11월 8일 토요일 오전 10시, 광운대학교에서 열리는 FOSS for All 컨퍼런스에 여러분을 초대합니다.

FOSS for All 컨퍼런스는 "Free and Open Source Software for All"이라는 슬로건 아래, 모두를 위한 오픈 소스 컨퍼런스를 목표로 하는 비영리 오픈소스 커뮤니티 주도의 컨퍼런스입니다.

FOSS for All 컨퍼런스는 오픈소스 소프트웨어와 커뮤니티에 관심 있는 누구나 참여할 수 있으며, 개발자, 기여자, 디자이너, 번역가, 기획자 등 다양한 역할의 사람들이 경험과 지식을 공유하는 장으로 기술 발표, 커뮤니티 부스, 패널 토크 등 다양한 프로그램이 마련될 예정입니다.

많은 후원과 참여를 부탁드리겠습니다. 고맙습니다. :-D

https://event-us.kr/fossforall/event/110400

FOSS for All Conference 2025 - 이벤터스

Free and Open Source Software for All

event-us.kr

3
0
1

洪 民憙 (Hong Minhee) shared the below article:

How to Build a Simple ActivityPub Reminder Bot in Python

AmaseCocoa @cocoa@hackers.pub

This post guides you through building a simple ActivityPub bot in Python using the `apkit` library. The bot listens for mentions and schedules reminders for users. It covers setting up the project, generating cryptographic keys for secure communication, defining the bot's identity as an ActivityPub Actor, and initializing the `apkit` server. The tutorial walks through the core logic for parsing reminder commands, sending notifications, and defining necessary web endpoints like `/actor` and `/inbox`. It also details how to handle incoming activities, such as `Follow` and `Create` events, and how to run the application using `uvicorn`. While the example uses in-memory storage for simplicity, the post suggests improvements like persistent storage and robust task queuing for production environments. This tutorial provides a solid foundation for building more complex ActivityPub applications.

Read more →
16
1
0
2
0
0
8
0
0
1
1
0
5
0
0
8
3
0
lionhairdino @lionhairdino@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

편한 분위기여서 생각 나는 대로 막 질문하고, "저 개념이 없습니다"를 부끄러운 줄 모르고 막 쏴댔네요. 해커스펍 매일 들어오지만, 페디파이 뭔지 잘 모릅니다. 지금 만들고 있는 서비스가 페디파이 지원하면 좋지 않을까 막연히 생각 중이었는데, 귀한 답을 해주신 분들 감사합니다.

4
0
0
5
1
0
(가칭)별마루동인협동조합 @byulmaru@planet.moe
Public
Shared by 洪 民憙 (Hong Minhee)

협동조합을 만든다고 한 지 벌써 반 년이 지났습니다. 그동안 아무런 소식이 없어 많은 분들이 흐지부지됐거니 하고 생각하셨을 것 같습니다. 죄송합니다.

변명을 하자면, 협동조합이 왜 필요한지에 대해 깊이 고민하는 시간을 가졌습니다. 단순히 공동 운영이나 법인화가 목표라면 협동조합 이외에도 가능한 형태는 많으니까요.

긴 고민 끝의 결론은, '플랫폼은 컨텐츠를 만드는 사람들이 소유하고 운영해야 한다' 였습니다.
저는 플랫폼의 가장 큰 가치는 사용자와 이야기, 즉 사용자들이 만들어 낸 세계라고 생각합니다.
그러나, 회사가 운영하는 플랫폼들은 결국 수익을 가장 중요한 목적으로 삼고, 수익의 극대화를 위해서라면 사용자들이 만든 세계를 거리낌 없이 파괴하기도 합니다.
광고 수익을 높이기 위해 자극적이고 혐오적인 글을 알고리즘을 통해 추천하는 트위터가 단적인 예시입니다.

그래서 동인이 소유하고 운영하는 협동조합을 만드려고 합니다. 동인이니만큼 더더욱, 우리들이 만들어 낸 세계는 소중합니다.

1
0
0
7
0
0
구슬아이스크림 @icecream_mable@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

해커스퍼블릭 너무너무 재밌었어요! 전산언어학 and/or 자연어처리 덕질했던 저로선 @jakeseo 님 발표 들으면서 비속어 처리 같은 걸 어떻게 하셨을까 궁금해서 질문드렸었는데 상세하게 답변해주셔서 감사드리면서 또 재밌게 들었고, 달고나님 발표는 처음에 딱 들으면서 속으로 '옛한글 폰트도 지원하시려나?' 했는데 고려 중이라고 해서 자언어 덕후[1]로서 내심 기뻤습니다...뒤에 깜짝 라이트닝 토크들도 재밌었고요! 무엇보다 따뜻하고 재밌는 분위기에 정말로 즐겁게 참여할 수 있었어요. 행사 진행하시느라 고생하셨던 운영진분들께 수고와 감사의 말씀 전해드립니다. 다음 해커스퍼블릭도 꼭 갈게요!

  1. 사실 국제음성기호도 있었으면 더 멋있겠다라고 생각했어요 ↩︎

@icecream_marble #해석가능성 #컴파일러 #DB #분산시스템
6
0
0
(가칭)별마루동인협동조합 @byulmaru@planet.moe
Public
Shared by 洪 民憙 (Hong Minhee)

조합 창립을 준비하기 위해 정관 초안을 작성하고, 조합과 관련된 논의를 하게 될 디스코드 서버를 만들었습니다.

정관 초안은 docs.google.com/document/d/1_X , 디스코드 초대 링크는 discord.gg/SV28NM8rGS 에서 확인하실 수 있습니다.

별마루동인협동조합(가칭) 정관 초안

제1장 총칙 제1조(설립과 명칭) 이 조합은 협동조합기본법에 의하여 설립하며, 명칭은 ‘별마루동인협동조합’이라 한다. 제2조(목적) 별마루동인협동조합(이하 ‘조합’이라 한다)은 자주적 · 자립적 · 자치적인 조합 활동을 통하여 동인 문화 향유자의 복리 증진과 상부상조를 위해 노력한다. 제3조(조합의 책무) 조합은 조합원 등의 권익 증진을 위하여 교육 · 훈련 및 정보 제공 등의 활동을 적극적으로 수행한다. 조합은 다른 협동조합, 다른 법률에 따른 협동조합, 외국의 협동조합 및 관련 국제기구 등과의 상호 협력, 이해 증진 및 공...

docs.google.com · Google Docs

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

기묘한 버그를 만들었다... 뭔가 부스트한게 갑자기 해커스펍에서 원본글 취급이 되어서 부스트를 부스트하는 바람에 이 계정 목록에서는 작성자가 둔갑당하고 링크의 아이디도 둔갑당했지만 누르거나 인용하면 원작성자로 뜬다... https://hackers.pub/@robin_maki@planet.moe/0199488c-1fa7-7354-8ddb-fa8912cf55a2

인용한 글을 캡쳐. 작성자가 잘못 표시됨
1
1
0
5
0
0
1
0
0
1
0
1
5
0
0
Jaeyeol Lee @kodingwarrior@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

@z9mb1wwj @catamorphicCata @msy윤민석 @joonnotnotJoon @d01c2Hyunjoon Kim @icecream_mable구슬아이스크림 @minju2996bbang @2chanhaeng초무 @lionhairdino @akastoot악하 @jihyeokJihyeok Seo @linea @woaol벨 @theeluwin제이미 @rangho우주해커 끄적끄적 랭호 📝 @robin @1ho1호 @nebuletoHaze @morealLee Dogeon @harei106Hannah Reinecke @realfishbread최윤희 @jcha0713joohoon @hyunjoon @krepe90남기현 (Krepe) @cetaceanightskyCetacea @aiooAhn Kiwook @ink_punctuation책 읽는 프로그래머 @yg1ee밀

오늘 Hackers' Public 행사 첫번째 모임에 와주셔서 정말 감사합니다! 정말 즐거웠습니다! 잘 들어가세요!

17
0
0
4
0
0
9
2
0
4
0
0
2
0
0
3
1
0