소프트웨어 개발을 공학으로 만드는 것
소프트웨어 개발을 진정한 공학 분야로 만들기 위해서는 개인의 재능이 아닌 체계적인 프로세스와 공학적 접근이 필수적이며, 이는 AI 시대에도 여전히 중요한 가치를 유지한다. 소프트웨어 공학의 역사적 배경: 1968년 NATO 컨퍼런스에서 소프트웨어 위기 대응을 위해 공학적 방법론 도입 필요성 제시 공학적 접근의 핵심: 체계적이고 규율 있으며 정량화 가능한 문…
최근에 읽었거나 읽으려고 하는 것들의 기록.
개발 294건
소프트웨어 개발을 진정한 공학 분야로 만들기 위해서는 개인의 재능이 아닌 체계적인 프로세스와 공학적 접근이 필수적이며, 이는 AI 시대에도 여전히 중요한 가치를 유지한다. 소프트웨어 공학의 역사적 배경: 1968년 NATO 컨퍼런스에서 소프트웨어 위기 대응을 위해 공학적 방법론 도입 필요성 제시 공학적 접근의 핵심: 체계적이고 규율 있으며 정량화 가능한 문…
FOSS 커뮤니티의 문제적 인물들을 기록한 "이상한 작은 녀석들" 리스트는 기술 업계에서 영향력 있는 인물들의 우익 극단주의, 혐오 발언, 그리고 비민주적 이념 확산을 추적하는 문서다. 리스트 기준: 공개적 극단 정치 입장 + 커뮤니티 리더십 + FOSS 관련성 핵심 패턴: 우익 극단주의, 신반동주의, 혐오 행동의 조직화된 확산 재정적 연결: 부유한 인물들…
TypeSafe AI가 출시한 Jev는 일반 LLM을 대체하지 않고 특정 판단 작업에 최적화된 '시스템 1 모델'로, 밀리초 단위로 수천 개의 작은 결정을 저비용으로 처리한다. Jev의 본질: 대화형 능력이 아닌 구조화된 판단 엔진으로, 미리 정의된 선택지 중에서 확률과 함께 답변 제공 LLM과의 근본적 차이: 토큰을 순차 생성하지 않고 병렬로 모든 질문…
AI 에이전트의 안정성은 모델의 지능보다 모델을 둘러싼 환경 설계(하네스 엔지니어링)에서 나온다는 관점으로, 프롬프트 튜닝이 아닌 시스템 아키텍처 개선을 통해 신뢰할 수 있는 AI 에이전트를 구축하는 방법을 제시한다. 핵심 통찰: 에이전트가 반복적으로 실패하는 이유는 모델 부족이 아니라 환경 설계 부족 동일한 모델도 하네스에 따라 완전히 다른 성능 발휘 프…
TypeSafe AI가 출시한 Jev라는 새로운 분류 모델이 기존 LLM 기반 에이전트 루프의 속도와 비용 문제를 획기적으로 개선할 수 있다는 내용 Jev는 전통적인 LLM이 아닌 System One 모델로, 텍스트 생성 대신 빠른 구조화된 의사결정에 특화 기존 LLM 대비 최대 200배 빠른 속도, 400배 저렴한 비용 제공 강화학습 기반으로 학습되어 보…
GPT-6 Astra가 Blender MCP를 활용해 독일 Zähl HM1 헤드폰 앰프를 3D 모델링했으며, 단순 시각화를 넘어 편집 가능한 산출물과 검증 스크립트까지 제공해 "쓸 수 있는 수준"의 결과물을 완성했다. AI 기반 3D 모델링의 실용성: 언어 모델이 25분간 15개 스크립트로 앰프의 외형을 완전히 재현하고 편집 가능한 .blend 파일로 전달…
에이전트 시스템을 효과적으로 운영하려면 단일 루프가 아닌 '루프 + 그래프' 두 계층이 필요하며, 중간 단계마다 승인하지 말고 최종 병합 지점에서만 승인해야 한다. 루프는 단위 작업의 정확성을 보장 - 생산, 검증, 수정, 반복의 4단계로 인간 개입 없이 작동 검증 조건을 프로그래매틱하게 평가 가능하게 작성 "결과가 좋아 보임" 같은 정성적 기준은 검증이…
6개월 내 로봇공학 엔지니어가 되기 위한 실전 로드맵으로, 전자공학 기초부터 시작해 실제 동작하는 로봇을 만드는 것을 목표로 한다. 로봇공학은 AI 엔지니어링보다 경쟁이 적으면서 높은 가치를 가진 기술 이론 학습이 아닌 실제 작동하는 물리적 결과물 제작 중심 시뮬레이션만으로는 부족하고 실제 하드웨어 경험 필수 취업 시 요구되는 핵심 스킬: C++/Pytho…
(4) X에서 Qwen Developers 님 : "rg에서 zg로: 키워드를 넘어선 로컬 검색" / X 키보드 단축키를 보려면 물음표를 누르세요. 키보드 단축키 보기 게시하기## 기사 대화 Basix 님이 재게시함[Qwen Developers !](https://x.com/QwenDevs)@QwenDevs이미지rg에서 zg로: 키워드를 넘어선 로컬 검색1…
Tailscale 팀이 제어 평면 없이 WireGuard 데이터 평면만을 활용한 오픈소스 CLI 도구 'tailcat'을 출시했으며, 이는 계정이나 관리 권한 없이 두 머신을 직접 연결하는 netcat 같은 도구다. tailcat의 핵심: Tailscale의 WireGuard + NAT 우회 + DERP 릴레이를 계정/제어 평면 없이 사용 가능 주요 특징:…
Uber의 AI 에이전트 기반 소프트웨어 팩토리를 효율적으로 운영하기 위해 비용 최적화 방정식을 개발하고 6개월간 세션당 비용을 52% 감축한 사례 7배 사용자 증가, 9.4배 요청 증가에도 비용 안정화 - 2월8월 주간 활성 사용자와 요청이 급증했지만 최적화로 총 AI 지출 상대적 안정화 모델 고정 시 1000개 요청당 비용 34% 감축 - 모델을 일정하…
Linear이 1,000개 이상의 PR을 통해 React 애플리케이션을 styled-components에서 StyleX로 마이그레이션하며 배운 대규모 코드베이스 현대화 전략과 도구 활용법을 공개했다. 마이그레이션 이유: styled-components의 무제한적 유연성이 확장성을 해치고, React 18의 동시성 렌더링 이후 성능 저하 발생 StyleX 선…
AI를 활용한 역공학으로 자신의 주변 기기들에 숨겨진 보안 취약점을 발견하고 펌웨어를 분석한 개발자의 경험담. 편의성 향상의 기쁨과 보안 위협 사이의 긴장 관계를 드러낸다. AI 기반 역공학의 효율성: Claude Opus 5를 활용해 13시간의 작업으로 5개 기기의 펌웨어를 완전히 분석 광범위한 보안 취약점: USB 기기부터 WiFi 기기까지 대부분 암호…
분산 시스템에서 일관성, 가용성, 분할 허용성 중 최대 2가지만 동시에 만족할 수 있다는 CAP 정리를 수학적으로 증명한 글 CAP 정리의 핵심: 분산 시스템은 Consistency(일관성), Availability(가용성), Partition tolerance(분할 허용성) 중 최대 2가지만 동시에 보장 가능 일관성(C): 쓰기 완료 후의 모든 읽기는 최…
Claude Opus 5를 이용해 5가지 주변기기의 펌웨어를 역공학하여 제조사 제한을 우회하고 하드웨어의 실질적 통제권을 되찾은 사례 연구 LLM 기반 자동 역공학: Claude가 장치별 13시간의 작업으로 펌웨어 분석, 보안 취약점 발굴, 호환 도구 개발을 수행 광범위한 보안 결함: 5가지 장치 모두 펌웨어 무결성 보호가 거의 없거나 단순 체크섬만 사용하…
자비로운 종신 독재자(Benevolent Dictator for Life).. IT업계에서 이런 명칭을 사용할 수 있는 몇몇 분들이 있습니다. 이번에 소개하는 패트릭 볼커딩도 그중 한 분입니다. 그는 1993년 리눅스 슬랙웨어 배포판을 만들고, 지금까지 계속 개발을 이끌며, 종속성 문제 해결 및 슬랙웨어를 유닉스와 비슷하계 유지 보수하고 있습니다. 살아있는 역사의 증인이죠... 슬랙웨어... 제가 개인적으로 좋아하는 리눅스 배포판이기도 합니다. 패트릭 볼커딩은 66년생으로 버지니아에서 태어났습니다. 아버지가 미 해군 소속 치과의사였지만 어린 시절을 노스 다코다에서 보냈습니다. 7살이던 73년도에 노스다코다 주립대 컴퓨터학과를 견학갔다가 메인프레임을 만나게 되죠. 컴퓨터에 대한 관심은 폭발했지만, 가정형..
Alibaba가 공개한 OpenSandbox는 일반 컨테이너 이미지를 AI 에이전트용 샌드박스로 변환하는 플랫폼으로, 전용 이미지 제작 없이 execd 데몬 주입과 Credential Vault를 통해 안전한 실행 환경을 제공합니다. 핵심 기술: execd 데몬 주입으로 기존 이미지를 샌드박스화, 가짜 API 키를 sandbox에 제공하고 실제 키는 sid…
AI의 발전으로 코딩 능력의 중요성이 감소하면서, 엔지니어의 차별점은 기술 구현에서 문제 정의와 사업 가치 창출 능력으로 이동하고 있다. 엔지니어의 역할 변화: AI가 명확한 명세의 코드 작성을 빠르게 수행하면서, 무엇을 해결할지 판단하는 능력이 새로운 병목 Product Engineer의 정의: 특정 기술보다 제품과 사업에 관심을 갖고, 문제를 직접 발견…
저자가 아마존 파이어 태블릿의 반복적인 강제 종료 문제를 해결하기 위해 AI 모델들을 활용해 기기를 루팅했고, 이 과정에서 중국 AI 모델들이 미국 모델들보다 더 효과적임을 발견한 이야기. $266을 들인 태블릿 소유권 탈환: 24/7 스마트홈 대시보드용 태블릿이 반복적으로 강제 종료되는 문제 해결 AI 모델의 역할 분담: Kimi K3가 취약점 발견 →…
AI 에이전트의 자동화된 작업 관리 시스템인 Labor0를 통해 개발자의 개입 횟수를 최소화하면서 생산성을 30배 이상 향상시킨 사례 소개 핵심 문제 해결: 사람을 완전히 제거하는 것이 아닌, 결정이 필요한 순간에만 개입하는 구조로 병목 지점 최소화 작업 자동분할: 큰 작업을 AI가 적당한 크기로 나누어 PR 리뷰와 자동화 테스트의 효율성 향상 GitHub…