저자는 GitHub의 코드 리뷰 프로세스를 개선하기 위해 `git-review`라는 도구를 실험했습니다. 핵심 아이디어는 코드 리뷰를 저장소에 저장된 커밋으로 취급하고, 코드 내 주석을 사용하여 리뷰하는 것이었습니다. 그러나 이 실험은 성공적이지 못했습니다. 코드에 직접 주석을 추가하는 것은 매우 효율적이었지만, 리뷰 중인 코드를 수정하는 것은 복잡했고, 특히 충돌 해결과 `git push --force-with-lease` 사용으로 인한 마찰이 문제였습니다. 저자는 결국 프로젝트를 포기했지만, 코드 내 리뷰라는 핵심 아이디어는 가치 있다고 믿으며, Git 개선을 통한 코드 리뷰의 미래 가능성에 기대를 걸고 있습니다.
더 보기
Bucket은 Linear의 Agents 플랫폼과 깊이 통합되어 AI 기반 기능 플래그 관리 에이전트를 만들었습니다. 이 에이전트를 통해 개발자는 Linear 이슈 내에서 직접 Bucket 기능 플래그를 생성하고 관리할 수 있으며, 자연어 상호 작용을 통해 개발 워크플로를 간소화합니다. 개발자는 Linear에 코멘트만 하면 기능 플래그를 생성하거나 수정할 수 있으며, AI 에이전트가 자동으로 처리하고 피드백을 제공합니다. 이 통합은 AI를 개발 프로세스에 원활하게 통합하여 개발자가 더 빠르고 효율적으로 고품질 기능을 제공할 수 있도록 하는 것을 목표로 합니다.
더 보기
한 블로거가 실험적인 프로젝트를 진행하며 3명의 자원봉사자에게 30분 무료 멘토링 세션(총 3회)을 제공합니다. 통계, 과학, AI, 자기계발 등 다양한 주제를 다룹니다. 지원자는 자신의 목표와 멘토에게 어떤 도움을 받고 싶은지 설명해야 합니다. 블로거는 가장 많은 도움을 줄 수 있고 공익에 기여할 수 있다고 생각하는 지원자를 우선적으로 선택합니다. 이 실험은 멘토링의 가치를 탐구하는 것을 목표로 하며, 결과 공유로 이어질 수 있습니다.
더 보기
단순한 버튼으로 4가지 모드만 제어할 수 있는 DucoBox 환기 시스템의 제한적인 제어 옵션에 불만을 느낀 저자는 본질적으로 ESP32인 고가의 공식 Duco 연결 보드를 리버스 엔지니어링하기로 결정했습니다. 로직 분석기와 Duco 웹사이트의 정보를 사용하여 보드와 환기 시스템 간의 통신 프로토콜을 분석했습니다. 그 결과 Modbus가 아니라 사용자 정의 프로토콜임이 밝혀졌습니다. 프로토콜을 디코딩한 후 저자는 ESPhome 구성 요소를 만들어 Home Assistant와의 원활한 통합을 달성했습니다. 이를 통해 제어가 크게 향상되고 CO2 센서 데이터 등의 정보를 읽을 수 있습니다.
더 보기
한때 미국 약국 시장을 지배했던 라이트에이드는 현재 파산과 치열한 경쟁에 직면하며 과거의 모습에서 흔적을 감추고 있습니다. 수백 개의 매장이 문을 닫으면서 텅 빈 선반만 남게 되었고, '좀비' 매장이라는 별명을 얻었습니다. 소비자들은 월마트와 아마존과 같은 경쟁사에 의존할 수밖에 없습니다. 라이트에이드의 어려움은 치열한 경쟁, 비용 상승, 인력 부족 등 약국 부문 전체가 직면한 더 광범위한 문제를 반영합니다. 비어 있는 매장 중 일부는 다른 소매업체가 재활용하고 있지만, 라이트에이드의 미래는 여전히 불확실하며, '좀비' 매장은 한 시대의 종말을 시사할 수 있습니다.
더 보기
1954년 4월, 시애틀과 그 주변 지역에서는 수수께끼 같은 현상이 발생했습니다. 수많은 작은 구멍이 자동차 앞유리에 나타난 것입니다. 우주선에서 핵실험 낙진, 심지어는 모래벼룩 알에 이르기까지 다양한 추측이 난무하며 공황 상태에 빠졌습니다. 공식 조사는 혼란스러웠고, 전문가들의 의견은 일치하지 않았으며, 대중 히스테리가 사회를 덮쳤습니다. 그러나 진실은 훨씬 덜 극적이었습니다. 구멍들은 이미 존재했지만, 널리 주목받고 언론 보도가 집단 착각을 불러일으킬 때까지 아무도 알아채지 못했습니다. 이 사건은 집단 착각의 전형적인 사례가 되었으며, 잘못된 정보와 집단 사고의 위험성을 부각시켰습니다.
더 보기
삭제된 GitHub 블로그 게시물이 OpenAI의 향후 GPT-5 모델에 대한 세부 정보를 실수로 공개했습니다. 네 가지 변형은 추론, 코드 품질, 사용자 경험에서 상당한 개선을 자랑하며, 고도의 자율 능력을 갖추고 최소한의 프롬프트로 복잡한 코딩 작업을 처리할 수 있습니다. 이 유출은 OpenAI가 오늘 말에 "LIVE5TREAM" 이벤트를 발표하기 전에 발생했으며, 이전부터 제기되어 온 GPT-5 출시 임박설을 더욱 뒷받침합니다.
더 보기
저자는 AI의 코드 분석 능력을 향상시킨 경험을 이야기합니다. 처음에는 AI가 신입 개발자처럼 코드를 순차적으로 처리했습니다. 하지만 시니어 개발자의 코드 리뷰 방식에 착안하여 AI의 분석 방법을 혁신했습니다. 먼저 시스템 전체 아키텍처 모델을 구축하고, 기능별로 파일을 그룹화한 후, 세부 코드 분석을 수행하는 방식입니다. 그 결과 AI는 미묘한 연결 오류나 성능 병목 현상을 발견하고, 아키텍처 개선 방안을 제시하는 등 시니어 개발자 수준의 이해에 도달했습니다. 중요한 것은 더 큰 모델이 아니라 시니어 개발자의 사고 방식을 모방하는 것, 즉 맥락을 중시하고 패턴 매칭, 영향 분석, 역사적 이해를 하는 것입니다.
더 보기
기술 업계가 AI로 프로그래머를 대체하려는 열풍은 위험한 도박이다. AI 생성 코드에 대한 과도한 의존은 AI 도구는 사용할 줄 알지만 실제 엔지니어링 경험이 부족한 프로그래머 세대를 만들어낼 것이다. 경험 많은 엔지니어를 해고하고 AI가 부족하다는 것을 깨달은 후에 서둘러 재고용하려고 해도 높은 비용과 인재 부족에 직면하게 된다. 궁극적으로 기본 기술, 특히 시스템 프로그래밍이나 고성능 컴퓨팅을 깊이 이해하는 프로그래머가 매우 필요하게 되고 과도한 보상을 요구할 것이다.
더 보기
이 글에서는 작은 함수형 언어를 LLVM으로 컴파일하는 과정을 자세히 설명합니다. 기본적인 계산기 언어부터 시작하여, 어휘 분석기, 구문 분석기, LLVM 코드 생성기를 단계적으로 구축합니다. 이 글에서는 megaparsec 라이브러리를 사용한 파싱, llvm-hs-pure와 llvm-hs-pretty 라이브러리를 사용한 LLVM IR 코드 생성, 그리고 최종 컴파일 및 실행 과정을 자세히 설명합니다. 이 예제를 통해 독자는 함수형 언어의 특징(패턴 매칭 등)을 LLVM IR로 변환하는 방법과 LLVM을 코드 생성 및 컴파일을 위해 사용하는 방법을 배울 수 있습니다.
더 보기
제2차 세계 대전 중 미국의 원자폭탄 개발 계획인 맨해튼 프로젝트에 대한 자세한 내용이 이 기사에 담겨 있습니다. 초기의 핵분열 및 연쇄 반응에 대한 불확실성, 우라늄 농축 및 플루토늄 생산의 기술적 난관, 그리고 최종적으로 폭탄을 완성하기까지의 과정이 분석되어 있습니다. 여러 방법을 동시에 추진하고, 막대한 자금을 투입하고, 가차 없는 속도로 진행된 이 프로젝트는 전쟁 상황의 절박함과 전례 없는 규모를 보여줍니다.
더 보기
저자는 PolySubML의 형식 추론 및 구조적 하위 형식화와 OCaml의 대부분 기능을 결합하는 것을 목표로 하는 새로운 프로그래밍 언어 X를 설계하고 있습니다. 특히 OCaml의 모듈 시스템과 일반적인 값 사이의 구문적 및 개념적 차이점을 해결하는 데 중점을 두고 있습니다. 이 게시물에서는 레코드의 별칭 멤버, struct 및 sig 구문, 모듈 열기 및 포함, 모듈 확장 및 존재적 형식을 사용한 추상화 등 X에서 OCaml 모듈을 통합하는 방법을 자세히 설명합니다. 와일드카드 가져오기 방지 등 OCaml 모듈 시스템의 개선 사항도 제안합니다. 최종 목표는 더 간단하고 이해하기 쉽고 강력한 프로그래밍 언어를 만드는 것입니다.
더 보기
최근 조사에 따르면 브라질 앱스토어는 작년 브라질 개발자들에게 638억 헤알(약 117억 달러)의 수익을 가져다주었으며, 그중 90%는 수수료가 없었습니다. 그럼에도 불구하고 애플은 브라질에서 지속적인 규제 당국의 압력에 직면해 있으며, MercadoLibre의 독과점 금지 소송과 사이드로딩 및 대체 결제 방식을 의무화하는 법원 명령에 대응하고 있습니다. 애플은 브라질 경쟁 감시 기관 CADE와 협력하여 이러한 명령의 집행을 지연시키고 브라질 개발자와 경제에 대한 앱스토어의 긍정적 영향을 강조하고 있습니다.
더 보기
1995년, EA는 명문 영국 게임 스튜디오인 불프로그 프로덕션즈를 인수했습니다. 이 스튜디오는 '테마 호스피탈'과 '던전 키퍼'와 같은 상징적인 타이틀을 만들었습니다. 이 기사에서는 이러한 게임들의 격동적인 여정을 자세히 설명하고, EA 소유 하에서 창의적인 비전과 상업적인 압력 사이의 갈등을 강조합니다. 피터 몰리뉴의 고통과 '던전 키퍼' 완성 후 그의 퇴사 등을 다루며, EA에 의한 불프로그의 최종 폐쇄라는 배경 속에서 게임의 성공과 쓰라림을 보여줍니다. 게임 개발의 한 시대의 종말을 알리는 사건입니다.
더 보기
NeuralTrust와 SPLX 두 회사가 새롭게 출시된 GPT-5를 각각 독립적으로 테스트한 결과, 심각한 보안 취약점이 드러났습니다. NeuralTrust는 '스토리텔링' 공격을 사용하여 GPT-5를 유도하여 몰토프 칵테일 제조 방법을 생성하는 데 성공했습니다. SPLX는 간단한 난독화 공격만으로도 폭탄 제조 설명을 생성할 수 있음을 보여주었습니다. 이러한 결과는 GPT-5의 보안 부족을 보여주며, OpenAI의 내부 프롬프트 계층이 있어도 원시 모델은 기업 환경에서 사실상 사용할 수 없음을 시사합니다. GPT-4와 비교하여 GPT-5의 보안 강력성은 크게 저하되었으며, 매우 주의 깊게 다루어야 합니다.
더 보기
Initrode Global의 오래된 서버는 자주 충돌하여 수동으로 재부팅해야 했습니다. IT 관리자는 어찌할 바를 몰랐는데, 한 엔지니어가 기발한 해결책을 생각해냈습니다. 오래된 PC의 CD-ROM 드라이브와 수정된 스크립트를 사용하여 고장난 서버를 자동으로 재부팅하는 것이었습니다. ITAPPMONROBOT이라는 임시방편의 '로봇'은 새로운 서버가 배치될 때까지 이상하면서도 효과적인 해결책을 제공했습니다. 그 후에도 새로운 서버가 배치될 때까지 쓸모없는 루틴을 계속 수행했습니다.
더 보기
40년 전인 1985년 7월, 코모도어 아미가가 출시되어 컴퓨팅 세계에 큰 충격을 안겼습니다. 이 글에서는 아미가의 놀라운 여정을 조명합니다. 아타리 엔지니어 제이 마이너의 비전부터 하이-토로(후에 아미가로 이름이 바뀜)의 고군분투, 코모도어에 의한 인수, 그리고 최종적인 파산까지. 고급 그래픽 기능과 멀티태스킹 기능으로 유명했던 아미가였지만, 높은 가격과 설계 결함으로 성장에 제약을 받았습니다. 결국 아타리 ST에 시장 점유율에서 패배했지만, 아미가는 컴퓨팅 역사에 큰 족적을 남겼으며, 그 영향은 오늘날에도 여전히 느낄 수 있습니다.
더 보기
강박장애 진단 후 저자는 노출 반응 방지 요법(ERP 치료)을 시작했습니다. 기존의 대화 치료와 달리 ERP는 의도적으로 공포와 불안을 유발하고, 일반적인 대처 메커니즘을 억제함으로써 효과를 발휘합니다. 저자는 매우 어려운 방법이라고 느끼면서도 그 효과를 인정하고, OCD를 넘어선 잠재적 이점을 시사합니다. 그리고 LLM을 이용한 자기 주도적 ERP 실험과 전문가의 지도 중요성을 강조합니다. 불쾌한 과정이지만, 결과는 그만한 가치가 있습니다.
더 보기
이 튜토리얼에서는 Jujutsu 버전 관리 시스템을 소개합니다. Git이나 다른 VCS 경험이 필요 없습니다. 레벨별로 구성되어 있으며, 기본적인 개인 사용부터 협업, 고급 기술까지 진행됩니다. 예제 저장소와 리셋 스크립트를 통해 학습과 진행 상황 리셋이 용이합니다. Git에 익숙하더라도 이 튜토리얼은 Jujutsu를 마스터하는 더 쉬운 방법을 제공합니다.
더 보기
Nitro는 가볍고 유연한 프로세스 관리자로, Linux 시스템에서 PID 1로도 사용할 수 있습니다. 임베디드 시스템, 데스크톱, 서버 및 컨테이너 환경에 적합하며, 스크립트 디렉토리를 통해 구성됩니다. 메모리 내 상태를 유지하므로 읽기 전용 루트 파일 시스템에서도 작동합니다. 효율적인 이벤트 기반 방식으로 작동하며, 런타임 시 메모리 할당이 전혀 없고, 서비스의 안정적인 재시작 및 로깅 체인을 지원합니다. 매개변수화된 서비스와 `nitroctl` 도구를 통한 원격 제어 기능을 제공합니다.
더 보기
arXivLabs는 협력자가 arXiv의 새로운 기능을 직접 arXiv 웹사이트에서 개발하고 공유할 수 있도록 하는 프레임워크입니다. arXivLabs와 협력하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 우리의 가치를 수용하고 있습니다. arXiv는 이러한 가치에 전념하고 있으며, 이러한 가치를 공유하는 파트너와만 협력합니다. arXiv 커뮤니티에 도움이 되는 프로젝트 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요.
더 보기
2019년, 일론 머스크는 라이다와 Waymo를 과소평가했습니다. 2024년 현재, Waymo의 무인 택시 서비스는 1000만 회 이상의 주행을 달성했으며, 단 몇 달 만에 주행 횟수가 두 배로 증가했습니다. 반면 테슬라의 로보택시 서비스는 고작 10대로 시작됩니다. 저자는 Waymo가 인구 밀집 도시 지역에 집중하고 라이다 등의 기술을 활용함으로써 상당한 진전을 이루었다고 주장합니다. 테슬라의 전략은 도시 자율주행의 80/20 법칙을 간과하고 있는 것일 수 있으며, 너무 공격적일 수 있습니다. 자율주행의 나머지 20%를 해결하는 데는 80%의 노력이 필요할 수 있습니다. Waymo의 성공은 자율주행 분야에서 안정적이고 통제된 시장 접근 방식이 모든 상황을 목표로 하는 것보다 더 효과적임을 시사합니다.
더 보기
최근 2주간의 여행을 위해 저자는 Pixel 8 Pro, Xreal Air 2 Pro AR 글래스, 접이식 키보드를 사용하여 완벽한 Linux 데스크탑 환경을 구축했습니다. Android의 chroot에서 arm64 바이너리를 실행하여 Neovim, Flutter 등의 개발 도구를 사용하여 카페, 공원, 심지어 비행기에서도 작업할 수 있었습니다. 설정 과정에는 휴대폰 루팅 및 적절한 Linux 배포판 선택(Void Linux가 최적이었습니다.)과 같은 복잡한 단계가 있었지만, 이 초소형 워크스테이션은 비할 데 없는 자유와 유연성을 제공하여 개발자를 책상에서 해방시켜줍니다.
더 보기
많은 미국 가정이 이론적으로는 전기차 충전을 지원할 수 있지만, 현실은 훨씬 더 복잡합니다. 3분의 1 이상이 가정용 충전기를 사용하기 위해 값비싼 전기 시설 업그레이드가 필요하며, 이는 전기차 소유 비용을 크게 증가시켜 휘발유차를 넘어설 수 있습니다. 또한, 다세대 주택의 충전은 더 큰 과제이며, 관리 회사의 허가와 비용이 많이 드는 그리드 업그레이드가 필요하여 전기차 보급의 큰 걸림돌이 되고 있습니다.
더 보기-Bournemouth-University-RS.jpg)
트리니티 칼리지 더블린이 주도하는 국제 연구팀이 고대 DNA를 이용하여 영국의 철기 시대에 대한 매혹적인 통찰력을 밝혀냈습니다. 도싯의 매장지에서 50개 이상의 게놈을 분석한 결과, 여성 혈통을 중심으로 한 사회 구조가 드러났습니다. 이 연구는 남편이 아내의 공동체에 합류하고 토지가 모계를 통해 상속되었을 가능성을 시사하며, 이는 모계 거주제라고 불립니다. 이 패턴은 도싯에만 국한되지 않았으며, 영국의 다른 철기 시대 매장지에서도 유사한 발견이 이루어져 성 역할에 대한 기존의 인식에 의문을 제기하고 이 시대 여성의 중요한 사회적, 정치적 영향력을 강조합니다. 네이처지에 게재된 이 연구는 고고학적 관찰에 설득력 있는 유전적 증거를 추가합니다.
더 보기
100년 전, 알프레드 니슬레는 특정 균주의 대장균이 감염성 질병을 치료할 수 있다는 것을 발견했습니다. 이러한 균주 중 하나인 대장균 Nissle 1917은 연구에서 가장 많이 사용되는 프로바이오틱스 대장균이 되었고, 다양한 인체 질환에 적용되었습니다. 본 논문은 대장균 Nissle 1917의 특성을 다른 시판 대장균 프로바이오틱스 균주와 비교하여 인체 적용에 중점을 두고 있습니다. 문헌 검색을 통해 프로바이오틱스 Mutaflor, Symbioflor 2, Colinfant에 대한 연구 결과를 요약하고, 가장 가까운 근연종과 병독성 유전자를 포함한 유전자 내용을 분석합니다. 요로 감염을 일으키는 병원성 균주와의 현저한 유사성이 주목됩니다. 본 논문은 프로바이오틱스 치료에 대한 역사적인 연구 동향을 추적하고, 프로바이오틱스 대장균의 미래는 종종 항생제 내성 병원체에 의해 유발되는 위장관 감염 치료에 있을 수 있음을 시사합니다. 이는 니슬레의 최초 발견과 일치합니다.
더 보기
Rust의 ASN.1 DER 직렬화 라이브러리를 유지보수하는 동안 저자는 정수 길이 계산에서 비효율적인 코드를 발견했습니다. Claude AI를 사용하여 코드를 최적화하고 Alive2 형식 검증 도구를 사용하여 결과를 검증했습니다. 놀랍게도 Claude AI는 LLVM 컴파일러 최적화 패치 생성까지 지원했으며, 코드 리뷰를 통과하여 LLVM 프로젝트에 제출되었습니다. 이는 AI가 소프트웨어 개발, 특히 컴파일러 최적화에서 막대한 잠재력을 가지고 있음을 보여주는 동시에 AI 도구 사용 시 수동 검토의 중요성을 강조합니다.
더 보기
Notion 3.0은 문서 생성, 데이터베이스 업데이트, 여러 도구에 걸친 검색, 다단계 워크플로 실행 등을 수행하는 강력한 AI 에이전트를 통합했습니다. 그러나 연구원들은 이 강력한 기능이 심각한 보안 위험을 초래한다는 것을 발견했습니다. 공격자는 교묘하게 설계된 악의적인 프롬프트 주입 공격을 이용하여 AI 에이전트의 웹 검색 도구를 악용하고 사용자의 Notion 인스턴스에서 기밀 데이터를 유출시킬 수 있습니다. 이 공격은 겉으로 보기에 무해한 문서에 악의적인 프롬프트를 삽입하여 AI 에이전트를 속여 공격자가 제어하는 서버로 기밀 정보를 전송하게 하는 것을 포함합니다. 고급 AI 모델조차 이 공격에 취약하다는 것이 입증되었으며, SaaS 플랫폼에 AI 에이전트를 통합할 때는 강력한 보안 조치가 필수적임을 강조합니다.
더 보기
미국 최대 주택 건설업체인 D.R. Horton과 Lennar가 저품질 자재와 건축법 위반 등 신축 주택에 광범위한 건설 결함이 있다는 비난을 받고 있습니다. 이로 인해 주택이 안전하지 않고 거주할 수 없게 되었습니다. 집주인들은 지연과 거절로 가득 찬 답답한 보증 절차를 설명하며, 대부분 비싼 수리 비용을 직접 부담해야 합니다. 조사 결과, 고압적인 영업 전략, 일방적인 계약, 법적 허점을 이용하여 책임을 회피함으로써 비용을 구매자에게 전가하는 기업의 전략이 드러났습니다. 일부 집주인들은 법적 조치를 취하고 있지만, 많은 사람들은 건설업체에 유리한 시스템에 갇혀 있다고 느끼고 있습니다.
더 보기
19세기 후반, "가죽 인간"으로 알려진 정체불명의 방랑자가 미국 북동부를 배회했습니다. 수제 가죽 옷을 입고 365마일의 루트를 순회하며 34일마다 같은 마을로 돌아왔습니다. 그의 신원은 미스터리에 싸여 있습니다. 프랑스어는 유창했지만, 영어는 서툴렀고, 사후에 프랑스어 기도서가 발견되었습니다. 생계 수단은 알 수 없지만, 지역 주민들의 도움을 받았고, 일부 마을에서는 방랑자 법 적용 예외를 받았습니다. 1889년 구강암으로 사망하여 미해결 미스터리로 남아 역사가와 연구자들을 매료시키고 있습니다.
더 보기