AI 에디터 커서 Cursor 완벽 가이드 (키노시타 유이치로 (지은이), 김모세 (옮긴이) / 영진.com(영진닷컴) / 2025-07-07 / 22,000원) https://feed.kodingwarrior.dev/r/xTdIug

https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=367003500&partner=openAPI&start=api

(트위터에 버릇처럼 글을 썼다가 여기 계정이 있다는 것을 생각하고.. 다음부턴 개발 관련 끄적임은 좀 의식적으로 여기에 써보기로..)

https://gpui.rs 는 zed 의 UI framework 인데, 이거 기반으로 desktop ui 프로젝트 시도도 있는듯. https://github.com/longbridge/gpui-component https://longbridge.com/desktop/ zed 가 지금은 한글 입출력이 좋은 것 처럼, iced, egui 에 비해 한글 입출력도 좋을거라 생각. 그나저나 longbridge 는 홍콩 회사인 것 같은데 gpui 를 굳이 저정도로(?) 썼다. 물론 이런 작업 굳이 한 쪽으로는 iced 개발자가 있는 cryptowatch 도 있긴 하다 (kraken 에 인수인데 desktop app 이 rust + iced)

egui 의 경우 사실 https://github.com/topki0325/egui-chinese-font/blob/ce80cb38b4d12e2542a6be2ddbaf5ca213e88a31/src/lib.rs#L126 폰트 문제에 가까운 것 같긴 함 (저 경로에 대해 걍 산돌고딕 폰트 경로 잡아주면 한글 출력도 되고 입력도 됨)

A Newbie's First Contribution to (Rust for) Linux https://lobste.rs/s/7d4on3 #linux #rust
https://blog.buenzli.dev/rust-for-linux-first-contrib/

#GitHubCopilot #바이브코딩 워크샵

https://www.youtube.com/playlist?list=PLDZRZwFT9WksXxU5uQOO3vIbYHnp1e-SC

제품요구사항문서(PRD)에서 백엔드, 프론트엔드 앱을 만들고 이를 컨테이너로 배포하는 모든 과정을 GitHub Copilot의 에이전트 모드와 MCP 서버를 이용해서 진행해 봤습니다.

총 6개의 에피소드로 이뤄졌으니 꼭 보세요!
#GitHub Copilot

Hackers Pub은 개발자를 위한 블로깅 플랫폼이면서 SNS기능이 탑재된 흥미로운 서비스이지만, ActivityPub 프로토콜을 지원하여 Mastodon/Misskey/Thread 등의 SNS를 구독할 수 있는 연합우주 소프트웨어이기도 합니다.

연합우주 소프트웨어가 정확히 어떤 것인지 간단하게나마 파악할 수 있게 슬라이드로 정리해봤습니다. (해커스펍에 오지 않은 분들에게만 미공개)

기술적으로 어떤 물건인지 궁금하시다면 @hongminhee洪 民憙 (Hong Minhee) 님이 쓰신 글도 한번 읽어보시는 것도 좋습니다.

막상 들어왔는데 어떤 계정을 팔로할지 모르겠다구요? 이 글도 참고할만할지도 모르겠네요.

해커스펍 온보딩 시각화자료도 준비해볼까 생각중이긴 한데, 뭐 암튼 적응에 도움되기를 바랍니다.

QEMU - "AI 코드 생성기 사용 금지" 정책 정의
------------------------------
- QEMU 커뮤니티가 최근 정책을 수정. *AI 코드 생성기(예: Copilot, ChatGPT 등)의 사용 및 해당 도구를 통한 코드 제출이 금지* 됨
# define policy forbidding use of AI code generators
- 최근 *AI 코드 생성기* 사용에 대한 관심이 급증하고 있으나, 하지만 해당 도구의 * 출력물에 대한 라이선스 해석*이…
------------------------------
https://news.hada.io/topic?id=21665&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

새롭게 다시 태어난, 또 만들어버린 boilerplate. 이제는 진짜 monolithic 하고 Pocket Galaxy라는 이름에 걸맞는 boilerplate입니다.

Django + Vue(Vuetify) 조합이구요, nginx가 이것저것을 다 처리합니다.

백엔드는 /api에서 서빙하고, 기타 기본적인 static 캐싱이나 로깅 등 전부 기초적인건 제공합니다.

간단한 웹사이트 하나 만들겠다는게 어쩌다 여기까지 왔는지.... 암튼 이제는 진짜 최소한의 웹사이트 만들때 뚝딱 하면 만들수 있을것 같습니다 제발...

내부용 툴 만들때 애용해보세요.

https://github.com/theeluwin/pocket-galaxy

오픈소스 프로젝트에 여러분의 gemini cli(등등)의 무료 사용량을 기여하세요

오픈소스 소프트웨어라는 소프트웨어 개발 방법은 그동안 대성공을 거두어 오고 있습니다. 여기에는 여러 요인이 있지만, 중요한 요인 중 하나는 이것입니다. 상업 소프트웨어든 오픈소스 소프트웨어든 공평하게 프로그래머의 시간을 들인 만큼 개발된다는 것이지요. 능력 있는 소프트웨어 개발자가 시간을 기여하면 오픈소스 소프트웨어는 상업 소프트웨어만큼이나 빠르게 성장할 수 있었습니다.

하지만 AI 프로그래밍의 시대가 빠르게 다가오고 있습니다. 앞으로 소프트웨어 개발은 프로그래머의 시간만으로 개발되지 않습니다. 상업소프트웨어는 AI 프로그래밍을 적극적으로 사용하여 이전과 다른 생산성으로 개발되기 시작할 것입니다. 상업 소프트웨어와 달리 오픈소스 소프트웨어는 언제나 그럴 수는 없습니다. 프로젝트의 성장과 유지를 위해 훌륭한 프로그래머들의 시간을 들이는 것을 넘어서, 훌륭한 프로그래머들이 시간에 더해 비용까지 들여야 한다면요.

상업 소프트웨어와 오픈소스 소프트웨어 사이의 불균등한 생산성의 시대가 코앞까지 다가오고 있습니다.

새로운 기여자 확보의 문제

문제는 여기서 그치지 않습니다. 오픈소스 프로젝트는 새 기여자를 얻기 더 힘들어져가고 있습니다. 왜냐하면 이제 'good first issue'라는 것은 의미가 없기 때문입니다. 그 정도로 쉬운 일은 새로운 기여자 대신 로봇이 해결할 가능성이 높고, 그 로봇은 새로운 기여자의 로봇일 수도 있습니다. 결국 AI 프로그래밍으로 기여하는 새 기여자는 이 프로젝트에 대해 거의 배우지 못하게 됩니다.

전통적인 오픈소스 생태계에서 'good first issue'는 단순히 쉬운 문제를 해결하는 것이 아니었습니다. 새로운 기여자가 프로젝트의 코드베이스를 이해하고, 개발 프로세스를 익히며, 커뮤니티와 소통하는 법을 배우는 학습 과정이었습니다. 하지만 AI가 이런 단순한 작업들을 대신 처리하게 되면, 새로운 기여자들은 진입 기회를 잃게 됩니다.

AI 프로그래밍의 현재 위치

AI 프로그래밍은 완벽하지 않습니다. 숙련된 전문가가 숙련된 도메인에서 작업하는 것만큼 잘하지는 못합니다. 하지만 비숙련된 프로그래머가 처음 보는 프로젝트에서 작업하는 것보다는 잘할 때가 많습니다.

그러나 많은 오픈소스 소프트웨어는 바로 이런 비숙련 기여가 성장의 한 축을 차지합니다. 처음 프로젝트에 참여하는 개발자들의 작은 기여들이 모여 거대한 프로젝트가 됩니다. 그리고 이런 비숙련 기여의 일부는 손쉽게 AI가 대체할 수 있는 기여입니다.

다행히도 지금은 AI 프로그래밍의 초창기입니다. Gemini CLI가 무료 사용량을 제공하듯이, 앞으로 여러 회사들이 비슷한 기회를 제공할 것입니다. Claude, ChatGPT, Copilot 등 다양한 AI 도구들이 개인 사용자에게 무료 크레딧을 제공하고 있습니다.

이것은 오픈소스 프로젝트에 기여할 새로운 기회로 삼을 수 있을까요?

주의: 이 글은 아무 프로젝트에나 방문해서 AI로 적당한 코드를 생성한 다음 패치를 보내라는 뜻이 아닙니다.

AI 프로그래밍은 (아직은) 마법이 아닙니다. "이 프로젝트를 겁나 멋지게 만들 기능을 추가해주세요"라고 한다고 해서 그런 패치가 나오는 식으로는 동작하지 않습니다.

이상적인 경우: AI 친화적 프로젝트

가장 좋은 방법은 프로젝트가 AI 친화적으로 준비되는 것입니다. 바로 작업할 수 있을 만큼 잘 정의된 이슈들이 있는 프로젝트라면, "nnn 번 이슈에 대해 작업해 주세요"라는 요청만으로도 누구나 기여할 수 있을 것입니다.

하지만 (적어도 아직은) 그런 프로젝트가 많지는 않을 것입니다.

현실적인 접근: AI가 잘하는 일들에 집중

대신 AI는 인간과 비대칭적으로 잘하는 기능이 있습니다.

이를테면 이슈에 minimal reproducible case가 보고되어 있지만 아직 구체적으로 발생하는 원인이 밝혀져 있지 않은 경우를 생각해봅시다. 버그를 고치는 사람이 해야하는 지루한 작업 가운데 하나는, 이 문제를 어떻게 수정할지를 생각하기에 앞서 이 문제가 어디서 발생하는지 찾는 것입니다. 디버거를 써야 할 수도 있고, 코드에 많은 trace log를 남겨야 할 수도 있습니다.

하지만 AI 코딩 에이전트는 테스트가 재현 가능하기만 하다면, 문제를 발생시키는 정확한 줄을 찾아내는 데 탁월합니다. 지치지 않고 정석적인 지루한 방법으로 꾸준히 로그를 추가하고 테스트를 다시 실행하면서 문제를 찾아내거든요.

어쩌면 문제의 원인이 아주 단순해서, 문제를 바로 수정할 수 있을지도 모릅니다! 그렇다면 패치를 제출해도 좋겠지요. 하지만 바로 수정하기까지는 어렵더라도 괜찮습니다. 버그 리포트와 실제 코드의 문제를 매핑하는 것은 그 자체로 지루하고 시간이 걸리는 일입니다. 이것을 대신하는 것으로도 큰 작업을 대신하는 것입니다.

주의: 모든 프로젝트가 AI 기여를 환영할 리는 없습니다. 충분히 유용하게 다듬어지지 못한 유형의 AI 기여는 스팸처럼 느껴질 가능성이 있음을 유의해야 합니다.

미래

사실 누구나 자기 라이브러리를 뚝딱 만들어낼 수 있게 되었다는 점에서 오픈소스 프로젝트에 참여하는 사람들의 동기와 기여 방식 자체가 크게 뒤바뀔 가능성이 높습니다.

AI 프로그래밍을 누구나 거의 무료로 사용할 수 있는 시대가 올까요? 아마 어느 정도의 사용량까지는 그럴 것입니다. 그것이 얼마나 많은 양일지에 따라서 오픈소스 프로젝트의 미래는 크게 바뀌겠지요.

만일 정말로 AI 프로그래밍을 누구나 무제한적으로 사용할 수 있다면, 대규모가 아닌 대부분의 오픈소스 프로젝트에는 더이상 협력이 필요하지 않을 것입니다. 진정으로 '어떻게'보다 '무엇을'이 더 중요한 시대가 온다면, 프로젝트의 목표를 확고하게 가진 사람이 극한의 완성도까지 프로젝트를 밀어붙이는 편이 훨씬 좋은 결과를 만들겠지요.

그런 시대가 올지 오지 않을지 모르겠습니다. 하지만 그 전까지는, AI 프로그래밍이 누구에게나 주어지는 기회이지만 프로젝트를 단숨에 완성할만큼 주어지지는 않는 시대가 유지되는 동안에는, 다음 세대의 오픈소스 기여의 방법은 AI 프로그래밍 사용량을 기여하는 것이 하나의 큰 축이 될 것입니다.

2025 Stack Overflow Developer Survey https://lobste.rs/s/jnhsdh #programming
https://stackoverflow.az1.qualtrics.com/jfe/form/SV_1MNG2CYTY2AzkAm

https://github.com/krafton-ai/Orak

Orak (오락) is a foundational benchmark for evaluating Large Language Model (LLM) agents in diverse popular video games.

오늘은 초대권을 얻게 되어서 DroidKnights(드로이드나이츠) 2025에 다녀오게 됐습니다. 안드로이드 개발에 조금씩 관심을 가지고 싶던 차에 다녀온 컨퍼런스라, 정말 하나도 모르는 상태에서 다녀오게 되어서 정작 이해가 가는 세션은 거의 없었습니다 😂

가장 이해가 잘 가고 재미있었던 세션은 구글 코리아 양찬석님의 "제미나이와 함께 안드로이드 공부하기"라는 세션인데, 어떻게 하면 제미나이를 잘 활용할 수 있는지 설명해 주셨던 세션. 더불어 Devrel이라는 롤이 있는 것도 알게 됐습니다. 찬석님이 세션에서 소개했던 제미나이 프롬프트 엔지니어링 기법은 여기에서 자세하게 볼 수 있어요.

내년에는 꼭 다 이해할 수 있을 정도로 공부해서 갈 수 있기를...!

디스코드하는 개발자들 공감 : 커뮤니티 눈팅한다고 들어가있는 디스코드, A/B/C 개발자 팬클럽 디스코드 등등등 들어가다가 100개 다 차서 다른 디스코드 들어가려니 어디 잘라낼지 고민하게 된다......

Hackers' Pub에 로그인한 상태에서의 타임라인 구성을 조금 바꿔봤습니다. 기존의 “연합우주” 탭을 “피드”라고 수정했고, “연합우주” 탭과 “Hackers' Pub” 탭은 기본적으로 로그아웃했을 때의 “연합우주” 및 “Hackers' Pub” 탭과 동일한 타임라인이 표시되게 했습니다. 아직 팔로를 많이 하지 않은 분들에게는 “연합우주” 및 “Hackers' Pub” 타입라인이 새로운 콘텐츠를 발견하기 좋은 공간이 될 겁니다.

오 티머니애플페이 https://www.instagram.com/p/DK8NdbmvhWf/

이제 그놈 지도에서 한국 길 찾기가 된다 😲

https://floss.social/@VolkerKrause/114680359341615893

misskey.ioの最近のMAU, WAU, DAUってわかりますか？

모두가 AI 얘기를 하는 거 보면 AI가 거대한 흐름이긴 한가보다. https://lucumr.pocoo.org/2025/6/12/agentic-coding/ 개인적으로는 (가치를 가져다줄지 모를 일에) 돈을 쓰고 싶지는 않은 구두쇠라서 조금 망설여지긴 하는데 Claude MAX든 Pro든 곧 결제를 할 것 같다.

코딩하시는 분들 Fantasque Sans Mono를 한 번 써보세요 저가 지금 neovim ​​ 을 쓰고 있는데 터미널에서도 폰트 겁내 쨍하고 가독성이 아주 좋습니다 VSCode ​​ 에서도 아마 잘 보일 것이라 생각이 들어요 츄라이츄라이

Multiple Cloudflare services, including Workers KV, Access, WARP and the Cloudflare dashboard, experienced an outage for up to 2 hours and 28 minutes on June 12, 2025. https://blog.cloudflare.com/cloudflare-service-outage-june-12-2025/

Next.js 15.1+는 Vercel 외 환경에서 사실상 쓸 수 없다
------------------------------
- Next.js 15.1.8부터 *메타데이터 처리 방식이 변경* 되어 Vercel 이외의 배포 환경에서 심각한 문제 발생
- 메타데이터가 HTML head에 직접 렌더링되지 않고 "메타데이터 스트리밍"이라는 방식으로 따로 전송됨
- 검색 엔진이 자바스크립트를 실행하지 않으면 메타데이터가 아예 노출되지 않아 SEO가 치명적으…
------------------------------
https://news.hada.io/topic?id=21430&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

루비온레일즈에서는 CoC라는 게 있습니다.
Convention over Configuration.
그러니까 설정보다 컨벤션을 더 중시하게 본다는 겁니다.
설정 파일에다가 이것저것 적는 것이 아니라 그저 관행대로 하면 알아서 동작하는 거.

예를 들어서 라우트에 articles란 이름의 경로를 만들면, 이 경로는 articles_controller.rb 와 자동으로 매핑이 됩니다.
그리고 articles_controller의 index 액션은 views/articles/index.html.erb 을 자동으로 찾아서 렌더링 합니다.
이를 위한 어떤 설정도 필요 없습니다. 그저 관행일 뿐입니다.
DB 의 테이블 이름과 모델 클래스의 이름이 항상 동일하다는 것도 CoC의 한 예입니다.

처음엔 이런 관행이 짜증 나기도 했습니다.
왜 모든 테이블 이름이 복수형이어야만 하지?
Person 모델이 있으면 당연히 테이블 이름도 person이어야 직관적이지 않나? 왜 people이라는 복수형을 강제하는 거지?
이런 생각으로 반항하며 대들 때마다 레일즈는 고통을 돌려주었습니다.

초반에는 Rails와 많이 다투면서 이런 고집스러운 녀석과는 같이 못 살겠다 생각을 했었습니다만...
그 장점을 받아들이고 나서 드디어 친하게 지낼 수 있게 되었습니다.
오히려 제약하고 강제하면서 코딩이 만사 편해질 수 있구나 하는 걸 배웠습니다.

그런데 이게 꼭 코딩 시에만 적용되는 것은 아니었습니다.
사내 문화에 이런 걸 적용한 회사도 있었습니다.

카카오에 처음 들어갔을 때 영어 닉네임을 정해야만 했습니다.
그 영어 닉네임은 사람들에게 불리는 내 호칭이기도 했지만, 내 이메일 주소가 되기도 했습니다. 사내 github 주소가 되었고 사내 게시판의 닉네임이 되었습니다.
동료의 메일 주소를 물어볼 필요가 없었습니다. 부르는 이름이 메일 주소니까.
저는 Windows 컴퓨터를 사용해왔지만 얄짤없었습니다. 모든 사람들에게 맥북이 지급되었습니다.
사람들의 자유를 너무 제약하고 강제하는 것 아닌가?

돌아보니 이런 문화들이 마치 레일즈의 CoC처럼 느껴집니다.
회사 문화를 처음 만든 사람들이 레일즈를 워낙 좋아해서 영향을 받은 거 아닌가 하는 의심마저 들었습니다.(웃음)
엄격하게 강제하지만 구성원들이 잘 따르기만 하면 모두가 편해지는 관례.

이런 것이 좋을 때도 있다는 사실을 이제는 받아들입니다.

덴마크 디지털부, Windows와 Microsoft Office를 Linux와 LibreOffice로 교체
------------------------------
- *덴마크 디지털부* 가 전 직원의 *Windows와 Office 365* 를 각각 *Linux와 LibreOffice* 로 단계적으로 전환 중임
- 이번 조치는 덴마크의 *디지털 주권 강화와 특정 공급업체 의존도 감소* 전략의 일환임
- 코펜하겐 및 오르후스 등 주요 지방자치단체에서도 유사한 변화가 확산됨
- 장관은 오픈소스 …
------------------------------
https://news.hada.io/topic?id=21425&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

정답 및 풀이입니다.

1 2 3
1 3 2
2 1 3
2 3 1
3 1 2
3 2 1

2 1 3
2 3 1
3 2 1

빨간 공이 n개, 초록 공이 100-n개 들어있는 불투명한 통이 있습니다. n은 0에서 100까지의 정수 중 균등하게 무작위로 선택됩니다. 통에서 첫 번째 공을 뽑았더니 빨간 공이 나왔습니다. 첫 번째 공을 꺼내두고 통에서 두 번째 공을 뽑을 때, 빨간 공과 초록 공 중 어느 공이 나올 확률이 더 높을까요 (혹은 두 확률이 같을까요)?

출처: https://x.com/littmath/status/1751648838501224790

깃헙에 10억번째 레포가 생성되었다 해서 성지순례 하고 옴 https://github.com/AasishPokhrel/shit/issues/1

📌

여행과 고양이를 좋아하는 오타쿠 프로그래머입니다. 다른 곳에서는 주로 @hellodhlyn 아이디로 활동하고 있습니다.

• Ruby, Golang으로 만들고 싶은 프로그램을 만듭니다.
• 언어(자연어와 프로그래밍 언어를 모두 포함함)에 관심이 많습니다.
• 프라이버시와 개인 데이터 주권에 대해 고민합니다.

🔗 트위터 : https://twitter.com/hellodhlyn 🔗 깃허브 : https://github.com/hellodhlyn 🔗 블로그 : https://lynlab.co.kr/blog

#자기소개

• 중국어를 전공했습니다.
• 전역하자마자(금요일 전역, 월요일 출근) 강원도에서 제약 영업을 1년 4개월 정도 했습니다.
• 컴퓨터 학원을 1년 정도 다니면서 정보보안 스터디를 했습니다.
  • 이때 Python, C, Java순으로 프로그래밍을 처음 접했습니다.
• 정보보안 관제 회사에서 고객사에 파견 나가 악성코드 대응 업무를 4년 정도 했습니다.
  • 이때 개발자가 되고 싶어서 C++ 코리아 스터디에 몇 번 참석했는데 여기서 운명의 ‘모나드’라는 단어를 처음 접하고 하스켈 공부를 시작했습니다.
• 기업에서 정보보안 담당자 7년 차로 일하고 있습니다.
  • 코딩은 취미로 하거나 혼자만 하는 소소한 업무 자동화에 활용하고 있습니다.
• 풀타임 개발자와 오픈소스 메인테이너의 삶을 동경하고 있습니다.
• 주로 Windows에서 Putty로(80x24, Consolas) 리눅스 서버에 붙어서 Vim을 사용합니다. Visual Studio Code를 잠깐 써봤는데 다시 Putty로 돌아왔습니다.
• 집에서는 몇 년 전 중고로 산 MacBook Air M1을 사용하고 있습니다.
• 회사에서는 몇 년 전 중고로 산 HHKB를 씁니다.
• 30대 후반, 기혼, 자녀는 셋(둘째와 셋째는 쌍둥이) 있습니다. 경기도에 살고 있습니다.

이것은 첫 번째 포스트가 아닙니다.

거짓말입니다. 사실 첫 번째 포스트입니다. 마크다운을 지원하네요.

포스트 언어 설정이 되네요.

설정에 AI 요약 설정이 있던데 그 관련일지, 단순히 같은 언어를 쓰는 사람들끼리 서로 노출시키기 쉽게 하기 위해서인지는 아직 잘 모르겠지만 쓰다 보면 알게 되겠죠.

평소 프로필 설정을 잘 안 하는 편인데

• 여기선 인원이 많지 않아 서로 알아봐야 할 필요성이 더 높아서
• 웬만하면 해두는 게 좋겠군요.
• 뭐라고 쓸지 고민해봐야겠군요. 쓸 말이 많지야 않겠지만...

의외로 수식까지 지원하네요.

$e^{i\pi} = -1$

$i\hbar \frac{d}{dt} \left\vert \psi \right\rangle = H \left\vert \psi \right\rangle$

I was doing it all wrong. I should have started by studying topology and homotopy. Only then can you fully appreciate category theory and HoTT.

성공한 사람들은 목표를 쫓지 않음; "한계를 설정"함
------------------------------
- *목표 추구* 에만 집착하다 보면, 스스로 선택하지 않은 게임을 이기기 위해 달려가는 함정에 빠질 수 있음
- 실제로 *제약(Constraints)* 을 두고 그 안에서 일할 때, 일의 본질이 더 명확해지고 창의성도 극대화됨
- 목표는 구체적 결과에 집착하는 경향이 있지만, *제약은 과정과 정체성에 집중* 하게 만들…
------------------------------
https://news.hada.io/topic?id=21392&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

#자기소개

회사에서 C++ 애플리케이션을 만들고 고치는 개발자입니다. 개발하는 프로그램이 성능이 워낙 중요한지라 low-level 지식과 intrinsic도 살짝은 알고 있습니다. C++의 골때리는 세부사항도 많이 알게 됐습니다. 최근에는 학부에서 제대로 알려주지 못한 운영체제 지식을 학습하고자 OSTEP 을 읽고 있습니다. 주 편집기는 nvim이며, lazy에서 kickstart로 넘어가야지 생각만 하고 계속 미루고 있습니다.

학부 때는 알고리즘 문제풀이에 푹 빠져있었습니다. 동아리 운영도 2년간 했고, ICPC WF에도 출전했지만 벌써 몇 년은 된 옛 이야기가 되었습니다. 지금도 간간이 UCPC 및 ICPC 출제에 참여하고 있지만 흥미는 학부때만은 못합니다. 요즘은 제가 잘 알지 못하는 다른 주제에 대한 관심이 훨씬 더 커서, 고루고루 흡수하고 있습니다. 기술적인 관점뿐만 아니라, 사회에 선순환을 이끌어낼 수 있는 방법도 주요 관심사입니다.

코딩 외의 다른 취미로는 보드게임과 독서, 그리고 운동이 있습니다. 최근에는 친구들과 아컴호러 카드게임 헴록 베일의 축일 을 밤새 몰입하며 즐겼습니다. 기력과 여유가 더 생기면 집에 신디사이저와 오인페를 들여 다시 작곡을 해보고 싶습니다. 생각해보니, 이제 몇 년간 방치한 기술 블로그를 이 김에 되살릴 때도 되지 않았나 싶습니다.

프로필 사진은 본가에서 기르는 고양이 망고(8)입니다. 이제는 저도 몇 달에 한 번 정도밖에 못 보지만, 고양이는 귀여우니만큼 종종 타임라인에 올리도록 하겠습니다.

모두 잘 부탁드립니다. 감사합니다.

오츠카 아미의 #100일챌린지 가제본을 볼 기회가 생겨서 앉은 자리에서 휘리릭 재미있게 읽었습니다. 실제 책의 부제목도 그대로가 될지 모르겠는데, '작은 도전이 만들어낸 큰 변화'를 기록한 일본 상경대 여학생의 개발 성장기입니다. 트위터에 하루에 한개씩 과제를 GPT로 해결하면서 처음에는 프롬프트만 보다가 재귀함수를 배우고, 클래스를 배우고, 디자인패턴을 배우고... 경험과 고민이 확장되는 과정을 엿볼 수 있습니다. 인공지능을 활용한 창의적 성취와 꾸준한 노력의 힘을 잘 보여주는 이야기(실화 바탕)입니다. 몇구절 소개하자면..

• 제텔카스텐을 사용하면 예전의 아이디어와 지금 하는 작업을 자연스럽게 연결할 수 있다.
• 프로그래밍에서도 진척 상황, 막혔던 부분, 사용할만한 프롬프트용 정보 등을 빠짐없이 기록해 두었다. 어디서 어떻게 활용했는지도 자세히 적어놓았다. 자료만 손에 있으면 언제든 챗GPT와 상담할 수 있으니까. 이 메모는 처음엔 철저히 개인적인 비망록이었지만, 지금은 100일 챌린지의 진척을 관리하는 중요한 도구가 되었다.
• 코드만 짜는 거라면 경험이 없어도 프로그래머는 될 수 있어. 하지만 그건 엔지니어와는 달라. 프로그래머는 주어진 일을 코드로 구현하는 역할을 하지. 하지만 엔지니어는 시스템 전반을 바라보고 효율적인 알고리즘을 선택해서, 그 시스템을 어떻게 실현하고 확장할지, 장기간에 걸쳐 운용할 수 있을지를 고민해야 해. 그러려면 수학과 논리학의 기초지깃은 필수야.
• 그냥 좋아하는 걸 일로 삼고 싶었던 게 시작이었지. 근데 그게 내 길을 열어줬어. 너도 좋아하는 걸 믿고 밀고 나가면 돼.
• 게으름이라 여겼던 '대충하기 위해 전력을 다하는 자세' 그것이 '프로그래머의 본질'이나 '재능'
• 다만 재사용 가능한 프로그램을 만든다는 정답만 추구하다 보니 어느순간 부터 내가 원하는 걸 잃고 실력에 안맞는 완성형만 좇고 있었다.
• 기술적인 문제나 고민은 여전하지만 그것조차 고통이 아니라 일상의 일부이자 창작의 묘미
• 눈에 띄지 않을 만큼 작은 진척들이 쌓이고 쌓이면, 언젠가는 그것이 확실한 실력으로 드러날 테니까.
• 프로그래밍 학습이 지속되지 않는 가장 큰 이유는 공부방식이 지루해서다.
• 배움이란 원래 그런거다. 나아가면 나아갈 수록 지금 내가 나아가고 있는 건지조차 잘 안보이게 된다.
• 지속이란 고통이 아니라 습관으로 즐기는 것. 매이 ㄹ조그만 호기심을 찾아 몰입하는 것, 그 습관이야 말로 내가 100일을 이어올 수 있었던 비결일지도 모른다.

그런데 책 읽다가 저자가 궁금해 졌습니다. 94일째 과제를 하면서 선형대수에 나오는 아핀 변환이라는 토픽을 떠올리다니.. 일본은 상경계도 선형대수까지 다 배우는 걸까요?

한국 그 놈의 보안 프로그램... 저 보안 프로그램이란 것들이 얼마나 개판이었는지 논문이 나왔다니;

깔고 또 깔고 K 보안프로그램, 그러면 진짜 안전해지는...

Dear Fedi friends,

I'm really proud to share with you a video I made: "Introducing the Fediverse: a New Era of Social Media" https://news.elenarossini.com/fediverse-video/

In this 4-minute video I explain what the #fediverse is to people not familiar with it, mentioning some of its great features and benefits (interoperability, no ads, no surveillance...) and I set it in contrast to the world of Big Tech social platforms. I argue that, with the rise of Big Tech oligarchs and the current political climate, there has never been a better time to join the fediverse.

I hope you will enjoy this video and that you will find it useful (maybe as a tool to introduce your friends, family, colleagues, school administrators, local government officials to it).

The fediverse has truly changed my life, making me a better, more empowered digital citizen. I am endlessly grateful for it, so this is my contribution to the cause ❤️

I am also incredibly thankful for the work of @samaabergSamuel Aaberg and @patel.riyenThe Life of Tarzan who helped me bring my vision to life with their amazing cinematography skills and their assistance throughout the process, providing brilliant feedback to the script / edits from the POV of fedi newbies.

And I was also moved by the generous help of people of the Fediverse who volunteered to translate the script into many foreign languages: @janJan Dytrych🇨🇿🇺🇦 @fritjofFritjof @erikkempErik Kemp 🇪🇺🟥 @sknob @severin @clabruClaudio @tarcisiosurdiTarcísio Surdi ⁂ @hongminhee洪 民憙 (Hong Minhee) @danielcasanueva @ainaliJan Ainali @naclyPen

Lastly, I'm thankful for the opportunity I had to premiere the video last week at #FediForum - thank you @j12tJohannes Ernst and @anca

The video is up on my self-hosted PeerTube instance (thank you @yunohostYunoHost ) and for now it is unlisted as I have no idea how my VPS will hold up. I also included an alternate location in the blog post.

I hope you'll enjoy it! It's been a real labor of love (a month of full time work on it)... I see it as my love letter to the fediverse 💌

Edit/update: THANK YOU for all the people who volunteered to have their avatar show up in the last shot. There were 750+ submissions and only 135 spots - sorry I couldn't include everyone 🥲

#TheFutureIsFederated

#자기소개

프로그래밍을 할 줄 아는 그냥 회사원입니다. 대부분의 코딩과 개발은 취미로 합니다. 언어는 Rust 좋아하는데 주로 취미 개발용으로 쓰고, 회사에서는 Python과 C/C++만 씁니다. 요즘은 Zig를 찍먹해보려고 노력하고 있고, 그 외에 Haskell, Lean, APL, Picat 등등을 조금 다룰 수 있습니다. (이 글을 보시는 분들 중 뒤의 두 개를 다 아시는 분은 0명일거라고 감히 짐작해 봅니다.) 언어 외의 기술 중에는 combinatorial optimization이 현재 최대 관심사입니다.

퍼즐이나 PS(Problem solving, 프로그래밍 문제해결) 등 머리를 깊게 써서 문제를 해결하는 것을 좋아하고, 그만큼 문제를 만드는 것도 좋아합니다. 백준 온라인 저지에서 5000+ 문제를 풀고 50+ 문제를 출제하였고, 요즘은 거의 활동하지 않지만 Project Euler에도 299번 문제를 출제하였습니다.

평소에 쓰는 모든 앱을 다크 모드로 하고 살다보니 어쩌다 라이트모드 화면을 보면 이렇게 된다

#자기소개 시간이네요. AI/Blockchain/Infra/Metaverse가 뒤섞인 영역에서의 소방관이자 해결사를 맡고 있습니다. 불도 끄고, 불이다! 도 외치고, 꺼진 불도 발로 차보고, 그러다 보니 10년이 지났습니다ㅎㅎ 다들 불조심하시고 재밌어 보이는 거 있으면 알려주세요~ 다들 잘 보고있습니다. 감사합니다.

#자기소개 게임업계에서 기획하다 웹 프로그래머로 진로를 틀어보려 시도중입니다. 배운 과정들이 풀스택이라 백 프론트 다하고 있네요. 제가 생각해도 게임개발에서의 신입 TD 같은 기묘한 워딩같긴 한데 일단 전업해보려 노력중입니다 'ㅁ'/

영어, 일본어, 한국어 할 줄 알아요! 더 늘리고 싶지만 대충 언어 3개까지가 한계인 느낌이라 보류중!

#자기소개

스타트업에서 FE로 허덕이는... 1개월 후면 2년차가 되는... 사용자 인터페이스 만들기와 함수형 프로그래밍에 관심이 있는... 음식 관련 이야기에 전반적으로 흥미가 깊은... 게임을 좋아하는...

저입니다! 잘 부탁드립니다!

#자기소개

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

#자기소개 를 해볼까요.

• @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
• 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
• TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
  • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
  • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
  • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
    • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
    • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
    • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
• 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
• 형식적 증명 보조기에도 관심이 많습니다.
  • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
  • Lean 4도 약간 맛보기를 했습니다.
  • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
    • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

#툿친소 #연친소 #핵친소