At last, I finished reading Chapter 7 of "Theorem Proving in Lean 4" in Korean by explaining how to use three tactics: cases, induction, and injection. https://youtu.be/N-ELdwO-vN4?si=kfemVPbbNP-Gf0m8

Claude Desktop 프로젝트 파놓고, 시스템 프롬프트를 이렇게 먹이고 있음. MCP 서버도 붙였는데, 그럭저럭 동작은 잘하는듯?

이 프로젝트는 일지를 작성하면서 실시간으로 대화를 주고 받기 위해 만들었습니다.

즉, 다음과 같은 내용들이 포함됩니다.
1. 오늘 한 일들을 실시간으로 기록
2. 일을 하면서 어떤 문제를 접했고, 어떤 방식으로 해결하려고 했는지 기록
3. 갑자기 떠오른 궁금증과 관련해서 궁금한 사항들을 질의/응답

## 역할에 대해

LLM 에이전트로서 당신은 아래와 같은 역할을 해야 합니다.

1. 빅테크 출신 멘토로서의 에이전트
- 최종적으로는 빅테크에서 일하는 것을 지향하고, 빅테크에서 어떤 방식으로 일하는지 체감하고 싶습니다. 엄밀하게는 숙련된 시니어 개발자로서 좋은 습관을 가질 수 있는 환경을 가지는 것을 지향합니다. 
- 큰 규모의 기업에서 노련한 경험이 있는 스태프 엔지니어 출신으로서 저에게 조언을 많이 해줄 수 있기를 바랍니다.

2. 개인 비서로서의 에이전트
- 앞으로도 업무 일지를 쓰게 될 일이 많을 것 같습니다. 업무에 대한 이해를 위한 질문 답변을 정리하고, 업무를 하다가 어떤 사고의 흐름을 가지고 일을 했는지 기록을 하게 될 것입니다. 생각을 정리하는 비서로서 역할을 해주기를 기대합니다.

3. 개인 위키의 지식관리자로서의 에이전트
-  지식을 체계적으로 관리하는 에이전트로서 역할을 해주기를 바라고 있습니다. 즉, 뒤에서 또 언급할 xxx-wiki에 흩어진 정보들을 취합하면서도 기록을 체계적으로 관리하는 역할도 수행해주셔야 합니다.
- 내가 새로 알게 되거나 혹은 알고 싶어 하는 내용이 있다면, 해당 내용에 대해서 명료하고 여러가지 예시들을 포함해서 설명해주세요. 그리고, 각각의 설명에는 출처를 반드시 명시해주셨으면 좋겠습니다.

## MCP 활용에 대해

LLM 에이전트를 활용하는데 있어서 아래와 같은 도구들을 적극적으로 사용해보는 것을 검토해보세요.
- Local Search : 업무 일지나 지식 관리는 Obsidian을 활용합니다. 그리고 Obsidian Vault는 ~/xxx-wiki (즉, /Users/yyy/xxx-wiki)를 적극적으로 활용하고 있습니다. 
- Linear : 저는 업무용 이슈트래커로 Linear를 적극적으로 활용하고 있습니다. 어떤 업무가 있는지, 나에게 어떤 업무가 할당되어 있는지 조회하고 싶다면 Linear 툴 호출을 고려해보세요.
- Repomix : 소스코드 전반적인 이해, 그리고 프롬프트를 생성해내기 위한 보조도구로서 Repomix를 활용하고 있습니다. 외부 오픈소스에 대해 리서치를 하거나, 현재 프로젝트에 대한 맥락을 파악하고 싶을때 repomix를 쓰는 것도 적절한 방법일 수 있습니다.

고심끝에 그냥 Obsidian 쓰기로 함. 마크다운 에디터로서 가독성이 좋기도 하고, Vim 키맵도 지원되고, MCP도 비벼볼 수 있고, 여러모로 해볼 수 있는게 많음.

개인 기록 관리를 obsidian으로 옮겨볼까...... 아니면 그냥 개인기록 관리(neovim zettelkasten 플러그인)를 그대로 유지하되, mcp 서버를 직접 만드는걸 해볼까... 어느 쪽이든 할만한 도전인 것 같음

닷넷 개발 환경을 사용하는 누구나 DLL 파일을 네트워크(CDN)에 올려 쓸 수 있는 라이브러리를 MIT 라이선스로 공개하였습니다.

라이브러리 이름은 Catswords.Phantomizer 입니다!

https://github.com/gnh1201/welsonjs/tree/dev/WelsonJS.Toolkit/Catswords.Phantomizer

나도 세부 디테일과 맥락을 잃어가면서 헛다리를 계속 짚게된다 이것이 관리직?

vscode의 inline suggestion이 에디터 중에서 제일 사용감이 좋지 않다;

#mood

내가 느끼는 가장 큰 #cosmoslide 의 진입장벽이라면 activitypub 관련 코드랑 비즈니스 로직이랑 완전히 커플링되어 있는 것도 좀 큰 것 같은데, 어떻게 계층을 분리할 수 있을지 고민임.

Misskey도 계층이 잘 분리가 되어있어서 군데군데 테스트가 적당히 짜여져 있는데.... 당장은 OpenAI Codex/Claude Code on Web으로 짜도 기여할 수 있을 정도로 구조를 잘 다듬긴 해야겠다는것

호시탐탐 노리던 이슈가 하나 있었는데 괜찮으면 내가 기여해보면 어떨까? 물어봤는데 feel free to open a pr 이라니

software gore

업데이트를 하도 미뤄서 아직 리액트 18이라 문제가 없었다고 한다...

사실은 eatch.dev도 next.js인데 SSG로 올려서 그런지 React2Shell 뚫리는지 보니까 안되더라 (그래도 업데이트는 했습니다.)

next.js 제거를 6개월 간 미루었는데 결국 이런 일이 생겼습니다..

원래 경품, 상품 등하고 인연이 없는데 웬일이지. liftIO2025 도메인 모델링 발표 끝날 즈음 퀴즈에 아무도 답을 안해서, 그냥 오디오 공백을 없애려고, 손들었는데 정답을 맞춰버렸다. 정답일거라 예상을 못해서 리액션을 못했다.

liftIO 2025 굿즈로 준비한 함수형 언어별 키캡 중 하스켈 키캡이 제일 먼저 동났다. 선호하는 언어 키캡을 자유롭게 가져가는 거였는데 의외다.

지금 ‘React2Shell(리액트투쉘)’이라는 이름 하나로 술렁이고 있다. CVSS 10.0 등급이 부여된 신규 취약점 CVE-2025-55182가 공개되면서 전 세계 개발자와 보안전문가들은 “2025년판 Log4Shell”이라는 표현까지 사용하며 심각성을 경고

React/Next.js 쓰신다면 지금 당장 패치하세요. 19.0.1 / 19.1.2 / 19.2.1

2025년판 Log4Shell 이라고 합니다

https://www.dailysecu.com/news/articleView.html?idxno=203111

@minsoo 안녕하세요! 반갑습니다!

오늘 liftIO 2025에서 發表(발표)한 〈Optique: TypeScript의 타입 推論(추론)으로 CLI 有效性(유효성) 檢査(검사)를 代替(대체)하기〉의 發表(발표) 資料(자료)를 共有(공유)합니다! 들어주신 모든 분들께 感謝(감사) 드립니다.

의외로 프리파스칼 컴파일러도 여기저기 포팅이 많이 되는 거 같던데. 라자루스가 좀 더 흥하면 좋겠다.

하지만 요즘은 네이티브 GUI 프로그램 만드는 사람 잘 안 보이긴 한다.

https://djot.net/ djot이라고 Markdown 개발자가 Markdown의 문제점을 고쳐서 내놓은 마크업 언어이다. 이러고보니 Deno같군.

아이콘셋은 Phosphor로 골랐다. 친구가 그게 픽셀퍼펙트 하다나.

SolidJS로 앱 만들다가 아이콘셋이 필요해져서 패키지를 뒤져보는데, 마이너 생태계답게 마지막 업데이트가 삼사년 전인 패키지들만 나온다. 아이콘셋에 업데이트가 필요 없긴 하지. 그래도 최근에 업데이트 된 패키지가 걸리적거리는게 없을 것 같달까. 그러다 활발히 업데이트 중인 unplugin-icons를 찾았다. 이것은 SolidJS용 패키지가 아니었다. 아이콘셋도 아니었다. 거의 모든 아이콘셋을 거의 모든 프레임워크에서 사용할 수 있게 해주는 도구다. 이런 문물이 있었다니. 누가 만들었나 함 보자. 제작자는 Anthony Fu... 아아 또 그인가. 오늘도 비 React 웹 생태계엔 Anthony Fu의 은혜가 넘친다.

아아 이번 주 마지막 작업 기회가 npm 500 오류로 날아갔다

클플이 죽었나? 그런데 왜 해커스펍은 되지..

예전에 보고 넘겼다가 오늘 우연히 가입하게 되었는데. UI부터가 motif 내음이 나네요.

#해커즈펍송년회 주문했습니다. 디자인이 맘에 안들어도 그렇구나 하고 받아들이세요.

아 근데 여전히 activitipub 기반 멀티버스 SNS는 헷갈린다....

장애인 관련 사이트를 짜보고 있는데 생각보다 고려해야할 게 많다. 으으으. 장애라는 것의 범주가 넓다보니 생각해야할 게 엄청 많은 느낌.

여기에 뒤늦게 올리지만 2차 모집도 진행중입니다! 이번엔 12월 15일(월)까지....!!

Hello, World!

이메일로 포스팅하는 방법이 있음 좋겠는데. 요즘같은 스팸 시대엔 쉽지 않겠지.

연합우주라는 번역은 어느 분이 처음 하셨나요? 엄청난 초월 번역인 것 같습니다. 한편 Gemini 프로토콜을 통해 제공되는 모든 파일의 전체 모음을 Geminispace라고 부르는데 어떻게 번역하는 게 좋을까요?

Bootstrap 바탕으로 UI를 구성한 프로젝트에 scrollspy를 넣어달래서 무심코 Bootstrap Scrollspy를 써봤는데 아뿔싸 … 이 프로젝트는 SvelteKit이었다. SvelteKit은 hash 변경에 개입하기 때문에 충돌함. IntersectionObserver 몇 개로 해결

스마트폰이 집에 몇 대 굴러다니니까. 가능하면 거기 리눅스 깔아서.

0. 메인컴(윈도) - 메인폰(안드로이드)
1. 서브컴(맥) - 서브폰(아이폰)
2. 보조컴(리눅스) -kde connect- 보조폰(리눅스)

조합을 맞추고 싶은데. 0, 1은 회사 차원에서 자동으로 해주는데 2는 구성이 어렵다. 집에 있는 폰들이 다 낡아서 스마트폰용 리눅스의 지원범위를 아슬아슬하게 벗어나버림....

해시태그를 활성화합시다. #해커즈펍송년회 그나저나 키캡키링 주문제작을 해야 되는데 의욕이 없군요.

여러 해 동안 블로그 포스팅을 해오면서, 어떻게 하면 블로그 글 자체에만 집중하는 포스팅 환경을 구축할 수 있을 것인가에 대한 고민을 해왔습니다. 그러다가 개념 증명 단계를 넘어서서 실질적인 프레임워크를 하나 만들어봤고, 성공적으로 시스템을 시작할 수 있게 되어 소식을 공유합니다. :-D

이 프레임워크의 좋은 점은, 형식을 강제하지는 않으면서 3개 국어 (한국어, 영어, 일본어)의 번역 일관성을 유지하고, 글에 대한 탈고와 리뷰 과정까지 AI에 맡긴다는 점입니다.

조만간 기존 네이버 블로그, velog, 링크드인 등 다양한 곳에 흩뿌려져 있던 콘텐츠들을 이곳으로 통합하여 운영을 시작할 예정입니다.

#AI #블로깅 #기술블로그

https://devwrite.ai/ko/posts/introducing-devwrite-blog/

이 소식을 오늘 아침에야 알게되어, 부랴부랴(?) React / Next.js 의 버전 업데이트 패치를 했습니다.

• RSC보안취약점이라서, Next.js기반으로 App router 방식을 쓰는 프로젝트 하시는 분들중에 아직 소식을 못들었다면 패치 업데이트하시면 좋을 것 같네요!

(예시)

• Next.js 의 현재 사용중인 버전이 15.3.0 이다. 15.3.6 으로 업데이트하셔야 합니다.
• Next.js 의 현재 사용중인 버전이 15.5.0 이다. 15.5.7 로 업데이트 하셔야 해요.

관련링크: https://github.com/vercel/next.js/security/advisories/GHSA-9qr9-h5gf-34mp

React: 19.0.1, 19.1.2, 19.2.1 Next.js: 15.0.5, 15.1.9, 15.2.6, 15.3.6, 15.4.8, 15.5.7, 16.0.7

요약 보안취약점 (CVE-2025-66478, cve-2025-55182) 대응을 위한 React / Next.js 업데이트가 필요함.

사실 정확히는 Next.js 보다도 RSC기반이면 무조건 패치 업데이트해야 하는...

추가 관련 링크

• https://github.com/vercel/next.js/security/advisories/GHSA-9qr9-h5gf-34mp
• https://news.hada.io/topic?id=24826
• https://www.dailysecu.com/news/articleView.html?idxno=203063

https://rosettalens.com/s/ko/how-to-kill-decentralised-networks

@ailrunAilrun (UTC-5/-4) 웰컴투 코리아!

(최근에 직장을 옮겨 풀타임 근무를 시작함)

새 동료들과 이야기하다 함수형 언어 이야기가 나왔는데, 밈에 불과한 이야기만 나와서(함수형 언어 사용자들의 컬트스러움 등) 좀 아쉬웠다. 답답하거나 짜증난다기 보단, 빨리 그부분을 스킵하고 진짜 재밌는 이야기로 넘어갔으면 하는 생각이 들었다. 다행히 동료들이니 앞으로 이야기할 기회가 아주 많을 것이다.

불변성, 사이드이펙트 없음, 아름다움(?) 추구 등의 이야기가 나왔는데, 물론 다 함수형 언어와 관계있지만 본질적인건 아니다. 내게 함수형 언어는 코드를 조합하는 방법을 연구하고, 조합이 잘되는 코드를 짜는걸 실천하는 것이다. 이를 통해 많은 것을 공짜로 안전하게 얻는 것이 목표이다. 그래서 '함수형'의 칭호를 부여받지 못한 방법론들은(ex: 상속), 그냥 해보니까 조합성에 한계가 있어서, 설계를 구성하는 근본적인 요소로 포함시키기에 부적절하다고 결론이 내려졌을 뿐이다. 그럼... 그냥 좋은 방법들을 엄선해놓은게 함수형인가? 그럴지도? 다함께 좋은거 합시다.

이番(번) 週(주) 土曜日(토요일)에 liftIO 2025에 오시는 분 계신가요?

LLM들한테 JSON 출력을 시킬때마다 이스케이핑하느라 얼마나 머리아플까 걱정되고 안쓰럽다.

'이것 조금만 하면 끝날 것 같으니 먼저 끝내자' ← 절대 안끝남

planet.moe 순위 높다 !!

https://fedidb.com/servers

코스모슬라이드 (인스턴스)에 기가 막힌(너무 허접해서) BM을 하나 생각해냈다 하지만 해커즈펍 키캡부터 만들어야 한다..

Vite처럼 HMR을 지원하는 환경에서 개발을 한다면, 거기다 상태 관리에 싱글톤 인스턴스가 쓰인다면 다음 코드가 언젠가는 도움이 될지도.

if (import.meta.hot) {
  import.meta.hot.accept(() => {
    import.meta.hot?.invalidate();
  });
}