https://tanstack.com/blog/directives-and-the-platform-boundary

完全にNext.jsの事言ってて草
バチバチやなぁ

코루틴이 왜 코루틴이라고 불리는지 몰랐는데 대충 어셈블리 레벨로 예제를 보니 코루틴이라는 말 이상 적합한 말이 없겠군….

zed에서 mdx 확장 쓰려고 하니까 이렇게 터지는데 제보를 zed에 해야 되는지 확장 개발자한테 해야 되는지 모르겠다

이제 Visual Studio Code에서는 Pepper가 Syntax Highlighting이 돼요.

우리집 cmake는 cargo, pnpm, python도 호출한다?

Fediverse 관련해서 이것저것 조사하고 있는데, owncast라는 것도 있구나...? 근데 AP 명세에 실시간 미디어 스트림이 있었나...?

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

요즘 심심할때 굴리고 있는 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.

세세한 문법적인 공부는 스스로 하도록 《Learn JavaScript》를 알려줬다. 지금 옆에서 혼자 열심히 따라하는 중…

람다 함수의 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 기반 생태계를 경험하고 나서 그 장점을 깨닫는 걸 보니 속이 시원해짐

😂🤣

결국 TypeScript + React + Next.js로 시작하기로 했다. 가르쳐 주면서 설명하기 어려운 개념들이 좀 많긴 했다…

🐍 .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

취업이 쉬운 React를 가르쳐야 하나? 아니면 Vue나 Svelte? React를 쓴다고 하면 Next.js 같은 프레임워크랑 함께 가르쳐야 할까? Next.js가 최선일까?

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

이번 주 토요일은 아침부터 낮까지 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하게 열기)이 더 힘들었다...

😂

@kodingwarriorJaeyeol Lee 워크스페이스 별로 LSP를 켜고 끌 수 있어야…

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

자 아이디어는 내가 냈어 그럼 이제 누가 기획플밍아트브금디자인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

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

@nebuletoHaze 아, 커스텀 포맷을 쓸 수가 있군요…

@jaeholee 호오 그렇군요.

근데 LLM에서 XML이나 JSON을 쓰는 게 효율 때문이 아니라 LLM이 해당 포맷에 익숙하기 때문인 거 아닌가…? 🤔

https://github.com/johannschopplich/toon

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