Profile img

洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub · 961 following · 674 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
4
0
0
5
0
0
Juntai Park @arkjun@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

슬슬 맥미니의 용량 부족 압박이 발생하여, gdu-go[1]를 설치하고 용량 확인을 했더니 Cursor가 100GB, VSCode 가 75GB를 차지하고 있었던 건에 대하여

  • 정확히는 User Library/Application Support폴더안에 있는 Cursor 폴더와 Code 폴더
 --- /Users/arkjun/Library/Application Support ---
                         /..
  100.9 GiB █████▏    ▏/Cursor
   74.4 GiB ███▊      ▏/Code
    7.3 GiB ▎         ▏/Google
    2.2 GiB           ▏/Microsoft
    1.8 GiB           ▏/Comet

덧) 범인은 Java 프로젝트 당시에 생겨난 hprof 확장자파일들 때문이었다. (파일 하나에 9기가 정도하는 파일들이 여럿 확인되었다)

  1. About Fast disk usage analyzer with console interface written in Go https://github.com/dundee/gdu ↩︎

gdu 로 용량 확인한 화면
2
0
0
3
0
0
4
0
0
2
0
0
RanolP @ranolp@hackers.pub
Public

(위 트윗의 koka 코드도 그렇고 이 트윗의 effekt 코드도 그렇고 귀찮아서 대충 Gemini 시켰다. 틀려도 양해 바란다)

반면 Effekt의 Capability Passing Style 멘탈 모델로 생각하면 약간 양상이 달라지는데, Capability는 값 주입의 관점으로 보기 때문에 Effect를 it happens가 아니라 it requires로 본다. 그래서 named handler 같은 코드를 이렇게 쓴다. 걍 computation을 받는 함수인 것.

fun swap[A]() {h1: State[A]} {h2: State[A]}: Unit = {
  val a = h1.get();
  val b = h2.get();
  h1.set(a);
  h2.set(b);
}

koka는 happens지만 effekt는 requires다. 하지만 named handler에서는 둘 다 그냥 computation을 인자로 넘기는 모양새에 수렴했다.

2
0
0
RanolP @ranolp@hackers.pub
Public

swap :: State a (State a ()) 같은 함수를 algebraic effect로 기술하려면 같은 효과가 두번 나오기에 koka는 named handlers를 실험하고 있다. 옳은 방향이라고 생각한다. 기존에 koka는 masked effect라는 복잡한 개념을 사용해 outer effect에 접근했다.

fun swap-with-mask() : <state<a>, state<a>> () {
  val inner-val = get() // innermost
  val outer-val = mask<state<a>> { get() } // skip the innermost
  set(outer-val) // innermost
  mask<state<a>> { set(inner-val) } // skip the innermost
}

하지만 named handler와 함께라면 이렇게 쓸 수 있다

fun swap-with-named-handlers(h1, h2) : <state<a>> () {
  val val1 = perform get() at h1
  val val2 = perform get() at h2
  perform set(val2) at h1
  perform set(val1) at h2
}

seealso: https://dl.acm.org/doi/10.1145/3563289

RanolP @ranolp@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

(위 트윗의 koka 코드도 그렇고 이 트윗의 effekt 코드도 그렇고 귀찮아서 대충 Gemini 시켰다. 틀려도 양해 바란다)

반면 Effekt의 Capability Passing Style 멘탈 모델로 생각하면 약간 양상이 달라지는데, Capability는 값 주입의 관점으로 보기 때문에 Effect를 it happens가 아니라 it requires로 본다. 그래서 named handler 같은 코드를 이렇게 쓴다. 걍 computation을 받는 함수인 것.

fun swap[A]() {h1: State[A]} {h2: State[A]}: Unit = {
  val a = h1.get();
  val b = h2.get();
  h1.set(a);
  h2.set(b);
}

koka는 happens지만 effekt는 requires다. 하지만 named handler에서는 둘 다 그냥 computation을 인자로 넘기는 모양새에 수렴했다.

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

swap :: State a (State a ()) 같은 함수를 algebraic effect로 기술하려면 같은 효과가 두번 나오기에 koka는 named handlers를 실험하고 있다. 옳은 방향이라고 생각한다. 기존에 koka는 masked effect라는 복잡한 개념을 사용해 outer effect에 접근했다.

fun swap-with-mask() : <state<a>, state<a>> () {
  val inner-val = get() // innermost
  val outer-val = mask<state<a>> { get() } // skip the innermost
  set(outer-val) // innermost
  mask<state<a>> { set(inner-val) } // skip the innermost
}

하지만 named handler와 함께라면 이렇게 쓸 수 있다

fun swap-with-named-handlers(h1, h2) : <state<a>> () {
  val val1 = perform get() at h1
  val val2 = perform get() at h2
  perform set(val2) at h1
  perform set(val1) at h2
}

seealso: https://dl.acm.org/doi/10.1145/3563289

1
1
0
1
0
0
1
0
0
5
1
0
2
0
0
2
1
0
1
0
0
4
0
0
1
0
0
1
0
0
3
0
0
1
0
0
4
0
0
3
0
0
2
0
0
1
0
0
크로이세 @kroisse@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

Gleam 언어는 뭔가 별다른 복잡한 요소가 없어서 오히려 재밌는 구석이 있는 것 같다. 제네릭 말고는 별다른 다형성 기능이 없어서 오히려 설계를 고민하게 만든다던지. 서브타입도 타입클래스도 없으니까 제네릭 인자로 넘긴 타입에 뭔가 연산을 하고 싶으면 반드시 호출하는 쪽에서 연산에 필요한 함수를 그때그때 전달해야 한다. TypeScript의 any 타입처럼 gradual typing이 지원되는 것도 아니라서 정 타입시스템을 우회하고 싶으면 그때그때 Dynamic 타입으로 인코딩과 디코딩을 거쳐야 한다. Erlang 기반이니까 액터를 끌어다 쓸 수 있기는 하지만 아무래도 다른 언어에서 그냥 객체를 정의하고 메서드를 부르는 것보다는 무겁게 느껴진다. 액터라고 해서 타입이 아예 없는 것도 아니고.

2
0
0
3
1
0
2
0
0
1
0
0
Sooji Choi @cosmic_elevator@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

논리설계 공부 하랬더니 master-slave flip flop에 관한 이런 글이나 찾아보는 중...
기술에서 사용되는 특정 terminology에서 배제되는 사람들의 존재를 의식하고, 이를 바꿔 나가려는 실천이 필요하다는 생각이 든다

https://www.bu.edu/articles/2020/striking-out-racist-terminology-in-engineering/#:~:text=For decades%2C engineering textbooks have described electronic,student are finally helping to change that.

Striking Out Racist Terminology in Engineering

BU engineering student takes action against the historical use of “master/slave” terminology to describe an electronic circuit and its controller

www.bu.edu · Boston University

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

데이터 애플리케이션 중심 설계를 읽고 있는데, 이걸 읽다보니 간혹 유튜브 스트리밍에서 채팅 순서가 내가 채팅방에서 보는 거랑 실제 방송 화면에 표기되는 게 다르게 나왔던 부분이나 새로고침 했을 때 댓글이 사라졌다 생겼다 하는 이유를 어느정도 추측해볼 수 있게 된 것 같다. 물론 완전히 그 이유 때문인지는 모르겠지만, 그런 이유가 아닐까? 하고 지레 짐작 해볼 수 있는 감이 생긴 것 같다.

4
1
0
변규홍 / combacsa @combacsa@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

포스트를 보고 있자니... 11월 말에 해볼까 말까 고민중인 실험:

DGX Spark 가 1.5 Kg 정도 됩니다. 그런데 전원이 240W C타입입니다.

240W 전원 어댑터랑 이것저것 챙기면 대략 5Kg 내외로 들고다니는 GPU 환경이 되는데, 이 예민한 기계를 안전(?)하게 들고 다닐 파우치 좀 알아보고 한번 집행해볼까 싶네요.

포터블 모니터, 키보드, 마우스, 각종 케이블, 집 열쇠, 지갑, 등등을 챙기면 5Kg면 되겠지...

이제 240W 출력이 나오는 보조배터리만 구하면 진짜 포터블이 되는데... (모니터 출력 정도 버티는 보조배터리는 이미 있고)

(겸사겸사 폐쇄망 테스트도 되겠군...)

3
0
0
2
0
0
2
0
0

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

🐶 Husky 물론 멍뭉이얘기는 아닙니다. 하지만!

조내일 @tomorrowcho@hackers.pub

이 글은 사이드 프로젝트에 Husky를 도입한 경험을 바탕으로, Husky의 배경과 필요성, 그리고 실제 적용 방법에 대해 상세히 설명합니다. Git Hooks 설정의 어려움을 해결하기 위해 개발된 Husky는 npm 패키지 형태로 제공되어 팀원 간의 일관된 Git hooks 환경을 구축할 수 있게 해줍니다. 특히, 배포 전 빌드 실패를 방지하는 데 효과적이며, 커밋 전에 자동으로 코드 검사를 실행하여 실수를 줄여줍니다. Husky 적용 가이드에서는 필요한 패키지 설치부터 lint-staged 설정, ESLint 및 Prettier 설정 파일 구성, 그리고 팀 협업을 위한 팁까지 자세하게 안내합니다. 실제 테스트 시나리오를 통해 Prettier 자동 수정과 ESLint 커밋 방지 기능을 검증하며, Husky와 lint-staged가 코드 품질을 효과적으로 관리하는 것을 보여줍니다. 이 글은 코드 컨벤션 준수를 자동화하고 코드 리뷰 효율성을 높이는 데 기여하는 Husky의 가치를 강조하며, 팀 프로젝트의 생산성 향상에 도움이 될 수 있음을 시사합니다.

Read more →
2
0
0
1
1
0
3
0
0
Jaeyeol Lee @kodingwarrior@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

브라우저 스터디할 때 keep-alive 기능 구현하는 거와 관련해서, 성능 측정하는 코드는 필요하겠다 싶어서 TCP handshake 비용 측정하는 코드 짜달라고 Claude Code한테 시켜줬는데 잘 짜줌. 다른건 손으로 직접 실습을 하더라도, 실험 환경 만드는 귀찮은 작업은 LLM한테 시키면 만사가 편안하다...

TCP handshake 비용을 측정하는 코드가 실행된 모습
2
0
0

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

브라우저 스터디 기록 (1)

Jaeyeol Lee @kodingwarrior@hackers.pub

이 글은 Web Browser Engineering 교재를 독학하며 연습문제를 풀이하는 과정을 담고 있습니다. 저자는 추상화 수준에 대한 고민을 드러내며, URL 클래스의 request 메서드 대신 Connection 클래스를 도입하여 소켓 관리를 더 자연스럽게 처리했습니다. 또한, 타입 힌트 적용과 pytest를 이용한 유닛 테스트 환경 구축 등 실습 환경을 풍성하게 구성하는 데 LLM의 도움을 받아 효율성을 높였습니다. 연습문제 풀이에서는 keep-alive 지원의 중요성을 강조하며, TCP handshake 비용 절감 여부를 직접 실험해볼 것을 권장합니다. 리다이렉션 문제에서는 Location 헤더의 다양한 케이스 처리와 최대 리다이렉션 횟수 제한을 고려해야 함을 지적합니다. 캐싱 문제에서는 Cache-Control 헤더의 다양한 옵션에 대한 처리 방법을 제시하고, 압축 문제에서는 Transfer-Encoding: chunked 헤더 처리의 중요성을 강조합니다. 전반적으로 이 글은 단순한 문제 풀이를 넘어, 브라우저 엔진의 동작 원리를 깊이 이해하고 실제 코드에 적용하는 과정을 보여줍니다. 독자들은 이 글을 통해 연습문제 풀이에 대한 힌트를 얻을 뿐만 아니라, 브라우저 개발에 대한 실질적인 인사이트를 얻을 수 있을 것입니다.

Read more →
7
0
1
1
0
0
1
2
1
しろまだら @shiromadara@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

最近ずっと忙しくてどの勉強会にも参加できなかったんだけど、自治体が後援してるシビックテックcivic techの講座を紹介してもらって、今日その初回に参加してきた！楽しかった！
シビックテックって名前だけ知ってたけど、参加して分かったのは、今までアカデミア側から関わってきたcitizen scienceとちょっと似てるかも。あとOpen dataとかOSSとか技術の民主化とか、なんだかFediverseで遊んでるときの感覚とも近くて、良い〜✨となった。

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

Been thinking about fediverse wiki after @2chanhaeng초무 mentioned it today. Some ideas:

  • Cross-instance page linking: [[Page Title@other-instance.wiki]]
  • Edit pages on other instances with your home account
  • Fork pages across instances: [[Page@instance-a.wiki]] → [[Page@instance-b.wiki]], sharing edit history up to the fork point
  • Merge forked pages later when needed

The fork/merge model feels natural for federated collaboration. Thoughts?

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

드디어 Chazzy에서 유튜브 라이브 채팅도 볼 수 있게 만들었다.

사실 로그인 없이 유튜브 라이브 방송의 채팅을 가져오는 건 불가능하다고 생각하고 있었는데... 별 기대 없이 Claude Code한테 요청했더니, 비공식 API 라이브러리 Youtube.js로 몇 시간의 티키타가 끝에 동작하는 상태로 우당탕탕 구현해줌... 너무 우당탕탕 구현해줘서 뒤처리가 조금 오래 걸렸는데 아무튼 돌아가는 거 보니까 그것마저 재밌긴 하더라.

p.s. 근데 이번에 eslint 제대로 돌려 보니까 나부터 우당탕탕 짜고 있었어서 남말 할 처지가 아니었다

Chazzy

chazzy.vercel.app

2
0
0