배포는 역시 사람 손으로 하는 것이 아니다. 계속 뭔가 작업을 하고 있기 때문에 태그 따놓고는 막상 다른 버전으로 빌드 하는 경우가 너무 쉽게 발생한다.

요즘 심심할때 굴리고 있는 VCS에 대한 나이브한 아이디어가 있는데

• 각 커밋에 대해 메타데이터를 줄수 있어야 한다

  레포 내의 metadata.json 같은 파일을 인식해도 되고, 아니면 Commit -> Metadata를 해주는 프로그램을 hook으로 등록하게 해줘도 된다. 이를 통해 package.json, cargol.toml 같은 파일을 읽어서 거기에 버전 의존성을 커밋의 메타데이터로 추출한다.

• 메타데이터에 대해 인덱싱을 한다

  가령 version이라는 메타데이터가 있을때 2 <= version < 3를 만족하는 커밋의 범위를 인덱스를 활용해 빠르게 알아낼수 있게 한다.

• 메타데이터로 커밋을 찾는 표현식을 제공한다

  max(2 <= version < 3 and has(fix-bug-foo) and has(add-feature-bar) 이런식으로 하면, 구간 내의 버전에서 foo 버그가 해결되고 bar 피쳐가 추가된 커밋중 가장 최신의 커밋을 구한다. git에서는 fix-bug-foo, add-feature-bar 각각의 브랜치로는 쉽게 갈수 있지만, 해당 브랜치가 main에 머지되기 전까지 그 브랜치 밖을 벗어나 작업하기가 까다로워진다.

• 이런 레포들을 모아서 모노레포를 모은다음, 메타데이터에 상호 의존성을 기술한다

  그리고 dependency resolve를 해서(메타데이터 검색의 일종일 뿐임) 조건을 만족하는 모노레포 스냅샷을 구한다. 이제 우린 패키지 매니저를 공짜로 얻었다.

이 아이디어는, 현재 패키지 매니저와 VCS가 분리되어있는데 사실 그래선 안된다는 생각에서 나온것이다. 기존의 비슷한 아이디어를 찾아봤는데 gitman 이런게 있더라. 근데 내가 원하는만큼 일반적이진 못하다.

#cosmoslide 에 기여해야 할 거 하나 더 생각났다.

다른 인스턴스의 노트에 첨부된 이미지 등등을 못 보여준다.

Make generator expression안에서 리스트 변수를 사용하면 generator expression이 통째로 동작하지 않는 문제가 있다. 이래서 모든게 문자열인건...

Codex 써봤는데 상당히 좋군

libghostty can now encode terminal contents as HTML. On the left is an example program that reads stdin, loads it in a terminal, and encodes to HTML. On the right, an example of `fastfetch` encoded to the browser. Coming soon to Ghostty clipboard ops automatically.

람다 함수의 Introduction Rule까지 작성했다.

지금 타입 검사 되는 거:

• () : ()
• Nat.zero
• Nat.succ(Nat.zero)
• Nat.succ(Nat.succ(Nat.zero))
• Nat.zero : Nat
• thunk (λx. return ()) : thunk (() -> ())

Claude는 cmake를 딱히 잘 하지는 못하는 것 같다... 사실 이건 cmake가 잘 못 함

#python mise + uv 조합으로 더 익숙해지면 poetry/pdm 둘 중 하나는 없앨듯. PEP 621 덕분에 많이 좋아졌네. 요샌 TS/JS 비중이 높아서 언제 다시 정리할런지

uv는 Python 생태계에 지난 10년간 등장한 최고의 혁신

예전엔 Python의 툴링이 충분하다고 들었지만, 이제 Python 개발자들이 npm이나 cargo, bundler 같은 lockfile 기반 생태계를 경험하고 나서 그 장점을 깨닫는 걸 보니 속이 시원해짐

😂🤣

🐍 .NET에서 Python을 가장 가볍게 실행하는 방법

Python 코드를 C# 애플리케이션에서 실행해야 하는데  복잡한 설정과 보일러플레이트 코드가 부담되셨나요?

DotNetPy를 만들었습니다: ✅ Zero Boilerplate - GIL 관리나 Source Generator 불필요 ✅ AOT 친화적 - Native AOT 시나리오를 위해 설계 ✅ 최소한의 러닝 커브 - 몇 줄로 Python 실행 ✅ Apache 2.0 라이선스

Python 표현식 평가부터 복잡한 데이터 교환까지,  pythonnet이나 CSnakes보다 훨씬 가벼운 대안입니다.

사용 예시: Python.Initialize(pythonLibraryPath); var executor = Python.GetInstance(); var result = executor.Evaluate("sum([1,2,3,4,5])"); Console.WriteLine(result?.GetInt32()); // 15

🔗 GitHub: https://github.com/rkttu/dotnetpy

#닷넷 #파이썬 #오픈소스 #연동 #코딩 #AI #개발자

내가 그래도 놀지는 않았구나….

My first Rust project (in effect)

Since there was a library by PyO3, reading pyproject.toml wasn't too much trouble.

https://github.com/AmaseCocoa/libretto

나는 groovy가 싫어요

스크립트에서 에러가 발생했는데 왜 스크립트 라인넘버가 아니라 자바 콜스택이 찍히냐

Our website is live, over at https://nixseoul.club! We have a form up for anyone who's interested in attending!

👋 Hello, World! We now have a Mastodon account where we’ll post meetup updates and Rust news.
https://fosstodon.org/@ianthetechie/114656756421226825

이번 주 토요일은 아침부터 낮까지 OSSCA 성과공유회고 아마 저녁식사까지 할텐데, 일요일 새벽에 해커컵 Round 2를 칠 체력이 있으려나 모르겠다. 하지만 티셔츠는 받아야 하는데...

이미지와의 결투에서 승리했다

Next.js 쓰기 싫어서 tanstack router 공부 중인데 여태 쓰던 프레임워크들이랑 느낌이 너무 달라서 취준하던 때로 돌아간 느낌.

답답하면서도 묘하게 재밌기도 하고. 생소하다.

날 추워지고 그러니깐 집에만 있고 싶고 자꾸 풀어지고 그러는데 나도 튜사 한달권 끊어볼까?

일주일에 Hackers' Pub 한 피쳐 마이그레이션 기여를 해볼 것이다

슬슬 맥미니의 용량 부족 압박이 발생하여, 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기가 정도하는 파일들이 여럿 확인되었다)

오늘의 #cosmoslide 개발.

왠지 실 코딩은 짧게 끝났는데 다른 잡설정(로컬 minio Public하게 열기)이 더 힘들었다...

😂

프로그래밍 언어의 키워드나 연산자를 잡아다 조합해서 함수를 만들어 자동화 하는 겜

자 아이디어는 내가 냈어 그럼 이제 누가 기획플밍아트브금디자인UI/UX마케팅배급 할래?

Scala의 given - using을 사용한 Effect 모사는 아마 Capability Passing Style에 가까우니까 Effekt의 해석을 따를 거로 본다.

(위 트윗의 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을 인자로 넘기는 모양새에 수렴했다.

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

요즘 뭔가 출근하듯 튜사 오는 것 같은데... 걍 자유이용권을 살까

난 솔직히 Liquid Glass UI 너무 좋아서 이세상의 모든 UI를 Liquid Glass 로 만들었으면 좋겠음

집에 언어학 책들이 너무 많고 앞으로 볼 일이 없을 것 같아 책장 정리도 할 겸 처분 중이다...물론 이 중에 제대로 완독한 건 절반 좀 넘게밖에 없지만 ㅋㅋ

time.Now()를 쓰다가 갑자기 머신이 시간을 어떻게 가져오는지 깊게 파보고 싶어짐

챗봇 UI를 만들고 있는데, AI한테 툴 사용을 따로 주지말고, 채팅 자체를 어떤 REPL안에(Python이라던가) 임베딩 시키는게 나은 디자인인거 같다. 근데 이거 먼가 모나드트랜스포머스러운데..

asdf → mise로 전환.

node@14는 어찌저찌 하다가 MISE_ARCH=x86_64 mise install node@14.21.3 해결.

ActivityPubを一から実装するのをお勧めしない理由みたいな記事書きたい

튜사에 맛있는 간식을 좀 늘려야 된다고 생각해
튜사가 편의점도 아니고 왜 간식거리를 늘려요
아무튼 나는 튜사에서 파는 간식의 종류를 좀 늘려야 된다고 생각해

W3C도 리브랜딩을 한다고?? https://www.w3.org/press-releases/2025/new-logo/

We are celebrating our 31st anniversary today! We have adopted a new logo to signal positive changes. We have refreshed our logo to reflect the new type of organization we have become — one that wants to re-engage with our community, and reach new audiences.

See more at:
https://www.w3.org/press-releases/2025/new-logo/

딩코(특히 코테) 잘하고 싶어 흑

오, 후반부는 tkinter를 skia, sdl로 대체하는구나

browser.engineering 스터디 중인데, 일주일에 최소 한 챕터 진도나가고 한챕터 연습문제 싹쓸이 할 때마다 풀이 글을 올려보려고 한다. browser.engineering 책 검색하면 해커스펍이 상단에 뜨게 하는 큰 그림....!!

• 역명부기: 역이름 옆에 광고를 함
• 혁명부기: 혁명을낉여오라하지않앗느냐

Biome v2.3 is out!

👨‍👨‍👦‍👦 Full support for Vue, Svelte and @astro
‼️ New ignore syntax
🌬️ Tailwind v4 support
⌨️ New CLI flags and reporters

https://biomejs.dev/blog/biome-v2-3/

Call-by-Push-Value를 다시 방문하고 있는데 의문이 떠나지 않음... 왜 tag를 일급 시민으로 만들고 소비 방법을 (1) 의존함수 Π_i∈I Bᵢ (2) 구분 합 Σ_i∈I Aᵢ 이렇게 2개나 만들게 했지

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

저질러 버리다

짭튜사 이름 생각하다 기요틴의 기요틴 이라는 아이디어가 떠올라버림

연친분들도 이 마음가짐으로 연합우주 해주세요