001 21:11 당일 +108 머신러닝 시스템 교과서 시리즈 공개 하버드 CS249r 강의에서 출발한 오픈 교과서 시리즈 4권으로, 단일 머신부터 데이터센터 규모의 분산 시스템, 자율 에이전트, 물리적 AI까지 ML 시스템 설계 원리를 다룬다. AI · 머신러닝 · harvard-edge/cs249r_book · Python
Key Point 모델 훈련 방법만 아는 개발자가 메모리 제약, 지연 시간, 에너지, 장애 복구 같은 실제 시스템 설계 문제를 다루는 엔지니어링 기초를 배울 수 있는 완전한 학습 생태계가 완성됐다.
핵심 요약
하버드 CS249r 강의에서 출발한 오픈 교과서 시리즈 4권으로, 단일 머신부터 데이터센터 규모의 분산 시스템, 자율 에이전트, 물리적 AI까지 ML 시스템 설계 원리를 다룬다. Vol I(출판 예정)은 단일 머신에서 메모리, 커널 효율, 양자화, 온디바이스 배포를 설명하며, Vol II(미리보기)는 분산 클러스터와 데이터센터 규모 확장을 다룬다. Vol III(초안)과 Vol IV(초안)는 각각 장기 자율 루프 운영과 센서-액추에이터 폐루프를 커버한다. 전체 요약 8문장 읽기 → 002 21:11 ▲ 158 · 댓글 18 무료 그래프 이론 입문서 'Start Doing Graph Theory' 공개 그래프 이론을 활용한 문제 해결과 정리 증명 등을 다루는 입문 교과서 'Start Doing Graph Theory'가 공개되었다. 오픈소스 · 도구 · Start Doing Graph Theory
Key Point 그래프 이론의 실제 적용을 배우려는 학생이나 개발자가 무료로 접근할 수 있는 체계적인 학습 자료가 생겼습니다.
핵심 요약
그래프 이론을 활용한 문제 해결과 정리 증명 등을 다루는 입문 교과서 'Start Doing Graph Theory'가 공개되었다. 미하일 라브로프가 저술한 이 교재는 CC BY-SA 4.0 라이선스로 크리에이티브 커먼즈 인증을 받았다. 온라인에서 무료로 읽거나 PDF 파일로 다운로드할 수 있으며, 1장부터 시작해 학습할 수 있다. 003 06:11 ▲ 125 · 댓글 57 AI 에이전트 시대, 개발자가 챙겨야 할 세 가지 AI 에이전트(Codex)가 작성한 React 컴포넌트에서 SonarQube가 순환 복잡도 경고를 발생했고, 저자가 직접 코드를 검토해 복합한 컴포넌트들을 10개 파일로 리팩토링해 해결한 경험을 공유했다. AI · 머신러닝 · Here be monsters: What do you still need to know when agents do the work?
Key Point AI 에이전트로 생성된 코드를 관리하고 시스템을 소유하려면 손으로 직접 코딩하는 방식과 다른 세 가지 핵심 역량이 필요하다는 실제 경험에 기반한 조언을 담고 있다.
핵심 요약
AI 에이전트(Codex)가 작성한 React 컴포넌트에서 SonarQube가 순환 복잡도 경고를 발생했고, 저자가 직접 코드를 검토해 복합한 컴포넌트들을 10개 파일로 리팩토링해 해결한 경험을 공유했다. 향후 소프트웨어 엔지니어링은 코드를 직접 작성하기보다는 에이전트가 생성한 코드의 문제를 파악하고 필요할 때 깊이 있게 대응할 수 있는 능력이 중요해질 것이다. 에이전트가 빠르게 생산한 코드의 품질을 관리하고 시스템을 소유하려면 전통적 방식의 수련(코드 작성, 디버깅, 운영 사고 처리)은 경제적으로 불가능해지고 있다. 전체 요약 10문장 읽기 → 004 03:11 당일 +113 동화 그림으로 배우는 자료구조와 알고리즘 깃허브에서 공개한 '《Hello 算法》'은 초보자 친화형 자료구조와 알고리즘 입문서로, 동작하는 그림과 애니메이션으로 내용을 설명한다. 오픈소스 · 도구 · krahets/hello-algo · Java
Key Point 초보자가 처음 자료구조와 알고리즘을 배울 때 직관적 이해를 돕는 무료 교과서이며, 13개 언어 지원과 명확한 시각화로 글로벌 개발자들의 학습 진입장벽을 낮춘다.
핵심 요약
깃허브에서 공개한 '《Hello 算法》'은 초보자 친화형 자료구조와 알고리즘 입문서로, 동작하는 그림과 애니메이션으로 내용을 설명한다. Python, Java, C++, C, C#, JavaScript, Go, Swift, Rust, Ruby, Kotlin, TypeScript, Dart 등 13개 프로그래밍 언어로 코드 구현을 제공하며 모두 한 번의 클릭으로 실행 가능하다. 간체 중문, 번체 중문, 영어, 일본어, 러시아어 등 5개 언어로 제공되어 모국어로 학습할 수 있다. 전체 요약 7문장 읽기 → 005 16:56 당일 +211 중국 초등학교 전과목 무료 학습 플랫폼 오픈소스 중국 소학 1~6학년 전과목 통합 학습 플랫폼 '聪聪学堂'을 MIT 라이선스로 오픈소스 공개했다. 오픈소스 · 도구 · wuwangzhang1216/ChinaTextbookStudyFree · Swift
Key Point 교육 자원 불균형 해소를 목표로 무료 학습 플랫폼을 완전 공개하는 사례로, 중국 교육 기술 생태와 게임화 학습 경험 설계를 한눈에 볼 수 있다.
핵심 요약
중국 소학 1~6학년 전과목 통합 학습 플랫폼 '聪聪学堂'을 MIT 라이선스로 오픈소스 공개했다. 수학(인교판), 국어(통편판), 영어(인교판 PEP), 과학(교과판) 44권 교재, 2,166개 단원, 6,545도 연습 문제를 수록했다. AI 생성 단원 소테스트, 지식 설명, 279편 원본 교과서 음성 낭독(TTS), 284편 레벨별 이야기 + 이해 문제를 제공한다. 전체 요약 10문장 읽기 → 006 18:11 ▲ 114 · 댓글 22 수학 증명의 형식화, AI 자동화 시대 열리다 형식 증명은 수학의 기초와 논리 규칙 수준에서 철저히 검증한 증명으로, 컴퓨터로 자동 검사하는 것이 일반적이며 페르마 최종 정리·구 채움 문제 등이 형식화됐다. AI · 머신러닝 · What mathematicians should know about the Lean Theorem Prover: reliability & AI
Key Point AI가 수학 증명을 자동 형식화하기 시작하면서 신뢰성·일관성 검증의 새로운 시대가 열렸지만, 커널 버그와 AI 자체에 대한 신뢰 문제가 수학의 기초를 위협할 수 있다.
핵심 요약
형식 증명은 수학의 기초와 논리 규칙 수준에서 철저히 검증한 증명으로, 컴퓨터로 자동 검사하는 것이 일반적이며 페르마 최종 정리·구 채움 문제 등이 형식화됐다. 증명 보조기(proof assistant) 중 Lean이 수학자들에게 가장 인기 있으며, 2013년 Leo de Moura가 개발했고 마이크로소프트에서 오픈소스로 공개됐다. Lean의 표준 수학 라이브러리인 mathlib은 약 30만 개 정리, 10만 개 이상 정의, 250만 줄 코드로 700명 이상이 기여했다. 전체 요약 13문장 읽기 → 007 15:13 ▲ 42 · 댓글 3 LLM 기초 이론을 담은 교과서 출판 대규모 언어모델의 기초 개념을 다루는 교과서가 출판되었다. AI · 머신러닝 · Foundations of Large Language Models
Key Point 기초부터 체계적으로 LLM을 학습하고 싶은 개발자와 학생들에게 학습 가이드가 될 수 있는 자료다.
핵심 요약
대규모 언어모델의 기초 개념을 다루는 교과서가 출판되었다. 사전학습, 생성 모델, 프롬프팅, 정렬, 추론 등 6개 주요 영역을 구조적으로 설명한다. 최신 기술의 완전한 커버리지보다는 기초 개념 학습에 중점을 두었다. 전체 요약 4문장 읽기 → 008 18:33 ▲ 109 · 댓글 49 10년 난제 풀었다, 정렬·최단경로 알고리즘 다항식 고속화 Josh Alman과 Virginia Vassilevska Williams는 3SUM과 All-Pairs Shortest Paths(APSP) 문제를 처음으로 교과서 알고리즘보다 다항식만큼 빠르게 풀 수 있음을 증명했다. 오픈소스 · 도구 · Subquadratic 3SUM and Subcubic APSP
Key Point 30년 이상 컴퓨터과학에서 풀리지 않던 기본 문제들의 다항식 고속화로, 정렬·최단경로 등 실제 알고리즘에 영향을 미칠 수 있는 이론적 진전이다.
핵심 요약
Josh Alman과 Virginia Vassilevska Williams는 3SUM과 All-Pairs Shortest Paths(APSP) 문제를 처음으로 교과서 알고리즘보다 다항식만큼 빠르게 풀 수 있음을 증명했다. 3SUM은 n개의 정수를 O(n^1.9992) 시간에, APSP는 방향 그래프를 O(n^2.9995) 시간에 결정적으로 풀 수 있으며, 이는 각각 O(n²)과 O(n³)의 오래된 한계를 깼다. 이 결과는 3SUM과 APSP 추측(가설)뿐 아니라 실수 버전의 같은 문제들, Exact Triangle 추측, Zero-Weight k-Clique 추측 등 관련 문제 여러 개를 동시에 반박한다. 전체 요약 8문장 읽기 → 009 21:11 당일 +477 벡터DB 없이 추론으로 문서를 읽는 RAG, PageIndex PageIndex는 벡터 인덱스 대신 계층 구조의 트리 인덱스를 만들고, LLM의 추론으로 그 트리를 탐색하는 벡터리스 RAG 엔진이다. AI · 머신러닝 · VectifyAI/PageIndex · Python
Key Point 벡터DB에 의존하지 않고 LLM의 추론으로 문서를 검색하는 새로운 RAG 방식이, 복잡한 전문 문서에서 기존 벡터 검색보다 훨씬 높은 정확도(98.7%)와 낮은 비용(2~16배 절감)을 달성했기 때문이다.
핵심 요약
PageIndex는 벡터 인덱스 대신 계층 구조의 트리 인덱스를 만들고, LLM의 추론으로 그 트리를 탐색하는 벡터리스 RAG 엔진이다. 벡터 RAG는 의미적 유사성으로 검색하지만, 유사성이 반드시 관련성을 의미하지 않는다. PageIndex는 문맥 이해, 도메인 전문성, 다단계 추론이 필요한 금융보고서나 법률 문서에서 더 정확한 관련 정보를 찾는다. 인덱싱은 문서마다 트리 구조를 생성하고, 검색은 LLM이 그 트리를 추론하며 탐색하는 두 단계로 진행된다. 전체 요약 12문장 읽기 → 010 21:11 당일 +572 일리노이 대학의 시스템 프로그래밍 교과서 완전 공개 일리노이 대학 어바나-샴페인 캠퍼스 CS 341 과정에서 사용하는 오픈소스 시스템 프로그래밍 입문 교과서이다. 오픈소스 · 도구 · cs341-illinois/coursebook · TeX
Key Point 실제 대학 강의에 사용되는 고품질 시스템 프로그래밍 교과서가 완전히 무료 공개되어, C와 시스템 레벨 개발 학습에 필요한 신뢰할 수 있는 한국어 자료 대체 교재로 활용할 수 있습니다.
핵심 요약
일리노이 대학 어바나-샴페인 캠퍼스 CS 341 과정에서 사용하는 오픈소스 시스템 프로그래밍 입문 교과서이다. 프로그래밍 언어 과정 수강과 어셈블리 명령어 이해를 전제하며, 모든 코드와 설명은 리눅스 커널의 사실상 표준인 C로 작성되어 있다. 원래 Angrave의 위키북 실험을 기반으로 하여 표준화하고 개선한 교재이다. 전체 요약 6문장 읽기 → 011 18:11 ▲ 159 · 댓글 34 예멘 면적, 100년간 잘못 알려져 왔다 구글, 위키백과 등에서 예멘의 면적을 555,000㎢로 표시하고 있지만, 구글 맵에서 직접 경계를 그려본 결과 실제 면적은 456,000㎢에 불과하다. 기타 · What is the size of Yemen? (2024)
Key Point 역사적 오류가 100년간 국제기구·백과사전·교과서에서 무비판적으로 반복되며 고착된 구체적인 사례로, 정보 검증의 중요성을 보여주고 있다.
핵심 요약
구글, 위키백과 등에서 예멘의 면적을 555,000㎢로 표시하고 있지만, 구글 맵에서 직접 경계를 그려본 결과 실제 면적은 456,000㎢에 불과하다. 555,000㎢ 수치는 1991년 예멘 통일 직후 발행된 통계청 연감에서 나왔는데, 여기서 북쪽 경계를 사우디아라비아와의 실제 협약보다 북쪽(북위 20도)으로 잘못 그렸을 가능성이 높다. CIA 월드팩트북 등이 인용하는 527,968㎢ 수치도 오류인데, 이는 통일 전 북예멘(195,000㎢)과 남예멘(332,968㎢)의 면적을 단순 합산한 것이다. 전체 요약 6문장 읽기 → 012 09:11 ▲ 117 · 댓글 116 AI가 모든 과제를 풀자, 교수들의 평가 방식이 바뀐다 2021년 GPT-3가 읽기 퀴즈를 정답 논문을 보지 않고도 통과시킨 뒤, 5년 후 AI 에이전트가 모든 과제를 자동으로 완수하게 되자 카네기멜론대 교수 Christian Kästner는 대부분의 평가 방식을 재설계했다. AI · 머신러닝 · How I changed teaching after AI managed to do all my homework assignments
Key Point 학생들이 AI로 과제를 대체하는 시대에 대학 교육이 어떻게 재설계되고 있는지, 그리고 그 과정에서 교수들이 마주한 현실적 딜레마(증거 기반 교육법의 포기 vs 실용성)를 보여준다.
핵심 요약
2021년 GPT-3가 읽기 퀴즈를 정답 논문을 보지 않고도 통과시킨 뒤, 5년 후 AI 에이전트가 모든 과제를 자동으로 완수하게 되자 카네기멜론대 교수 Christian Kästner는 대부분의 평가 방식을 재설계했다. 학습 목표는 거의 변하지 않았지만(ML 엔지니어링 트레이드오프, 위험 완화, 팀워크), 과제는 집에서 하는 것 대신 TA와의 대면 상호작용과 시험으로 옮겼다. 학생들에게 모든 상황에서 AI 사용을 허용하지만(시험 제외), 증거 기반 교육법을 일부 포기하고 있다: 숙제 같은 저위험 평가로 자주 피드백하는 방식에서 벗어나 고위험 시험으로 이동 중이다. 전체 요약 12문장 읽기 → 013 22:26 ▲ 110 · 댓글 33 병렬 프로그래밍 교과서, CPU 캐시의 현실을 마주하다 Paul E. McKenney의 무료 온라인 교과서 《Is Parallel Programming Hard, And, If So, What Can You Do About It?》에 대한 서평이다. 인프라 · 데브옵스 · Book review: Is parallel programming hard, and, if so, what can you do about it?
Key Point 동시성 프로그래밍을 이론만 아는 개발자라면, CPU 캐시와 컴파일러 최적화가 실제 코드에 미치는 영향을 이 리뷰로 확인할 수 있다.
핵심 요약
Paul E. McKenney의 무료 온라인 교과서 《Is Parallel Programming Hard, And, If So, What Can You Do About It?》에 대한 서평이다. 저자는 TLA⁺와 분산 시스템 전공자였으나 Fil Pizlo와의 대화를 통해 lock-free 동시성 프로그래밍에 대해 거의 모른다는 깨달음을 얻었다. 교과서는 PDF 3가지 형식(이중 열, 좌우 여백 있음/없음)으로 제공되며, 내부 링크가 많아 터치스크린 사용 시 의도치 않은 클릭이 빈번한 문제가 있다. 전체 요약 8문장 읽기 → 014 21:11 당일 +204 AI Agent 설계 원리부터 실전까지, 무료 오픈소스 교과서 공개 중국 개발자 이보걸이 저술한 《깊이 있는 AI Agent 이해: 설계 원리와 공학 실제》 전자책을 GitHub에서 완전 무료 공개했다. AI · 머신러닝 · bojieli/ai-agent-book · Python
Key Point AI Agent 개발의 기초 이론부터 실제 구현까지 체계적으로 배울 수 있는 최신 교과서가 완전 무료로 공개되었으며, 한국어 번역본과 실습 코드까지 제공되어 한국 개발자가 즉시 활용할 수 있다.
핵심 요약
중국 개발자 이보걸이 저술한 《깊이 있는 AI Agent 이해: 설계 원리와 공학 실제》 전자책을 GitHub에서 완전 무료 공개했다. Agent = LLM + 컨텍스트 + 도구라는 핵심 공식을 바탕으로 10개 장에서 AI Agent의 원리부터 실전까지 다룬다. 전체 정문, 삽화, 109개 배치 실험 코드가 모두 오픈소스로 공개되어 직접 실행해볼 수 있다. 전체 요약 5문장 읽기 → 
