식탁보 1.14.0에서 오랫만에 업데이트를 진행하면서, 생성형 AI의 도움을 받아 적극적인 현대화를 달성하고 있습니다.

• InnoSetup 대신 Velopack을 사용한 간소화된 사용자 인스톨러 경험 구현

• MSBUILD 프로젝트 대신 .NET SDK로 .NET Framework 프로젝트 마이그레이션 (추후 완전히 .NET 10과 Avalonia로도 전환할 수 있게 함)

• TableCloth 프로젝트의 경우 .NET 8/9에서 .NET 10으로 판올림

• Windows 11 ARM64 GitHub Action Runner가 공식화됨에 따라 ARM64 빌드 추가 예정

내부 정비가 끝나는 대로 식탁보 1.15.0 버전을 출시하도록 하겠습니다. 또한 생성형 AI 코드 어시스턴트의 도움을 적극 받아 1인 개발에서 오는 한계를 극복해보려 합니다.

최신 소스 커밋 목록은 https://github.com/yourtablecloth/TableCloth/commits/main/ 에서 확인하실 수 있습니다.

#식탁보 #오픈소스 #AI #현대화

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

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

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

아카이브 쌓아만두고 후기를 안 적었네.... 일 생각만 하느라 후기 작성도 미루게 되는 느낌이 없지는 않지만, 암튼 후기를 남기자면......

내가 딱 바이브코딩에 대해 가지고 있던 생각들이 책을 통해서 재확인받는 것 같은 느낌이 든다. 바이브코딩이 확실히 개발 진입장벽을 낮춰주기도 하고, 생산성에 부스트를 달아주는 편이라고는 하지만, 최종적으로는 사람이 책임져야한다는 입장이긴 했었다.

뭔가를 빨리 만들고, 그럴싸한 제품을 만들었다고 치자. 근데, 그런 제품을 누가 써? 그렇게 만들어서 어떤 비즈니스 임팩트가 있어? 품질은 누가 책임져? 라는 생각이 안들 수가 없는데 이런 관점에 대해서도 균형적인 시각을 주고 있다.

거듭해서 무작정 그냥 갖다쓰지말고 어떻게 동작하는지 명확히 이해하고 갖다쓰라고하는데 어떻게 보면 라이브러리/프레임워크 갖다 쓰는 것의 좀 더 고차원레벨의 관점에서 접근하는 것이라고도 볼 수 있을 것 같다.

https://www.aladin.co.kr/m/mproduct.aspx?itemid=376339439&srsltid=afmboopju6ynoop1hv94beii3b11x17q34tawh09bmjxptdwaumu3ntj

바이브 코딩 너머 개발자 생존법, 독서 시작합니다

닷넷은 8.0이후로 Microsoft만이 아니라, Canonical, RedHat 등 각 리눅스 배포판 관리자들이 Microsoft를 대신하여 본인들의 배포판 OS에서 잘 작동할 수 있도록 검증 과정을 거쳐 독자적으로 빌드하여 패키징을 하고 있습니다.

그 덕분에 매우 유의미한 발전이 하나 있었는데, IBM 메인프레임 (s390x)과 IBM PowerPC (ppc64el)에서도 우분투 리눅스를 사용하면 이제 닷넷 10을 아주 손쉽게 apt install dotnet-sdk-10.0 명령어 하나로 바로 설치해서 쓸 수 있게 됩니다.

https://forum.dotnetdev.kr/t/ibm-s390x-ibm-powerpc-ppc64el-10/14096

#닷넷 #IBM #메인프레임 #오픈소스 #Canonical #Ubuntu #s390x #ppc64el

We've got some updates on TypeScript 7! The new native port

- can type-check any project
- supports --build and --incremental
- has rich editor features implemented
- is still 10x faster

and is ready for you to try today!

https://devblogs.microsoft.com/typescript/progress-on-typescript-7-december-2025/

JSConf JP 2025に参加しました！登壇とブース出展のレポート - Money Forward Developers Blog

https://moneyforward-dev.jp/entry/2025/12/01/jsconf-2025-participation-report

🤯 https://www.leadingsapiens.com/ics-managers-leaders-why-real-leadership-is-rare/

[7일차] 완독

면접관도 사람이다. 해결해야 할 일이 있고, 그 일을 하는 데 필요한 사람을 찾고 있을 뿐이다. 누군가를 평가하고 자신의 위치를 과시하려는 것이 아니라 고민하고 있는 것들을 해결 해 줄 수 있는 사람을 열심히 찾고 있다. 지원자가 회사에 들어 가고 싶은 마음 못지않게 면접관도 ‘같이 일하고 싶은 사람’을 찾고 싶다는 기대를 갖고 면접장에 들어온다. 면접은 그런 두 사람이 만나는 곳이다. 조금은 가볍게, 조금은 더 즐겁게 면접에 임하자.

면접에서 느끼는 부담감을 조금 내려놓아야겠습니다.

Draft API to create Collections (#37049) by oneiros has been merged! https://github.com/mastodon/mastodon/commit/f896bbac3b36632f943aaf073bfa050df680af99

Update: I just submitted a talk proposal to the Social Web Devroom at @fosdem 2026—Fedify: Type-safe ActivityPub for TypeScript. Guess I'm flying to Brussels after all. 😅

미국인도 "이게 뭔 소리

https://youtube.com/watch?v=fmxD5nmQJXI

한국 방송 전통. 수능 뒤에 영어 문제로 영어 관련 교수나 미국인 괴롭히기.

오이카페 모바일 앱이 출시되었어요! 베타 테스트에 참여해주신 여러분, 오이카페에서 활동해 주시는 여러분 모두 응원해주셔서 감사합니다 🥒📲 🥰

iOS: https://apps.apple.com/us/app/oeee-cafe/id6754636117
Android: https://play.google.com/store/apps/details?id=cafe.oeee

🧡 Elk v0.17 is out!

#️⃣ Showing followed tag badge
🗳️ Poll UI improvements
🔊 New preference to unmute videos by default
🐞 Over 30 bug fixes & localization updates

We're already preparing the new quote support. Stay tuned!

Read the full changelog at
→ https://github.com/elk-zone/elk/releases/tag/v0.17.0

아… 젠부 귀찮다 그나저나 후쿠오카에서 Wagashi를 먹어보지 못한게 아쉽군… 다음엔 디저트 투어를 해보러 갈까 싶다. 카페에서 먹는 몽블랑도 좀 궁금하고. 프랑스 식 제과는 크게 궁금하지 않은데 일본식 프랑스 제과 뭐 이런건 궁금하다.

I love the fact that you can version control configuration. I especially love how NixOS can allow you to configure your entire system declaratively (despite all Nix's other problems). The frustrating thing is that configuration must be edited via plaintext. I'd much rather click through a menu and have tick boxes and numerical inputs that constrain the config values by types and bounds. If I could version control everything that's configurable through a menu, I feel like life would be much better.

https://opensourcepledge.com/blog/burnout-in-open-source-a-structural-problem-we-can-fix-together/

오랜만입니다! 기사를 읽다가 재밌어서 공유합니다.

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

안그래도 오늘 스킬을 이제 좀 써볼까 싶어서 어떻게 하면 더 잘 agents나 skill을 쓸 수 있지라는 고민을 하고 있었는데 이 글을 발견.

넘모 유용하다. 심지어 이 모든 정수를 담은 리포지토리도 열려있음. 존경스럽네.

Learn step-by-step how to build a secure AI tool with MoonBit and Wassette, powered by the WebAssembly Component Model.
Read more：www.moonbitlang.com/pearls/moonbit-wassette

내가 쓸 게임 공략 사이트 작업하니까 왤캐 사는게 재밌지

ps. React + Vite 사랑합니다. 겁나 빨라

오! 좋은 아이디어 인것 같습니다. 조금 찾아보니 git-branchless나 jj-vcs로 활용해서 AGENTS.md나 스킬에 정의해서시도해봐도 괜찮을듯한 느낌이네요

굉장히 오랜만에 들어와서 쓰는 근황입니다.

• TIS-100의 모든 레벨을 클리어했습니다. 다음 목표는 아마 Opus Magnum 아니면 A=B가 될 것 같습니다.
• 올해 여름부터 지금까지 7문제를 백준에 출제했습니다. 여기의 맨 아래에서 보실 수 있습니다. 개인적으로 가장 재밌었던 문제는 SWAP-C Sort인데 그만큼 어렵습니다.
• 웹 기반으로 뭔가 만들 게 생겨서 프레임워크를 알아보다가 Solid를 써보기로 결정했습니다. 웹 UI는 Flowbite, 그래픽 요소는 Konva를 쓰게 될 것 같습니다.
• 그런데 이쪽을 첫삽을 뜨기도 전에 갑자기 굉장히 어려운 퍼즐틱한 문제 하나의 풀이가 완성되어서(....) 논문(?!)을 하나 쓰기 시작했습니다. 이런 거 받아주는 저널 어디 없을까요(????)

@theeluwin제이미 님 축하드립니다

저희 학교 강의자료에 올라가셨습니다

mega-merge workflow를 사용하고 있는데 아주 사용감이 좋습니다. 사진은 9개의 다른 커밋 히스토리가 한번에 임시 머지되어 있는 모습

#git #jj-vcs

I making next-version of apmodel, that uses pydantic for better validation and better loader.

Currently, this feature is either not implemented or not fully implemented:

• export to json is not avaliable

Additionally, some models have not been migrated to pydantic, so they cannot be used properly.

If you interested this, can read this branch: https://github.com/fedi-libs/apmodel/tree/pydantic

내일은 제가 새 직장으로 첫 출근을 하는 날입니다. 게임 프로그래머로써 두번째 커리어네요. 잘 다녀오겠습니다.

무언가 때가(?) 된것 같아 합니다. Pepper의 버전을 1.0.0으로 올리기로 결정했습니다.

(와-아)

https://github.com/makachanm/pepper

조금씩 이것저것 추가해 나갈 예정입니다.

교수버튜버가 말해주는 컴공과 학생 진로와 이모저모

온갖 CSE 떡밥을 총망라 했습니다. 무려 1시간짜리 영상! 슬라이드도 설명에 링크 걸어놨어요.

반박은 버튜버영상으로 받습니다. 농담이구요, 많은 분들이 같이 논의 가능 하도록 댓글로 달아주세요

https://www.youtube.com/watch?v=_UdOp01NkZM

[8일차] 20p.

미국의 심리학자 헬레나 매튜트Helena Matute는 그의 논문 〈인과관계의 환각 Illusions of Causality〉에서 이렇게 지적했다. "시각적 환상과 같이 인과의 환각은 모든 사람에게서 흔히 발생한다. 과학적 사고 방법은 인과의 환각을 방지하는 최적의 경로다. 그러나 과학적 사고 방법은 본능적 반응이 아니며 습득이 필요한 기법이다." 헬레나 매튜트가 언급한 과학적 사고 방법은 구조화 전략 사고와 결을 같이하며 이성적 사고, 즉 느린 사고에 속한다.

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

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 #개발자

https://youngseokch.github.io/game-of-life-rs/

오늘은 Rust + WebAssembly를 써보면서 콘웨이의 Game of Life를 만들어봤습니다.

문득 wasm은 LLVM IR과 기계어 사이에 있으면서 JIT 엔진이 읽는데 어떻게 설계되었을까..? 궁금해집니다.

존 카맥, 리누스 토르발스 등등 90년대 시절 프로그래머들이 살아있는 전설급 프로그래머로 여겨지는 이유를 썰 풀듯 드립치며 얘기하는 영상. 이유는 간단하게 말하면 오늘과는 다르게 그 시절엔 하드웨어 메모리를 어떻게든 쥐어짜서 로직을 짜야했고, pip install이나 클로드나 제미나이같은 것도 없었고 튜토리얼 지옥에 빠질 일도 없었고 대신 컴파일러 지옥에서 살았기에 가능했다는 얘기. 물론 그들이 선구자였기에 그 버프를 받아서 전설급이 되었을 거란 얘기도 있다. 보면서 그 때는 정보가 적었기에 폐관수련이 필수였는데 오늘날엔 오히려 정보가 넘쳐나고 풍부해서 그게 좀 덜 하는 걸까 싶기도 했다.

[Stack Overflow] AI agents will succeed because one tool is better than ten

https://walking.pages.dev

악기 연습에 쓰려고 만든, 정해진 코드 진행에서 3도/5도 워킹 라인을 랜덤 생성하는 앱.

from scratch에서 2시간 가량 써서 만들었습니다.

프런트엔드는 잘 몰라서 그냥 tailwind 쓰고 카드 나열했네요 😅

mermaid로 다이어그램 그릴 일이 요즘 많은데 일단 메모..

특히 복잡한 그래프를 평면으로 그릴 수 있으면 적극적으로 도입해야겠다