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 기반이니까 액터를 끌어다 쓸 수 있기는 하지만 아무래도 다른 언어에서 그냥 객체를 정의하고 메서드를 부르는 것보다는 무겁게 느껴진다. 액터라고 해서 타입이 아예 없는 것도 아니고.

저질러 버리다

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

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

논리설계 공부 하랬더니 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.

하스켈 붐은 온다

https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169?u=jaror

어우 WSL 아이콘 왤케 무서워;;

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

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

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

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

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

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

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