洪 民憙 (Hong Minhee)
@hongminhee@hackers.pub · 1020 following · 728 followers
Hi, I'm who's behind Fedify, Hollo, BotKit, and this website, Hackers' Pub! My main account is at 
@hongminhee洪 民憙 (Hong Minhee) 
.
Fedify, Hollo, BotKit, 그리고 보고 계신 이 사이트 Hackers' Pub을 만들고 있습니다. 제 메인 계정은: @hongminhee洪 民憙 (Hong Minhee) .
Fedify、Hollo、BotKit、そしてこのサイト、Hackers' Pubを作っています。私のメインアカウントは「@hongminhee洪 民憙 (Hong Minhee) 」に。
Website- hongminhee.org
GitHub- @dahlia
Hollo- @hongminhee@hollo.social
DEV- @hongminhee
velog- @hongminhee
Qiita- @hongminhee
Zenn- @hongminhee
Matrix- @hongminhee:matrix.org
X- @hongminhee
요즘들어 자꾸 법률 문서를 diff 따다가 밤을 새는 버릇이 생겼다 (이번이 2번째입니다. 1번째는 X 이용약관이었습니다)
체감상 claude plan으로 작업 계획서 작성한 다음에 codex로 코드 작성하는게 결과물이 꽤 괜찮은 것 같음
TypeScript 6.0 beta is now published!
This release brings
- inference improvements for functions
- updates to package.json 'imports'
- Temporal APIs
- alignments for the upcoming TypeScript 7.0
- & more!
Try it today!
https://devblogs.microsoft.com/typescript/announcing-typescript-6-0-beta/
내가 보려고 번역해둔 Functional Programming in Lean 타래
洪 民憙 (Hong Minhee) shared the below article:
Functional Programming in Lean 한국어 번역 - 소개 및 감사의 글
초무 @2chanhaeng@hackers.pub
Note
이 글은 Lean 공식 문서에 소개된 Functional Programming in Lean을 작성자가 읽기 위한 목적으로 Kagi Translate를 통해 1차로 기계 번역 후 보완한 글입니다. 원문과의 차이가 있을 수 있으며 정식 내용은 항상 원문을 통해 확인 바랍니다. 원문이 Creative Commons Attribution 4.0 International License를 기반으로 배포된 것을 존중하여 이 글 또한 CC BY 4.0 하에 배포합니다.
소개
Lean은 의존 타입 이론을 기반으로 하는 대화형 정리 증명기 입니다. 원래 Microsoft Research에서 개발되었으나, 현재는 Lean FRO에서 개발이 진행되고 있습니다. 의존 타입 이론은 프로그램과 증명의 세계를 하나로 묶어주기 때문에 Lean은 프로그래밍 언어이기도 합니다. Lean은 이러한 이중적 특성을 진지하게 받아들이며, 범용 프로그래밍 언어로 사용하기에 적합하도록 설계되었습니다. 심지어 Lean은 Lean 자체로 구현되어 있습니다. 이 책은 Lean으로 프로그램을 작성하는 법에 관한 것입니다.
프로그래밍 언어로서의 Lean은 의존 타입을 가진 엄격한 순수 함수형 언어입니다. Lean으로 프로그래밍하는 법을 배우는 과정의 상당 부분은 이러한 각 속성이 프로그램 작성 방식에 어떤 영향을 미치는지, 그리고 어떻게 함수형 프로그래머처럼 생각할 수 있는지를 익히는 것으로 구성됩니다. 엄격성 은 Lean의 함수 호출이 대부분의 언어와 유사하게 작동하는 것을 의미합니다. 즉, 함수의 본문이 실행되기 전에 인자값이 완전히 계산된다는 의미입니다. 순수성 은 프로그램에서 타입에 명시되지 않는 한, Lean 프로그램이 메모리 위치 수정, 이메일 전송, 파일 삭제와 같은 부수 효과(side effect)를 가질 수 없음을 의미합니다. Lean이 함수형 언어라는 것은 함수가 다른 값들과 마찬가지로 일급 객체이며, 실행 모델이 수학적 표현식의 평가에서 영감을 얻었음을 뜻합니다. Lean의 가장 독특한 특징인 의존 타입은 타입을 언어의 일급 구성 요소로 만들어, 타입이 프로그램을 포함하거나 프로그램이 타입을 계산할 수 있게 합니다.
이 책은 Lean을 배우고 싶지만 반드시 함수형 프로그래밍 언어를 사용해 본 적은 없는 프로그래머들을 대상으로 합니다. Haskell, OCaml, F#과 같은 함수형 언어에 익숙할 필요는 없습니다. 반면, 이 책은 대부분의 프로그래밍 언어에서 공통적으로 쓰이는 루프, 함수, 데이터 구조와 같은 개념에 대한 지식은 갖추고 있다고 가정합니다. 이 책이 함수형 프로그래밍에 관한 좋은 입문서가 될 수는 있지만, 프로그래밍 전반에 관한 입문서로는 적합하지 않습니다.
Lean을 증명 보조기로 사용하는 수학자들도 언젠가는 맞춤형 증명 자동화 도구를 작성해야 할 때가 올 것입니다. 이 책은 그분들을 위한 것이기도 합니다. 이러한 도구들이 정교해질수록 함수형 언어의 프로그램과 닮아가지만, 대부분의 현직 수학자들은 Python이나 Mathematica 같은 언어에 익숙합니다. 이 책은 그 간극을 메워줌으로써 더 많은 수학자가 유지보수 가능하고 이해하기 쉬운 증명 자동화 도구를 작성할 수 있도록 도울 것입니다.
이 책은 처음부터 끝까지 순서대로 읽도록 구성되었습니다. 개념은 하나씩 도입되며, 뒷부분은 앞부분의 내용을 숙지하고 있다고 가정합니다. 때로는 앞서 짧게 다루었던 주제를 나중에 더 깊이 있게 파고들기도 합니다. 책의 일부 섹션에는 연습 문제가 포함되어 있습니다. 해당 섹션의 이해를 공고히 하기 위해 풀어볼 가치가 있습니다. 또한 책을 읽으면서 배운 내용을 창의적이고 새로운 방식으로 활용하며 Lean을 직접 탐구해 보는 것도 유익합니다.
Lean 시작하기
Lean으로 작성된 프로그램을 작성하고 실행하기 전에, 먼저 컴퓨터에 Lean을 설치해야 합니다. Lean 도구 모음은 다음과 같이 구성됩니다:
elan은rustup이나ghcup과 유사하게 Lean 컴파일러 툴체인을 관리합니다.lake는cargo,make, 또는 Gradle과 유사하게 Lean 패키지와 그 의존성을 빌드합니다.lean은 개별 Lean 파일의 타입을 검사하고 컴파일하며, 현재 작성 중인 파일에 대한 정보를 프로그래머 도구에 제공합니다. 보통lean은 사용자가 직접 실행하기보다는 다른 도구에 의해 호출됩니다.- Visual Studio Code나 Emacs와 같은 에디터용 플러그인은
lean과 통신하여 관련 정보를 편리하게 보여줍니다.
Lean 설치에 관한 최신 지침은 Lean 매뉴얼을 참조하시기 바랍니다.
타이포그래피 관례
Lean에 입력으로 제공되는 코드 예제는 다음과 같은 형식으로 표시됩니다:
def add1 (n : Nat) : Nat := n + 1#eval add1 7위의 마지막 줄(#eval로 시작하는 줄)은 Lean에게 답을 계산하도록 지시하는 명령입니다.
Lean의 응답은 다음과 같은 형식으로 표시됩니다:
8Lean이 반환하는 오류 메시지는 다음과 같은 형식으로 표시됩니다:
Application type mismatch: The argument
"seven"
has type
String
but is expected to have type
Nat
in the application
add1 "seven"경고는 다음과 같은 형식으로 표시됩니다:
declaration uses 'sorry'유니코드
관용적인 Lean 코드는 ASCII에 포함되지 않는 다양한 유니코드 문자를 사용합니다.
예를 들어, 그리스 문자 α, β 및 화살표 →는 모두 이 책의 첫 번째 장에 등장합니다.
이를 통해 Lean 코드는 일반적인 수학적 표기법과 더 유사해질 수 있습니다.
기본 Lean 설정에서 Visual Studio Code와 Emacs 모두 백슬래시(\) 뒤에 이름을 입력하여 이러한 문자를 입력할 수 있습니다.
예를 들어, α를 입력하려면 \alpha를 입력합니다.
Visual Studio Code에서 문자를 입력하는 방법을 알아보려면 해당 문자 위에 마우스를 올려 툴팁을 확인하세요.
Emacs에서는 해당 문자 위에 커서를 두고 C-c C-k를 사용하세요.
저자 소개
David Thrane Christiansen 은 20년 동안 함수형 언어를 사용해 왔으며, 의존 타입을 사용한 지는 10년이 되었습니다. 그는 Daniel P. Friedman과 함께 의존 자료형 이론의 핵심 아이디어를 소개하는 The Little Typer 를 집필했습니다. 코펜하겐 IT 대학교에서 박사 학위를 받았으며, 재학 시절 Idris 언어의 첫 번째 버전에 주요 기여자로 참여했습니다. 학계를 떠난 후에는 미국 오리건주 포틀랜드의 Galois와 덴마크 코펜하겐의 Deon Digital에서 소프트웨어 개발자로 일했으며, Haskell Foundation의 상임 이사를 역임했습니다. 집필 당시 그는 Lean Focused Research Organization 에 소속되어 풀타임으로 Lean 프로젝트에 매진하고 있습니다.
감사의 글
이 무료 온라인 도서는 Microsoft Research의 아낌없는 지원 덕분에 집필 및 무료 배포가 가능했습니다. 집필 과정에서 그들은 Lean 개발팀의 전문 지식을 제공하여 제 질문에 답해주고 Lean을 더 사용하기 쉽게 만들어 주었습니다. 특히 Leonardo de Moura는 이 프로젝트를 시작하고 제가 첫발을 뗄 수 있게 도와주었으며, Chris Lovett은 CI 및 배포 자동화를 구축하고 테스트 독자로서 훌륭한 피드백을 주었습니다. Gabriel Ebner는 기술 검토를 맡았고, Sarah Smith는 행정적인 업무가 원활히 돌아가도록 힘써주었으며, Vanessa Rodriguez는 소스 코드 하이라이트 라이브러리와 특정 버전의 iOS용 Safari 간의 까다로운 상호작용 문제를 진단하는 데 도움을 주었습니다.
이 책을 쓰는 데는 평소 근무 시간 외에도 많은 시간이 소요되었습니다. 제 아내 Ellie Thrane Christiansen은 평소보다 더 많은 가사 분담을 도맡아 주었으며, 아내의 헌신이 없었다면 이 책은 존재할 수 없었을 것입니다. 매주 하루씩 추가로 일하는 것이 가족들에게 쉽지 않은 일이었음에도, 집필 기간 동안 인내심을 갖고 지지해 준 가족들에게 감사의 마음을 전합니다.
Lean을 둘러싼 온라인 커뮤니티는 기술적으로나 정서적으로 이 프로젝트에 열렬한 지지를 보내주었습니다. 특히 Sebastian Ullrich는 에러 메시지 텍스트를 CI에서 확인하고 책에 쉽게 포함할 수 있도록 지원 코드를 작성할 때, 제가 Lean의 메타프로그래밍 시스템을 익히는 데 핵심적인 도움을 주었습니다. 새로운 개정판을 게시한 지 불과 몇 시간 만에 열정적인 독자들이 오류를 찾아내고, 제안을 건네며, 따뜻한 격려를 보내주었습니다. 특히 문체와 기술적인 면에서 많은 제안을 주신 Arien Malec, Asta Halkjær From, Bulhwi Cha, Craig Stuntz, Daniel Fabian, Evgenia Karunus, eyelash, Floris van Doorn, František Silváši, Henrik Böving, Ian Young, Jeremy Salwen, Jireh Loreaux, Kevin Buzzard, Lars Ericson, Liu Yuxi, Mac Malone, Malcolm Langfield, Mario Carneiro, Newell Jensen, Patrick Massot, Paul Chisholm, Pietro Monticone, Tomas Puverle, Yaël Dillies, Zhiyuan Bao, 그리고 Zyad Hassan에게 감사의 인사를 전하고 싶습니다.
https://github.com/dodok8/gha-ts
저장소입니다! 오늘 작업한 내용은 퇴근 후에 반영할 예정이에요(사유: 회사에서 외부에 커밋 못함)
TS로 깃헙 액션 짜기(그런데 동적인 코드젠이 포함된 러스트 바아너리로 돌아가는)
-
zellij 를 MacOS + Ghostty 조합에서 사용할 때 한글 폴더명의 깨짐현상이 있다.
-
(초성만 노출되는 문제) https://github.com/zellij-org/zellij/issues/3148
-
Claude Code (Opus 4.6 Model) 의 도움을 받아 수정했고 로컬에서 빌드해서 쓰고 있다.
-
PR 도 보냈는데, 근본적인 해결책은 되지 못해, 커밋이 병합되지는 못했다.
-
그래서 결론 - 이 커밋은 나만 쓰게 되었다. 😂
지난 주말부터 열심히 토큰을 팍팍 태워 만든 TypeScript/Rust용 엑셀 라이브러리 SheetKit, 방금 0.4.0를 배포했습니다.
문서 퀄리티가 아직 좋다고는 말을 못해도 API 레퍼런스와 문서 웹도 생겼고, 단순한 값 읽기/쓰기를 넘어 복잡한 기능들도 많이 추가되었습니다. 이제 폭발적인 구현보다는 적당한 스피드로 문서의 완성도를 높이고 WebAssembly나 Bun/Deno/Python 등에 대한 바인딩 등을 고민해볼 계획입니다. 문서의 완성도도 좀 어느 정도 올라간다면 이리저리 SheetKit을 소개하는 정식 글도 한번 여기저기에 올려보려고 합니다.
이미 Node.js쪽 binding은 열심히 개밥먹기하고 있는 중인데, Rust나 Node.js 환경에서 엑셀 파일을 다룰 일이 있는 분들은 한번 써보시고 이슈나 피드백을 남겨주시면 너무 좋을 것 같습니다.
Node.js에서 SheetKit은 다른 라이브러리에 비해 거의 모든 벤치마크 테스트에서 성능 우위를 보였습니다. 웹 문서에는 SheetKit이 어떻게 메모리를 덜 사용하고 Node.js 바인딩에서 영역 전환 시의 오버헤드를 줄였는지도 정리되어 있습니다.
SheetKit은 처음으로 설계나 의사 결정 외에는 모든 구현을 코딩 에이전트에게 위임하면서 만들었습니다. 이 과정에서 코딩 에이전트로 어떻게 큰 작업을 효율적으로 하는지, 또 어떻게 코딩 에이전트와 함께 잘 작업할 수 있을지 등을 많이 배웠습니다.
이 경험에 대해서도 시간 여유가 될 때 정식으로 글로 적어보고자 합니다.
지난 주말부터 열심히 토큰을 팍팍 태워 만든 TypeScript/Rust용 엑셀 라이브러리 SheetKit, 방금 0.4.0를 배포했습니다.
문서 퀄리티가 아직 좋다고는 말을 못해도 API 레퍼런스와 문서 웹도 생겼고, 단순한 값 읽기/쓰기를 넘어 복잡한 기능들도 많이 추가되었습니다. 이제 폭발적인 구현보다는 적당한 스피드로 문서의 완성도를 높이고 WebAssembly나 Bun/Deno/Python 등에 대한 바인딩 등을 고민해볼 계획입니다. 문서의 완성도도 좀 어느 정도 올라간다면 이리저리 SheetKit을 소개하는 정식 글도 한번 여기저기에 올려보려고 합니다.
이미 Node.js쪽 binding은 열심히 개밥먹기하고 있는 중인데, Rust나 Node.js 환경에서 엑셀 파일을 다룰 일이 있는 분들은 한번 써보시고 이슈나 피드백을 남겨주시면 너무 좋을 것 같습니다.
Node.js에서 SheetKit은 다른 라이브러리에 비해 거의 모든 벤치마크 테스트에서 성능 우위를 보였습니다. 웹 문서에는 SheetKit이 어떻게 메모리를 덜 사용하고 Node.js 바인딩에서 영역 전환 시의 오버헤드를 줄였는지도 정리되어 있습니다.
연합우주 설계에서 도메인 네임 재사용이 배제되어 있는 건 아쉬운 일임. 브랜드에 관심 없는 개발자들답다면 다운데, 이게 생각보다 꽤 서비스 관점에서는 단점이 된다.
@pkgupdtpkg update 實은 도메인 네임 再使用이 可能하긴 합니다. 서비스 終了하기 前에 모든 어카운트에 對한 Delete 액티비티를 날리면 (이른바 self-destruct) 確實하게 可能하고, 그렇지 않더라도 時間이 좀 지나면 可能해야 합니다.
사이드프로젝트 욕심이 너무 많다...
🪟 "내 코파일럿 키를 어떻게 한 거냐!"
☘️ "코파일럿 키? 아아, 「이것」 말인가?"
🪟 "키사마아아아아아아----------!!!!!!!!!"
기존 ExcelJS를 쓰던 프로젝트에 SheetKit을 붙이다가 문득 궁금해져서 벤치마크 스크립트를 만들어보게 시켜보았다. 데이터 유효성 검사 설정을 많이 추가해둔 기존 템플릿 파일에서 SheetKit이 최대 10000배 이상 빠른 결과가 나왔다. 바퀴 재발명 야크 셰이빙이 뿌듯해지는 순간이다.
@nebuletoHaze 얼추 완성되면 영어로도 소개 글 써서 올리면 좋을 것 같아요.
코딩 에이전트를 풀로 활용해서 나보단 코딩 에이전트가 만들고 있는 TypeScript와 Rust를 위한 스프레드시트 라이브러리. 타입스크립트에서 xlsx 파일을 다루는 라이브러리들 쓰다가 너무 괴로워서 만들게 되었다. (GitHub Actions 배포 이슈는 내일 마저 잡는걸로…)
기존 ExcelJS를 쓰던 프로젝트에 SheetKit을 붙이다가 문득 궁금해져서 벤치마크 스크립트를 만들어보게 시켜보았다. 데이터 유효성 검사 설정을 많이 추가해둔 기존 템플릿 파일에서 SheetKit이 최대 10000배 이상 빠른 결과가 나왔다. 바퀴 재발명 야크 셰이빙이 뿌듯해지는 순간이다.
SKILL 문서하고 docker 환경만 잘 구성하면 Claude code를 인터렉티브 E2E 테스트 프레임워크로 만들 수 있지 않을까? 필요한 실행 스크립트하고 로그 분석 방법만 잘 쓰면 될 것 같음
에이전트가 Nix 개발셸 권한을 들고 있으니까 자연스럽게 sops -d로 내 secret를 복호화하고 키를 읽어가는구나 😇
코딩 에이전트를 풀로 활용해서 나보단 코딩 에이전트가 만들고 있는 TypeScript와 Rust를 위한 스프레드시트 라이브러리. 타입스크립트에서 xlsx 파일을 다루는 라이브러리들 쓰다가 너무 괴로워서 만들게 되었다. (GitHub Actions 배포 이슈는 내일 마저 잡는걸로…)
.NET IDE의 핵심은 벤더 락인에 묶여 있고, GUI 프레임워크는 Windows에 치중되어 있습니다. 저는 이 문제를 AI 코딩 에이전트의 힘을 빌어 풀어보기 위해 저와 같이 닷넷데브 운영진으로 활동하시는 송영재 님께서 만든 크로스플랫폼 UI 프레임워크 MewUI로 오픈소스 .NET IDE, LibraStudio를 만들기 시작했습니다.
그러나 난관은 AI가 이 프레임워크를 전혀 모른다는 것. 제가 만든 HandMirror MCP로 어셈블리를 직접 검사해 AI에게 정확한 API 정보를 제공하여, 첫 빌드만에 오류 단 3개로 빠르게 구현을 마칠 수 있었습니다. 그 과정을 정리하여 공유합니다.
👉 https://devwrite.ai/ko/posts/why-i-use-handmirror-mcp/
#DotNet #MCP #AIAgent #NuGet #OpenSource #GitHubCopilot #HandMirror #IDE #닷넷데브 #MewUI
mise WARN env value contains '$' which will be expanded in a future release. Set
env_shell_expand = trueto opt in orenv_shell_expand = falseto keep current behavior and suppress this warning.
켜고 싶다면 VAR = "foo$$bar" 처럼 고쳐야 됨. VAR = '''foo$bar''' 이런거 안 됨. 난 꺼버렸음.
클로드가 2주 동안 gcc 호환되는 컴파일러를 만들어서 다들 놀라고 있다.
한가지 고려해야할 부분은, 애초에 소프트웨어 공학 자체가 큰틀에서 설계를 잘하면(클로드는 이미 현존하는 가장 훌륭한 설계도 알고 있을 것이다) 나머지는 꾸역꾸역 코드를 짜서 제품을 완성할수 있게하는게 목표란거다. 그러니까 클로드가 C 파서를 짰다고 하면 2026년 지금은 아무도 안놀라겠지. 근데 소프트웨어 공학 지식은 C 파서를 짤수 있는 인간이 더 많은 시간을 투자하면 C 컴파일러도 짤수 있게 해준다.
그래서 모델의 성능이 좋아질수록 마치 RPG에서 레벨이 오르면 새로운 장비를 착용할수 있게 되어 급격히 강해지는것과 같은 일을 보게될거 같다. 하지만 이때 장비를 착용할수 있는 능력과 장비를 만들 수 있는 능력을 구분할 필요는 있다. 이제 후자가 AI 회사의 다음 목표인셈인데..
안드로이드는 슬슬 앱들이 portrait 방향을 강제하지 못하도록 해야 할듯
Daum (Kakao) 우편번호 서비스 도메인 & JS API 네임스페이스 변경 안내 (사전 공지)
https://github.com/daumPostcode/QnA/issues/1498
GeekNews에도 올리기는 했는데, 아무래도 국내 서비스에는 영향을 받는 곳이 많다보니, Hackers' Pub에도 공유해 둡니다.
- 공식 가이드 페이지
- 현재: https://postcode.map.daum.net/guide
- 2026-03-10 이후: postcode.map.kakao.com 으로 이전 예정
- CDN 도메인 변경 (적용 완료)
- 기존: t1.daumcdn.net
- 변경: t1.kakaocdn.net
- 서비스 도메인 변경 일정 (예정)
- 공식 가이드 / 서비스 팝업
- JavaScript API 네임스페이스 변경 안내
- 기존 new daum.Postcode({...
- 변경 new kakao.Postcode({...
- 서비스 종료 예정 도메인 안내 (중요)
- 2026년 4~5월 도메인 최종 전환 시점에 서비스가 종료될 예정
- 도메인 변경 사전 안내 및 네임스페이스 변경에 대한 안내
- 기존 도메인 종료에 대한 상세 일정은 3월 10일 전후 공지에서 다시 안내
- 서비스 중단 방지를 위해 사전 점검 및 점진적 전환을 권장
일을 대하는 태도가 많이 바뀔수밖에 없다. 예전 같으면 코드를 직접 작성하는게 시간적으로 해결못할 일이니 그냥 그대로 두거나 넘어갔다.
이제 개념적으로 이해할 수 있는 일이라면 코딩 자체는 문제가 아니니 문제와 해결법에 더 집중 가능한 형태가 된듯
ㅋㅋㅋ 예전 같으면 넘어갔을 아주 사소한 변경을 오픈 소스에 기여하고 거창한 말을 해보았음ㅋㅋㅋ
결론적으론 뿌듯하다
An agent now builds a 200.000 lines of code C compiler from scratch that can compile the Linux kernel. In two weeks. I think at this point it's hard to argue against the tremendous productivity gains that this technology has created for my industry.
이때 막 프라그마 써가면서 Either의 ToJSON 인스턴스를 원하는대로 구현하려고 애썼는데 알고 보니까 더 쉬운 다른 방법이 있었다. 다음과 같이 sumEncoding이라는 옵션을 이용하면 된다.
toJSON = genericToJSON defaultOptions
{ sumEncoding = UntaggedValue }전에는 이렇게 좋아하는 언어의 소소한 팁을 라이브러리 문서에서 찾았을 때 SNS에 공유하는 게 삶의 낙이었는데 요즘 같은 LLM 에이전트 딸깍 시대에는 이런 게 다 무슨 소용인가 싶어서 우울하다.
GitHub diff는 점점 뭔가 보기 불편해지는 것 같단 말이지
매뉴얼한 수정으로 쓸 토큰 좀 아껴서 codegen 같은 자동화 툴들 전부 구축하고 스킬 파일 추가하니까 전체 사용량이 예상에 비해 1/3로 줄어들었군
What do y'all think about this? I was inspired by stage0 and live-bootstrap. So I decided to take a crack at doing bare metal RISC-V code.
사람들 모아서 협동조합 만들어서 공동출자해서 맥 스튜디오 클러스터 산 다음에 조합원끼리 라우팅 하는 건 어떨까? 🤔 라는 생각을 했는데
한편 1960년대:
日本의 TypeScript 컨퍼런스인 TSKaigi 2026이 5月 22日(金)–23日(土)에 東京에서 開催된다고 합니다. 함께 가실 韓國 분 계실까요?
一旦 저랑 
@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 
님이 같이 가실 것 같습니다.
GraphQL 쓰는 회사란 실존하는가...
내 인생이 FOMO다
https://heros-trial.vercel.app/
Hero's Trial이란 이름의 단편 웹게임을 만들었어요
모 게임에 기반한 컨셉인데 아시는 분이 계신다면 즐거울 것 같아요
나... 나름.... 코스모슬라이드... 쓸만하게 만들려고는 하고 있어요....
얼마 전 Oh My OpenCode이 한창 바이럴 될 때 에이전트 사용법이 재밌다고 느끼면서도 저렇게 누군가 만들어 놓은 걸 그대로 가져다 쓰는 건 별 의미가 없고 스스로가 쓸 도구 모음을 구축하고 (그걸 운영할 수 있는 기술을 가지고) 싶다는 생각을 했는데 Pi가 어느 정도 그것에 대한 실마리를 제공해 주었다고 생각함. (Armin Ronacher가 쓴 Pi: The Minimal Agent Within OpenClaw를 보고 알게 됨.)
@hongminhee洪 民憙 (Hong Minhee) 흑흑 역시 지금이라도 사야할까요 (????
몇달 뒤 맥미니는 램값이 올라서 비싸진다 vs OpenClaw FOMO가 끝나서 중고로 엄청 풀려서 싸진다
어제 한번 세팅해봄
Nix + Agent(LLM) 쓰는 거 너무 좋다
그냥 느낌대로 대책없이 (수동 바이브) 리팩토링했는데, 에이전트한테 리팩토링 하기 전 커밋 ID 알려주고 리팩토링이므로 검증해달라고 하면 편집한 부분 설정값 nix eval로 촤라락 비교해주고, nix-diff도 해주고, dry-build해서도 확인해주니까 든든하다
Redesigned my personal website (https://ji.hyeok.org) using the design from my name card! The name card itself is designed by @hongminhee洪 民憙 (Hong Minhee).
The physical name card looks like this.
Redesigned my personal website (https://ji.hyeok.org) using the design from my name card! The name card itself is designed by @hongminhee洪 民憙 (Hong Minhee).
헉 제미나이 선생님 너무 아파요
