Profile img

洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub · 965 following · 677 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
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Quiet public

동생이 프로그래밍을 배워 보고 싶다고 해서 일단 눈에 바로 보이는 걸 만들 수 있는 iOS 앱 개발 또는 웹 프런트엔드 개발을 가르쳐 보려고 생각 중인데… iOS 앱 개발이야 그렇다 쳐도, 웹 프런트엔드는 선택지가 너무 많아서 뭐가 좋을지 고민이 된다. 어제부터 계속 고민하고, 사람들한테 의견도 들어보고 했지만 결정을 못 한 상태.

5
1
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Quiet public

동생이 프로그래밍을 배워 보고 싶다고 해서 일단 눈에 바로 보이는 걸 만들 수 있는 iOS 앱 개발 또는 웹 프런트엔드 개발을 가르쳐 보려고 생각 중인데… iOS 앱 개발이야 그렇다 쳐도, 웹 프런트엔드는 선택지가 너무 많아서 뭐가 좋을지 고민이 된다. 어제부터 계속 고민하고, 사람들한테 의견도 들어보고 했지만 결정을 못 한 상태.

2
1
0
2
0
0

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

Migrate to Misskey from Iceshrimp

AmaseCocoa @cocoa@hackers.pub

This post outlines the process of migrating from Iceshrimp, a fork of Firefish (itself a fork of Misskey v12), to Misskey, starting from v13. The author details their reasons for migrating, including ongoing reimplementation efforts in .NET, issues with media rendering, and a general preference for Misskey. A comparison table highlights key differences between Iceshrimp and Misskey, such as translation API, note editing capabilities, MOTD, note length limits, search engine options, FTT, and social login. The guide provides a step-by-step walkthrough, including backing up and rolling back the database, running specific SQL commands to align the database schema with Misskey, and installing Misskey without initializing it to prevent data corruption. Troubleshooting tips are included for common issues like login failures and client loading problems. This migration guide offers valuable insights for those looking to transition from Iceshrimp to Misskey, ensuring a smoother process.

Read more →
2
0
0
4
0
0
1
1
0
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
Jaeyeol Lee @kodingwarrior@hackers.pub
Public

Neovim 같은 에디터에서 Language Server를 일일이 세팅하다보면, typescript-language-server는 deno lsp와 충돌하게 되고, biome는 eslint 같은거랑 충돌이 되어서 스크립트로 일일이 예외처리를 해줘야 하는데, 이런 충돌나는 요소를 코드 레벨에서 우아하게 제어할 수 있는 방법이 어디 있을까? 사용가능한 랭귀지 서버를 배열의 형태로 나열하고, 사용가능한 포매터 역시 배열의 형태로 나열하기만 해도, 이걸 우아하게 처리할 수 있는 인터페이스가 필요하다...

0
1
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
0
0
0
0
0
0
1
0
0
5
1
0
0
0
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
0
1
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