vimrc2025 행사에서 뿌릴 스티커 도착함.

@curry박준규 이 에러와는 별개로 withFile의 사용시에는 withFile내에서 필요한 동작을 최대한 다 하는게 불필요한 file handling 작업을 줄일 수 있습니다.

사실 아직 이전한건 많이 없지만... 일단은 기존 DB랑 Redis를 tailnet으로 연결하고 클러스터에 사이드킥을 띄웠다 그리고 사이드킥 오토스케일링 기준을 CPU로 잡는게 조금 부적절하다고 생각했었는데 Prometheus로 사이드킥 큐 크기를 측정해서 그거 기반으로 스케일링하는게 좋을것같다 (내일)

Y = forall A. λf.
    let g = thunk (λx. (force f) ((force (unroll x)) x)) : thunk ((μX. thunk (X -> A)) -> A)
    in g (roll g : μX. thunk (X -> A))

를 타입 검사한 게 지난 일이었다.

(Y[λ⟨ isEven: nat -> bool, isOdd: nat -> bool ⟩]) (λm.
    λ⟨
        isEven: λn. match n {
            Nat.zero as n => return true
            Nat.succ as n => return (force m::isOdd) (n.0)
        }
        isOdd: λn. match n {
            Nat.zero as n => return false
            Nat.succ as n => return (force m::isEven) (n.0)
        }
    ⟩
)

이제 위 코드를 대충 타입 검사할 수 있는 거 같다.

이제 시맨틱은 필요한 만큼 구현했으니 드디어 신택스나 코드젠으로 넘어갈 수 있겠다.

실제로 파서를 짜고 있다.

예비군 가서 3일 동안 『UNIX의 탄생』하고 『오래된 인터뷰 개발자의 미래를 긷다』만 주구장창 읽고 왔고, 꽤 도움이 되었다

VIMRC 2025 티켓 3장남았네 ㄷㄷ 인기짱많음

하스켈에서 다음과 같은 에러를 만날 경우에

withFile: resource busy (file is locked)

readFile 대신 readFile'을 써보셔요!

• readFile은 lazy 버전이고
• readFile'은 strict 버전입니다!

System.IO 모듈 문서에 다음과 같은 설명이 있습니다.

경고: readFile 연산은 파일의 전체 내용을 모두 소비할 때까지 그 파일에 대해 부분적으로 닫힌(semi-closed) 핸들을 유지한다. 따라서 이전에 readFile로 연 파일에 대해(writeFile 등을 사용하여) 쓰기를 시도하면, 일반적으로 isAlreadyInUseError 오류와 함께 실패하게 된다.

방금 보이스피싱을 당할뻔 한거 같은데, 내가 법원등기서류를 수령 못했다면서 온라인으로 받아보라고

http://온라인검찰민원.kr/ 이 사이트로 들어가도록 유도했다. 보다시피 인증서가 없는 페이지이다. 그래서 바로 전화를 끊고 보이스피싱 신고사이트에 신고했다.

근데 나야 인증서 확인하고 이렇게 했지, 만약 우리 엄마였으면 그대로 당했을거같아서 기분이 안좋네..

오! 클로드 코드 사용량을 잠자는 동안 사용하지 못하는게 아까워서 이슈 7개 정도를 잠자기전에 일단 돌려두고 커밋까지 하라고 시켜놨다. 아침에 일어나서 워크트리에 커밋되어있는거 하나씩 머지하면서 테스트하고 코드 리뷰하고 있는데 엄청 좋은것 같다?!

container use를 써봐야겠다

#Ghostty 사용 이틀째.

딱히 불편함은 없고 빠릿빠릿해서 좋다. iTerm2에 있던 그 많은 설정은 거의 필요 없었다는걸 새삼 느꼈다. Ghostty에서 설정을 열면(cmd+,) config 파일 고치라고 편집기가 뜬다 🤣

새 창이나 탭을 띄울 때 현재 위치에서 띄우지 못 하는데, 셀 통합이 불안정해서란다. iTerm2용 통합 스크립트를 다 막아도 "invalid OSC command: 1337;ShellIntegrationVersion=14;shell=zsh"가 찍히는 중. 공식 설명서 따라서 수동으로 읽었는데 되다 말다 그럼.

제품(타이피)의 기술부채와 타협하지 않고 위지윅 에디팅의 끝을 보려고 하시나 보네요. 기술 역량 면에서 참 대단하십니다.

구현체는 Rust로 작성되어 웹에서는 상술한 바와 같이 WASM으로 빌드 후 캔버스에 출력하며, 모바일에서는 각 플랫폼으로 네이티브 빌드되어 각 플랫폼의 윈도우 핸들을 통해 텍스쳐 버퍼에 바로 출력합니다. 이를 통해 웹뷰 없는 모바일 위지윅 에디터를 구현하고자 합니다.

— finn (@devunt) November 7, 2025

개발 재밌다 아직도

anyway just learned python typing invented a new kind of voldemort type -- one which when named doesn't actually name it

`float` and `int` are two distinct types in the type system

but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`.

anyway that's why `ty` has a `JustFloat` extension that is an actual alias for actual `float` that doesn't expand to `float | int`, so you can actual refer to... just float

https://play.ty.dev/a8714369-9b4c-4028-9418-26727b546205

클로드 니가 코드 작성하는 것이 auto-generating이니까 auto-generated라고 표기된 코드도 수정하는거니?

파이썬 프로젝트인데 sqlalchemy 안쓰고 생 mysql이라니 도망가고싶다

TIL: mysql도 드디어 select * from table group by column을 거부합니다. 세상이 바뀌긴 바뀌는구나.

@hongminhee洪 民憙 (Hong Minhee) @perlmint GPL을 대체하려는 시도를 잘 막아내고 있으니 의도대로 잘 동작하는 사례네요. 그냥 uutils coreutils 포크해서 GNU coreutils 텍스트만 갖다붙이고 GPL로 배포하면 모두에게 해피엔딩 아닐까요

Just released LogTape 1.2.0. You can now access nested properties directly in templates (e.g., {user.profile.email}), and the fingers crossed sink got context isolation for better HTTP request tracing.

예비군 2일차. 코딩하고 싶다

https://github.com/facebook/relay/issues/4548 Meta야 언제까지 CJS할거니

12月(월) 6日(일) 서울에서 開催(개최)되는 liftIO 2025에서 〈Optique: TypeScript에서 CLI 파서 컴비네이터를 만들어 보았다〉(假題(가제))라는 主題(주제)로 發表(발표)를 하게 되었습니다. 아직 liftIO 2025 티켓은 팔고 있으니, 函數型(함수형) 프로그래밍에 關心(관심) 있으신 분들의 많은 參與(참여) 바랍니다!

liftIO에서 liftIO를 설명하면 재밌을 것 같은데 그러려면 모나드 트랜스포머를 설명해야 하고 그러려면 모나드를 설명해야 하고...

데브컨테이너를 생활화합시다.

2025년 터미널 에뮬레이터 현황: 방랑하는 챔피언들 1위 Ghostty, 2위 Foot, 3위 Kitty가 상위권을 차지함 세 터미널 모두 Unicode 처리 정확도(WIDE/LANG/ZJW/VS16) 항목에서 최고 점수 기록 VTE 기반 터미널(GNOME Terminal, Terminator, LXTerminal 등) 은 하위권 유지 성능(Elapsed time) 측면에서 Foot, WezTerm, tmux, Konsole 등이 빠름 (100초 미만) iTerm2와 Extraterm은 CPU를 과도하게 사용하며, 테스트 시간을 단축해야 했음

과연 이번에도 "돌고 돌아 iTerm2로 돌아옴"이 될 것인가?

https://news.hada.io/topic?id=24130 https://www.jeffquast.com/post/state-of-terminal-emulation-2025/

오우 첫 느낌은 좋네 Ghostty

오늘의 클로드: 역시 못된 것만 잔뜩 배워와서 biome 에러가 많다고 설정에서 경고로 내려버리고 있다.

근데 이전에 HN에서 codex가 뭔가 복잡하고 길게 해야하는 일을 더 잘 수행한다고 올린 글 때문에 테스트를 진행해본거라... 오히려 codex는 중간중간에 안껴들어도 일을 잘하고 claude code는 중간에 껴들어야 일을 잘하게되는 차이가 생길 수 도 있음.

이렇게 되면 병렬로 여러 일을 시키기에 codex가 더 적합할 수 도 있겠다는 가정을 해봄. 그래도 claude code가 결국 편할것 같은건 요즘 코딩하면서 테스트해본 결과 내 머리로는 최대 3개 이상의 작업을 동시에 병렬로 진행하는게 부하가 있음. 그래서 간단한 작업들 claude code web처럼 샌드박스에서 자동으로 돌려두는걸 codex로 해두고 내가 직접 상호작용하는 제품은 claude code를 사용하게 되지 않을까 싶음…

물론 어려운 작업들에서 작업 퀄리티 차이가 눈에 보일만큼 크다면 또 다르겠지만...

나중에 더 써보고 후기를 남겨보겠습니다.

codex에 비해서 claude code가 엄청 빠르다고 느꼈는데, 녹화해서 동시에 보면서 분석해봤는데 흥미롭다. gpt API 응답 속도나 claude API 응답 속도가 비슷했던 경험 때문에 인지 편향이 생겼을거라고 가정하고 녹화했다.

아주 간단한 테스트를 통해서 알게된 사실은 UX에서 오는 체감이 있는듯함. 동일한 코드베이스, 일, 프롬프트로 진행했는데 모든 일을 끝마치는데 걸린 속도는 비슷했음.

1. 다만 Claude Code는 TODO 리스트를 통해서 일감 관리되고 있는 상호작용을 눈으로 확인할 수 있음
2. 각 TODO 리스트가 끝났을때 중간 결과 같은것을 바로 알려줌
3. 이 중간 결과를 보고 다음 명령어를 큐잉하게 되니 실질적으로 일 진행이 더 빠른 "느낌"을 받게됨.

두 제품 다 중간에 끼어들어서 일 방향을 수정하거나 일감을 큐잉하는등의 액션은 수행할 수 있는 것처럼 보여서 중간 결과를 알 수 있는게 복잡한 일을 하면 할 수록 큰 차이를 만들 수 있을것이라고 생각함.

이런 차이라면 학습하지 못한 자료에서 수행해야하는 일을 할때 조금 더 유의미한 차이가 생길것 같은데 나중에 테스트 해봐야겠다.

오늘의 클로드. winui 어플리케이션을 tauri로 옮겨달라고 했더니 안좋은 방향으로 winui를 따라했다... 버튼처럼 안보이는 버튼과 일부러 스타일을 적용 안한 모습...

[Mon Nov 10 14:09:39 2025] Out of memory: Killed process 29426 (syncthing) total-vm:2418416kB, anon-rss:784kB, file-rss:3584kB, shmem-rss:0kB, UID:1000 pgtables:516kB oom_score_adj:200

1GB 짜리 SBC 에서 싱크싱을 systemd 유저 서비스로 띄워 두고 매일 몇 GB 정도 싱크를 하게 했더니 하루에 한 번씩 OOM 킬 당한다. 스와프 2GB 줘 봤지만 소용이 없다. 게다가 dmesg -T | grep "Out of memory" 에서 정확히 싱크싱만 잡히는 걸 보면 진짜로 싱크싱의 메모리 프레셔만 문제인 것 같다(스와프 아웃 속도가 문제가 아닌 것). 근데 다른 해결책도 보이지 않고, 또 저렇게 정기적으로 재시작당하게 냅둬도 아무 문제가 없어서, 냅두는 중…

데이터베이스 이전이 정말 끔찍하게 느리구나...

클로드가 자꾸만 powershell로 명령을 실행하려고 한다. windows에서도 bash 로 밖에 실행 안하면서...

Rust Coreutils 0.4 Released With Better GNU Compatibility & Faster Performance

Rust Coreutils continues moving fast on their goal "toward full GNU compatibility" with the GNU Coreutils. The uutils project announced Rust Coreutils 0.4 this evening with better compatibility, performance optimizations, and other improvements...
https://www.phoronix.com/news/Rust-Coreutils-0.4

rust coreutils의 번역 프로젝트가 있네요. 한국어가 없길래 일단 목록에 추가해봤습니다. https://hosted.weblate.org/projects/rust-coreutils/-/ko/

마크다운은 토씨랑 상성이 진짜 안맞아서 불편하다... *이것을 찾으셨나요?*에라고 쓰면 "*이것을 찾으셨나요?*에"가 되고 <em> 태그를 써야 제대로 적용이 된다

러스트 문서가 시전하는 이것을 찾으셨나요?에 큰 호감을 느끼고 있다

오늘 디비 레디스 등등을 Tailnet에 연결하고 쿠버네티스 클러스터에 마스토돈을 띄워서 tailnet으로 연결시킨다

내일 서버를 내리고 디비를 백업 후 디비도 쿠버네티스로 올린다

리눅스 랩탑(amdgpu, rocm)에서 ollama 써서 아주 잠깐 로컬 LLM 시도해 본 소감: 생각보다 잘 되는데, 한편으로 왜 OpenAI 의 적자가 저렇게 터무니없는 규모라는 것인지도 이해했다. 어디가 병목인지는 알겠는데 그래서 그에 대한 대응책은 GPU 를 증설하기 시작해서 그냥 많이 증설했습니다. 를 하고 있다는 것이군 진짜로… 이게 인류의 갈 길이라니… 사이버펑크보다 현실이 더 사이버펑크다

tauri로 프로그램을 작성하는데 내부 상태를 뷰로 보여주기 위한 작업이 너무 귀찮았다. mount시점에 전부 다시 로드 해야하고, 변경 요소마다 command만들고 요청 날려야하고, 혹시라도 BE내부에서 변경될 수 있는 값이면 이것도 이벤트 만들어야하고, rust타입가지고 매크로로 쉽게 찍어낼 수 있을 것 같은데... 복잡한 타입은 좀 더 고민이 필요하겠지만...

온라인이든 오프라인이든, 공적이든 사적이든 나에대한 정보를 잘 정렬해서 전달하려는 건 고민이 되는 일이긴 하네요. 아직 어떻게 활동을 해야 할지 감이 안잡혀서 천천히 하겠습니다.

FOSS에서 초대 링크 받아 들어왔어요

오늘 백준에서 2문제를 풀었는데 둘다 롱롱죽겠지를 당했다 (long long을 써야 되는데 int를 썼다는 뜻)

FOSS for All 부스 도는거 재밌다... 다양한 부스가 많아요 레드햇도 써봤어요(??

컨퍼런스는 동인행사 같은 거구나...(무료배포 동인지 받음)

🚀 FOSS for All Conference 2025

The conference has started!
A joyful start for open source.

오픈소스를 위한 즐거운 시작,
포스포올 컨퍼런스 2025가 드디어 막을 올렸습니다.

#FOSSforAll #포스포올
#OpenSource #Conference

방금 10명 정도 가입하신듯...!!

Sharing the slides from my talk, Embracing yak shaving, which I presented today at the @fossforall Conference 2025! Thanks to everyone who came to listen!

오늘 @fossforall 컨퍼런스 2025에서 發表(발표)한 〈야크 셰이빙: 새로운 오픈 소스의 原動力(원동력)〉의 슬라이드를 共有(공유)합니다! 들어주신 분들 모두 感謝(감사)합니다!