최근 대규모 언어 모델(LLM)의 코드 생성 능력 향상은 프로그래밍의 종말을 시사하는 논쟁을 불러일으켰습니다. 하지만 이 글에서는 그러한 낙관적인 견해에 반박합니다. 프로그램 합성의 계산 복잡도에 주목하여 올바른 코드를 생성하는 것이 PSPACE 완전 문제임을 보여줍니다. 즉, 중간 규모의 입력에도 지수 함수적인 시간이 걸릴 수 있다는 것입니다. LLM은 프로그래머를 지원하고 효율성을 높이는 도구가 될 수 있지만, 본질적인 한계 때문에 인간 프로그래머를 완전히 대체할 수는 없습니다. 프로그래밍의 핵심은 문제 해결과 시스템 설계이며, 인간의 창의성과 상상력을 필요로 합니다.
더 보기
Preserves는 JSON, XML 등과 유사한 데이터 모델 및 직렬화 형식입니다. 구문에 독립적인 데이터 모델과 의미 체계를 갖추고 있어 다양한 구문 간의 손실 없는 변환을 지원합니다. 이 프로젝트는 사양, 자습서, 여러 언어(Python, Rust, JavaScript 등)의 구현 및 더욱 강력하고 유연한 데이터 표현을 원하는 개발자를 위한 도구를 제공합니다. 또한 효율적인 데이터 조작을 위한 스키마 및 쿼리 기능도 제공합니다. JSON과 비교하여 Preserves는 더욱 풍부한 표현력과 향상된 확장성을 제공합니다.
더 보기
Nvidia Sparse Voxels Rasterization 논문의 희소 볼륨 씬을 시각화하는 대화형 WebGL 뷰어입니다. 이 뷰어를 사용하면 웹 브라우저에서 볼륨 방사휘도장을 탐색하고 시각화할 수 있습니다. 렌더링은 참조 CUDA 구현과 유사합니다. 대화형 카메라 제어(마우스 및 터치), 성능 메트릭 표시(FPS), 사용자 지정 PLY 파일 로드를 지원합니다. 이 프로젝트는 AI 지원을 활용하여 정형 코드에는 매우 효율적이었지만 복잡한 그래픽 버그 수정에는 그다지 효율적이지 않았습니다. 생성된 PLY 파일의 크기가 클 수 있으므로 볼륨 수를 제한하는 것을 고려하십시오.
더 보기
BioNTech는 산안토니오 유방암 심포지엄에서 새로운 이중 특이성 항체 BNT-327의 초기 임상 시험 데이터를 발표했습니다. PD-1/PD-L1과 VEGF를 표적으로 하는 이 항체는 삼중 음성 유방암 환자에게 긍정적인 결과를 보였습니다. 면역관문 억제제 발견을 기반으로, 이 연구는 차세대 면역 요법의 잠재적인 돌파구이며, 삼중 음성 유방암과 다른 암에 대한 새로운 치료법에 대한 희망을 제공합니다.
더 보기
이 글에서는 네트워크 프로그래밍에서 BSD kqueue와 Linux epoll의 차이점을 자세히 다룹니다. kqueue는 이벤트 필터를 사용하여 강력한 기능을 제공하지만, 합성성이 부족하여 기술 부채가 누적됩니다. 반면 epoll은 커널 핸들을 직접 조작하여 더 높은 합성성을 제공하며, 소켓, 파일 시스템 경로, 타이머 등 다양한 커널 리소스를 유연하게 모니터링할 수 있습니다. 저자는 새로운 기능이 추가될 때마다 kqueue에 새로운 이벤트 필터 유형을 계속 추가해야 하는 문제를 해결하기 때문에 epoll의 설계가 우수하다고 주장합니다.
더 보기
연구자들은 GPT-3.5와 GPT-4로 생성된, 전형적인 3~4세 어린이가 이해할 수 있는 어휘만 사용한 짧은 이야기의 합성 데이터셋인 TinyStories를 발표했습니다. 1천만개 미만의 매개변수와 단순한 아키텍처(단일 트랜스포머 블록)를 가진 TinyStories로 훈련된 언어 모델조차도 놀랍도록 훌륭한 문법과 추론 능력을 보이는 유창하고 일관된 여러 단락의 이야기를 생성할 수 있다는 것을 보여주었습니다. 이는 일관된 텍스트 생성에는 대규모 모델과 복잡한 아키텍처가 필요하다는 생각에 이의를 제기하는 것이며, GPT-4를 사용하여 생성된 이야기를 인간 교사처럼 채점하는 새로운 평가 패러다임을 도입하여 표준 벤치마크의 한계를 극복합니다.
더 보기
이 글은 챗 인터페이스가 진지한 소프트웨어 개발에는 근본적으로 적합하지 않다고 주장합니다. AI는 자연어로 프로그래밍을 더 직관적으로 만들겠다고 약속하지만, 저자는 강력한 소프트웨어를 구축하려면 추측이 아니라 정확성과 명시적인 문서가 필요하다고 주장합니다. 챗 인터페이스는 변경 사항 추적, 복잡성 관리, 그리고 궁극적으로 프로덕션 준비 소프트웨어 제공을 방해합니다. 이 글은 AI 개발 도구의 미래는 명확한 사양과 체계적인 개발을 가능하게 하는 문서 중심 인터페이스에 있다고 말합니다.
더 보기
Go 1.24는 암호화 패키지를 대대적으로 리팩토링하여 FIPS 140-3 준수를 달성했습니다. 순수 Go(및 Go 어셈블리)로 구현된 FIPS 140-3 검증 암호화 모듈을 통해 cgo나 시스템 호출에 대한 의존성을 제거한 것이 주요 특징입니다. Microsoft Go 1.24도 업데이트되어 macOS 미리 보기 지원과 향상된 Azure Linux 지원이 추가되었지만, 암호화에는 시스템 라이브러리를 계속 사용하며 공식 Go 방식과는 다릅니다. GODEBUG=fips140=on이나 GOFIPS140=latest와 같은 새로운 환경 변수는 FIPS 모드를 제어합니다. FIPS 준수 시스템(Azure Linux, Windows)에서는 런타임이 자동으로 활성화됩니다.
더 보기
HP Inc.는 유럽 여러 국가에서 일반 소비자용 PC 및 프린터의 전화 지원에 최소 15분의 대기 시간을 도입했습니다. 이는 고객을 온라인 지원 채널로 유도하고 보증 비용을 절감하기 위한 전략입니다. 내부 관계자들은 우려를 표명하고 있으며, 의사 결정자와 영향을 받는 고객 간의 괴리감을 강조하고 있습니다. HP는 고객 만족도 지표를 모니터링하고 있다고 주장하지만, 이 조치로 일부 고객이 소셜 미디어나 라이브 채팅과 같은 대체 지원 방법으로 전환될 가능성이 있습니다.
더 보기
마이크로소프트는 Windows 11 Canary 및 Dev 채널의 Windows Insider를 위해 페인트, 스니핑 툴, 메모장 업데이트를 출시했습니다. 페인트에는 AI 기반 스티커 생성기, 스마트 개체 선택 도구, 새로운 환영 경험이 추가되었습니다. 스니핑 툴에는 완벽한 스크린샷 및 색상 선택 도구가 추가되었습니다. 메모장에는 AI 기반 작성 기능이 추가되어 텍스트를 빠르게 작성할 수 있습니다. 이러한 새로운 기능 대부분은 Copilot+ PC와 Microsoft 계정 로그인이 필요하며, 일부 기능은 Microsoft 365 구독이 필요합니다.
더 보기
Y Combinator 지원을 받는 Converge사는 100만 달러 이상의 ARR을 달성한 B2C 마케팅 측정 플랫폼을 구축할 시니어 풀스택 엔지니어를 채용하고 있습니다. 4명으로 구성된 팀은 180개 이상의 고객을 보유하고 있으며, 연간 수십억 달러의 매출과 월간 수십억 건의 이벤트를 처리합니다. 고객 데이터 수집, ID 확인, 마케팅 분석 등 통합 마케팅 측정 스택 구축에 참여하고, 고객과 직접 소통하며 상당한 자율성과 영향력을 행사합니다. 실행력, 지속적인 학습, 긍정적인 태도, 간결성을 중시합니다. React 및 백엔드 개발 능력, 프로덕션 소프트웨어 배포 및 확장에 대한 지식이 필요합니다.
더 보기
앨런 긴즈버그의 '캘리포니아의 슈퍼마켓'은 쇼핑 여정을 영혼의 여정으로 묘사한 초현실주의 시다. 이 시는 현실과 환상을 엮어, 화자가 슈퍼마켓에서 월트 휘트먼의 유령을 만나 미국, 고독, 사랑에 대한 환상적인 탐구를 시작하는 장면을 보여준다. 풍부한 이미지와 깊은 상징은 사회, 삶, 그리고 아메리칸 드림에 대한 성찰을 불러일으킨다.
더 보기
AI 모델을 다양한 도구와 데이터 소스에 연결하는 유니버설 인터페이스를 상상해 보세요. 바로 MCP(모델 컨텍스트 프로토콜)입니다. AI를 위한 USB-C 포트와 같이 AI와 외부 세계의 상호 작용을 간소화합니다. 개별 통합이 필요한 기존 API와 달리 MCP는 표준화, 동적 검색 및 실시간 양방향 통신을 제공하여 AI 애플리케이션을 더욱 유연하고 효율적으로 만듭니다. 컨텍스트 인식이 필요한 복잡한 시나리오, 예를 들어 스마트 일정 관리자나 고급 IDE에 이상적입니다.
더 보기
이 블로그 게시물에서는 macOS coreaudiod 시스템 데몬의 고위험 형식 혼동 취약성을 발견하고 악용한 저자의 경험에 대해 자세히 설명합니다. 사용자 정의 퍼징 하네스, 동적 계측 및 정적 분석을 사용하여 Google Project Zero의 보안 엔지니어인 저자는 샌드박스 이스케이프 취약성을 발견했습니다. 이 연구에서는 지식 기반 퍼징 방식을 채택하여 자동화된 퍼징과 목표 지향적인 수동 리버스 엔지니어링을 결합했습니다. 이 취약성(CVE-2024-54529)은 Apple에서 패치되었습니다.
더 보기
Snap Inc.의 내부 이메일을 통해 회사가 매달 약 1만 건의 성착취 신고를 받고 있다는 사실이 드러났습니다. 이는 문제의 빙산의 일각일 뿐일 가능성이 높습니다. 본 기사에서는 Snapchat이 10대 청소년들에게 미치는 영향을 조사하고, 광범위한 피해를 자세히 설명하는 소송 및 내부 문서를 검토합니다. 여기에는 중독성 있는 디자인, 마약 및 총기 거래, CSAM, 성착취, 오프라인 성폭행, 사이버 괴롭힘 등이 포함됩니다. Snap 내부 관계자들은 이러한 문제들을 인정하지만, 대응이 느리고 효과적인 완화책이 부족합니다. 본 기사에서는 Snap에 젊은 사용자들을 보호하기 위한 디자인 변경을 촉구합니다.
더 보기
중국 저장대학교 연구진이 세계에서 가장 작은 발광 다이오드(LED) 디스플레이를 개발했습니다. 픽셀 크기는 100마이크로미터 미만이며, 놀랍게도 90나노미터에 달해 바이러스보다 작습니다! 이 획기적인 기술은 페로브스카이트 반도체 소재를 사용하여 극히 작은 크기에서도 밝기와 효율을 유지합니다. 이는 초소형 디스플레이 기술에 새로운 가능성을 제시합니다. 이 연구 결과는 네이처지에 게재되었습니다.
더 보기
IEMidi는 ImGui와 RtMidi로 구축된 크로스 플랫폼 MIDI 에디터로, 사용자는 MIDI 메시지를 볼륨 조절, 음소거, 콘솔 명령어 또는 파일 열기와 같은 작업에 매핑할 수 있습니다. 이 오픈소스 프로젝트는 코딩, 패키징, 문서, 디자인 또는 테스트에 대한 기여를 환영합니다. Windows 사용자는 설치 프로그램을 다운로드할 수 있으며, Linux 사용자는 yum 또는 apt를 통해 설치할 수 있습니다.
더 보기
과학자들은 지하 침투 레이더와 레이저 스캐닝과 같은 비파괴 방식을 사용하여 밀라노 스포르체스코 성 지하에 숨겨진 지하 통로 네트워크를 발견했습니다. 1495년경 레오나르도 다 빈치의 스케치와 역사 기록에서 암시된 이 터널들은 병사들의 탈출 경로 또는 방어 메커니즘으로 사용되었을 가능성이 있습니다. 이 발견은 다 빈치의 군사 공학적 능력을 강조하고 문화유산 보존의 중요성을 부각합니다. 추가 조사 결과 추가 터널과 지하실이 드러났으며, 그중 하나는 산타 마리아 델레 그라치에 성당으로 이어질 가능성이 있으며, 밀라노 공작이 죽은 아내의 무덤에 접근하기 위해 건설했을 가능성이 있습니다. 역사적 손상에도 불구하고 성의 지하 구조는 풍부한 역사적 정보를 간직하고 있으며, 역사는 종종 눈에 보이는 곳에 숨겨져 있다는 사실을 상기시켜줍니다.
더 보기
노스웨스턴 대학교 연구진은 현재 라임병 표준 치료인 독시사이클린을 훨씬 능가하는 항생제인 피페라실린을 발견했습니다. 피페라실린은 독시사이클린의 100분의 1 용량으로 쥐의 라임병을 치료했으며, 장내 미생물총에 대한 영향도 최소화했습니다. 또한 이 연구는 치료 후 라임병(PTLD)의 잠재적 원인을 밝혀냈습니다. 간에 남아 있는 보렐리아 세포벽 잔해가 면역 반응을 유발한다는 것입니다. 이 발견은 보다 정확한 라임병 진단법, 치료법 및 만성 증상 예방 전략 개발로 이어질 것입니다.
더 보기
미국 연방거래위원회(FTC)는 N95 표준을 충족한다고 허위 광고한 Razer의 Zephyr 마스크를 구매한 6,700명 이상의 고객에게 환불을 진행하고 있습니다. 2021년 RGB 조명이 장착된 마스크를 출시한 Razer는 해당 마스크를 인증에 제출하지 않았습니다. FTC는 100만 달러가 넘는 합의금을 받았으며, 환불은 현재 수표와 PayPal을 통해 진행되고 있습니다. Razer는 FTC의 주장에 이의를 제기하고 있지만, 환불은 이루어집니다.
더 보기
파킨슨 법칙은 일이 완료에 필요한 시간을 채우도록 확장된다는 법칙입니다. 제임스 스테이너는 엔지니어링 관리자의 관점에서 도전적이지만 달성 가능한 마감일을 설정하는 것이 중요하다고 주장합니다. '철의 삼각형'(범위, 자원, 시간)을 사용하여 마감일이 범위 확장을 방지하고 효율성을 높이며 혁신을 촉진하는 방법을 보여줍니다. 또한 주간 보고를 구현하여 사전적인 작업 완료를 장려하여 궁극적으로 효율성을 높이는 것을 강조합니다.
더 보기
저자는 골수 이식 후 생존율을 예측하는 Kaggle 경진대회에 참가했습니다. 경진대회의 평가 지표는 서로 다른 인종 그룹 간의 예측에 과도한 차이가 발생하지 않도록 설계된 계층화된 콘코던스 지수입니다. 그러나 이 지표에는 결함이 있습니다. 특정 그룹의 점수를 향상시켜도 전체 점수가 항상 향상되는 것은 아니며, 오히려 감소할 수도 있습니다. XGBoost 모델을 사용하는 과정에서 저자는 복잡한 통계 모델보다 간단한 의사결정 트리 앙상블 모델이 더 효과적이라는 것을 발견하고, 통계적 방법과 기계 학습 방법의 차이점을 탐구했습니다. 마지막으로 저자는 AFT 분포의 척도 매개변수를 조정함으로써 모델의 정확도에 큰 영향을 미친다는 것을 발견하고, 모델 개선을 위한 몇 가지 미해결 과제를 제시했습니다.
더 보기
컴퓨터 아키텍처 분야에서 평균 성능 계산 방법을 둘러싼 오랜 논쟁이 있다. Hennessey와 Patterson의 획기적인 저술은 바람직한 수학적 특성 때문에 기하 평균을 지지한다. 그러나 최근 논문은 기하 평균의 물리적 의미에 의문을 제기하며, "동일 작업 시간 조화 평균 속도 향상"을 대안으로 제시한다. 저자는 조화 평균이 작업 부하를 순차적으로 실행할 때의 총 속도 향상과 같기 때문에 현실 세계 시나리오를 더 잘 반영한다고 주장한다. 그러나 이는 실제로 작업 부하 실행 시간의 불균형을 무시하며, 물리적 의미는 대부분 무관하게 된다. 논문은 작업 부하의 정확한 조합과 가중치를 알지 못하는 한, 단일 숫자 평균으로는 기계를 완벽하게 비교할 수 없으며, 기하 평균은 비교의 용이성과 널리 알려진 점 때문에 타당한 선택으로 남는다는 결론을 내린다.
더 보기
테슬라의 AI 및 옵티머스 엔지니어링 부사장인 밀란 코바치가 이번 주 사임을 발표했습니다. 이는 일론 머스크의 전기 자동차 및 로봇 제국에서 또 다른 고위 임원의 퇴사를 의미합니다. 테슬라의 FSD 기술과 옵티머스 로봇 개발에 중요한 역할을 한 코바치는 가족적인 사유를 퇴사 이유로 밝혔습니다. 그의 거의 10년에 걸친 재임 기간 동안 오토파일럿 1.0에서 자체 개발한 FSD 칩인 HW 3.0으로의 전환, 그리고 여러 차량 플랫폼에 걸친 엔지니어링 노력을 이끌었습니다. 임원 퇴사는 테슬라에서 드문 일이 아니지만, 코바치의 퇴사는 그의 공헌과 오토파일럿 '삼총사' 중 한 명으로서의 역할을 고려할 때 주목할 만합니다. 아쇼크 엘루스와미가 이제 FSD 프로그램과 옵티머스 로봇 이니셔티브를 모두 감독하게 됩니다. 이 기사에서는 AI 데이 프레젠테이션을 둘러싼 일론 머스크와의 과거 갈등에 대해서도 자세히 설명하며, 테슬라 경영 환경의 극심한 압력을 강조합니다.
더 보기
Icicle은 구조체 배열 방식을 사용하여 C 언어로 컴파일되는 고급 스트리밍 쿼리 언어입니다. 순수성을 보장하기 위해 컴파일러는 처음에 배열 변경 전에 복사 작업을 삽입합니다. 이 게시글에서는 Tardis 모나드와 스티칭 그래프를 사용하여 이러한 복사 작업의 대부분을 제거하고, 파괴적 업데이트를 가능하게 하며, 최대 50%의 런타임 감소를 달성하는 최적화에 대해 설명합니다. 이 알고리즘은 배열 참조를 추적하기 위한 참조 그래프를 생성하고, Tardis 모나드를 사용하여 앞뒤로 순회하여 안전한 파괴적 업데이트를 결정합니다. 이는 함수형 프로그래밍 개념과 컴파일 시간 최적화를 교묘하게 결합하여 스트리밍 쿼리 언어의 성능 향상을 위한 새로운 접근 방식을 제공합니다.
더 보기
새로운 연구에 따르면, 1924년 이후 미국에서 식용 소금에 요오드를 첨가한 결과 20세기 내내 미국인의 인지 능력이 크게 향상된 것으로 나타났습니다. 처음에는 갑상선종 감소를 목표로 했지만, 연구 결과 요오드가 뇌 발달에 중요한 역할을 한다는 사실이 밝혀졌습니다. 1924년 이전과 이후에 입대했던 군인들의 데이터를 비교 분석한 결과, 요오드가 부족한 지역에서는 IQ가 15포인트나 상승한 것으로 나타났습니다. 초기 요오드 섭취 증가로 인해 갑상선 관련 사망자도 발생했지만, 이러한 노력으로 요오드 결핍증과 그 증상은 거의 근절되었습니다. 이 발견은 20세기 내내 관찰된 IQ 점수의 향상인 플린 효과의 일부를 설명할 수 있으며, 요오드가 이러한 향상의 상당 부분을 차지했음을 시사합니다.
더 보기
Linux 6.13 안정화 버전 커널이 출시되었습니다. Ryzen X3D 프로세서를 위한 AMD 3D V-Cache 최적화, AMD EPYC 9005 "Turin" 서버의 전력 효율 향상, 구형 Apple 기기 지원, AutoFDO/Propeller 컴파일러 최적화 등 흥미로운 기능이 포함되어 있습니다. Intel Xe3 그래픽의 초기 지원, NVMe 2.1 지원, 확장된 Rust 언어 인프라도 포함되어 있습니다. 2025년 첫 주요 커널 릴리스인 Linux 6.13은 성능과 하드웨어 호환성을 크게 향상시킵니다.
더 보기
컴퓨팅 연구 분야의 선두주자인 ACM은 2025년 말까지 완전한 오픈 액세스(OA) 출판 모델로 전환합니다. 이 중요한 조치를 통해 모든 ACM 연구가 무료로 이용 가능해집니다. 전환은 기관의 출판물 산출량을 기반으로 하는 구독 모델인 ACM Open을 통해 촉진되며, 무제한 OA 출판과 ACM 디지털 라이브러리에 대한 완전한 액세스를 제공합니다. 이러한 접근 방식은 연구에 대한 장벽을 제거하고 혁신을 가속화하는 동시에 지속 가능성을 보장합니다. ACM 디지털 라이브러리의 프리미엄 버전과 기본 버전은 2026년 1월부터 제공됩니다.
더 보기
이 글은 과학계에서 비윤리적인 행동을 ‘인센티브’ 탓으로 돌리는 일반적인 관행을 비판합니다. 저자는 과학자들이 p-hacking이나 선택적 보고와 같은 행위에 대한 책임을 회피하기 위해 ‘인센티브’를 핑계로 자주 사용한다고 주장합니다. 이러한 정당화에 반박하는 9가지 주장이 제시되어 있으며, 이는 어떤 행동도 정당화하고, 도덕적 및 장기적인 책임을 무시하며, 궁극적으로 시스템을 바꾸지 못하고 문제를 악화시킬 수도 있음을 강조합니다. 이 글은 과학자들이 책임을 지고, 개인적인 이익을 위해 과학적 완전성을 희생하는 대신 장기적인 관점을 가져야 한다는 결론으로 마무리됩니다.
더 보기