마이크로소프트 CEO 사티아 나델라는 메타의 LlamaCon에서 마이크로소프트 저장소 내 코드의 20~30%가 AI에 의해 생성되었다고 밝혔습니다. 이 수치는 구글 CEO가 최근 발표한 30% 이상의 AI 생성 코드라는 수치와 일치합니다. 하지만 마이크로소프트의 성공은 프로그래밍 언어에 따라 다르며, Python이 C++보다 더 많은 진전을 보였습니다. 마이크로소프트 CTO는 이전에 2030년까지 95%의 코드가 AI에 의해 생성될 것이라고 예측했습니다. 정확한 측정 방법은 불명확하지만, 이러한 수치는 소프트웨어 개발에서 AI의 막대한 잠재력을 강조합니다.
더 보기
NotebookLM이 오디오 요약 기능을 업데이트하여 사용자가 원하는 출력 언어를 선택할 수 있게 되었습니다. 포르투갈어 다큐멘터리, 스페인어 연구 논문, 영어 학습 보고서 등 어떤 언어의 콘텐츠를 업로드하더라도 선택한 언어로 오디오 요약을 생성할 수 있습니다. 이를 통해 다국어 콘텐츠 또는 학습 자료 제작이 용이해집니다. 예를 들어, 교사는 아마존 열대우림에 대한 자료를 여러 언어로 공유할 수 있으며, 학생들은 이를 업로드하여 자신들의 모국어로 오디오 요약을 생성할 수 있습니다. 이렇게 하면 언어 장벽을 제거하고 정보 접근성을 높일 수 있습니다.
더 보기
구글 CEO 순다르 피차이는 반독점 소송 재판에서, 미 법무부가 경쟁사와 검색 데이터를 공유하자는 제안은 자사 검색 엔진의 ‘사실상 분할’이라고 증언했습니다. 피차이는 데이터와 순위 알고리즘 공유가 경쟁사들이 구글의 기술을 복제하고 연구개발에 피해를 줄 수 있다고 주장했습니다. 법무부는 구글이 크롬을 매각하고, 검색 데이터를 라이선스하고, 독점적 배치에 대한 지불을 중단하며, 지메니와 같은 AI 제품에 대한 금지 조치를 확대할 것을 요구하고 있습니다. 구글은 이로 인해 소비자, 경제, 그리고 미국의 기술 리더십이 손상될 것이라고 반박하고 있습니다. 이는 최근 몇 년간의 반독점 소송에서 피차이의 세 번째 증언이며, 구글이 직면하는 강력한 반독점 감시를 보여줍니다.
더 보기
Agent Reinforcement Trainer (ART)는 에이전트 워크플로우에서 대규모 언어 모델(LLM)의 성능을 향상시키기 위해 설계된 오픈소스 강화 학습 라이브러리입니다. 강력한 GRPO 알고리즘을 사용하여 모델 자체의 경험으로부터 학습합니다. 대부분의 RL 라이브러리와 달리 ART는 기존 코드베이스에 원활하게 통합되며 RL 학습 루프의 복잡성을 백엔드로 오프로드합니다. ART는 클라이언트(코드와 상호 작용)와 서버(추론 및 학습 담당)로 구성됩니다. 학습 루프에는 추론(데이터 수집 및 보상 할당)과 학습(GRPO를 사용하여 모델 학습 및 LoRA 업데이트)이 포함됩니다. ART는 vLLM/HuggingFace Transformers와 호환되는 대부분의 인과 언어 모델을 지원합니다. 현재 알파 버전이며, 기여를 환영합니다.
더 보기
DeepSeek-Prover-V2는 Lean 4에서 형식적 정리 증명을 위해 설계된 오픈소스 대규모 언어 모델입니다. DeepSeek-V3 기반의 재귀적 정리 증명 파이프라인과 강화 학습을 활용하여 비형식적 및 형식적 수학적 추론을 통합합니다. 이 모델은 DeepSeek-V3을 사용하여 복잡한 문제를 하위 목표로 분해하고, 이러한 하위 목표의 증명을 합성하여 강화 학습의 초기 데이터를 만드는 것으로 시작합니다. DeepSeek-Prover-V2-671B는 MiniF2F-test에서 88.9%의 통과율을 달성하고 PutnamBench에서 49개의 문제를 해결했습니다. 또한 고등학교 경시대회 및 교과서에서 325개의 형식화된 문제를 포함하는 새로운 벤치마크 데이터 세트인 ProverBench도 도입되었습니다.
더 보기
2019년 YouTube 홈페이지와 현재 버전을 비교하여 저자는 광고의 급증과 표시되는 동영상의 현저한 감소를 알아챘습니다. 이전에는 30개의 동영상이 표시되었지만 현재는 5개만 표시되며, 거대한 광고가 페이지의 6분의 1을 차지합니다. 저자는 2026년 5월까지 동영상이 1개만 남고, 9월까지는 홈페이지에 동영상이 전혀 표시되지 않을 것이라고 예측합니다. 저자는 YouTube가 사용자 경험을 희생하여 이익을 우선시하고 있다고 개탄하며, 미래에는 Neuralink를 통해 광고가 뇌에 직접 주입될 가능성을 유머러스하게 시사합니다.
더 보기
AI의 부상에 직면하여 위키피디아는 AI 전략을 발표했습니다. 인간 편집자를 대체하는 것이 아니라, 그들을 지원하는 것입니다. 지루한 작업 자동화, 정보 검색 기능 개선, 번역 및 콘텐츠 적응 간소화, 새로운 자원봉사자 온보딩 개선 등이 포함됩니다. 위키피디아는 인간 중심 접근 방식을 강조하고, 오픈 소스, 투명성, 다국어 지원을 우선시하여 AI가 자유롭게 접근 가능한 지식이라는 사명을 달성할 수 있도록 합니다.
더 보기
이 글은 저자가 40년 전 작은 스타트업이었던 썬 마이크로시스템즈에 입사했던 경험을 이야기합니다. UNIX와 Motorola 68000에 대한 관심으로 Amdahl에서 썬으로 이직한 저자는 썬 창업 팀을 만나게 됩니다. UNIX와 워크스테이션 경험과 형제들의 Xerox 인맥을 통해 초기 핵심 멤버로 활동하며 Sun-1 개발과 BSD UNIX 이식에 기여하고 썬의 급성장을 목격했습니다.
더 보기
일렉트로닉 아츠(EA)가 자회사인 Respawn Entertainment의 약 100명을 포함해 300~400명의 직원을 감원하고, 코드명 R7인 새로운 Titanfall 게임을 취소했습니다. 이번 감원은 자원 배분 개선 및 미래 성장 촉진을 위한 전략적 재편의 일환입니다. Titanfall 세계관을 배경으로 한 추출형 슈팅 게임인 R7은 초기 개발 단계에 있었습니다. 이는 EA Sports FC 25의 부진한 실적에 따라 EA가 회계연도 매출 예상치를 하향 조정하고, Dragon Age: The Veilguard의 판매 부진으로 BioWare에서 감원을 실시한 데 따른 것입니다.
더 보기
최근 기술 CEO들 사이에서 유행하는 것은 모든 업무에서 AI 도구 사용을 의무화하는 "AI 우선" 접근 방식에 대한 요구입니다. 저자는 이에 대해 이의를 제기하며, 이미 자신의 업무에 능숙한 직원들에게 AI 도구 채택을 강요하는 것은 생산성을 저해할 수 있다고 주장합니다. 개인적인 일화를 사용하여 저자는 AI가 특정 기술이 부족한 사람들을 지원하는 데 가장 적합하며 전문가를 대체하는 것이 아니라는 점을 설명합니다. 저자는 "AI 우선" 추진은 기술 리더들 사이의 퍼포먼스 행위, 즉 특정 그룹에 대한 소속을 나타내는 방식이며 진정한 생산성 향상과는 다르다고 시사합니다. 저자는 보다 효과적인 접근 방식은 직원들의 선택과 AI 도구의 실제 유용성에 대한 초점을 맞추는 것이라고 주장합니다.
더 보기
냉전 시대, 작은 나라 레바논은 마누크 마누기안이 이끄는 레바논 로켓 협회 아래 저궤도로 로켓을 발사하는 예상치 못한 위업을 달성했습니다. 최소한의 자원과 독창성으로 놀라운 성과를 거두었지만, 결국 지정학적 긴장, 군사화에 대한 우려, 국제적 압력으로 인해 중단되었습니다. 그들의 이야기는 자원 제약을 극복하고 불가능해 보이는 목표를 달성하기 위한 비전과 결단의 힘을 보여줍니다. 역경에 직면한 인간의 창의성을 증명하는 것입니다.
더 보기
새로운 분석에 따르면 과학 연구 개발에 대한 연방 정부 예산 삭감은 장기적으로 경제에 파괴적인 영향을 미친다는 사실이 밝혀졌습니다. 공공 연구 개발 지출을 25% 줄이면 GDP가 대공황 때와 비슷하게 감소합니다. 절반으로 줄이면 평균적인 미국인의 소득은 현재 달러로 약 1만 달러 감소합니다. 또한 이러한 감소는 연방 정부의 세입을 크게 줄이는 결과를 초래하여, 25% 감소 시 연간 4.3%, 50% 감소 시 연간 8.6% 감소합니다. 기초 연구와 응용 연구 자금 조달에 필수적인 NIH 및 NSF와 같은 기관은 자금 동결 및 규모 축소에 직면해 있으며, 이 문제에 대한 긴급한 대응의 필요성을 강조하고 있습니다.
더 보기
저자는 90년대 후반부터 개인 웹사이트를 운영해 왔으며, HTML 수작업부터 WYSIWYG 에디터, WordPress와 같은 동적 CMS까지 다양한 웹사이트 제작 방법을 경험했습니다. 동적 CMS의 지속적인 보안 업데이트와 유지보수에 대한 불만으로 정적 사이트 생성기로 전환했습니다. bashblog, Pelican, Nikola(Nikola용 Docker 컨테이너도 제작)를 사용해 본 후, 2015년에 자체 Bash 정적 사이트 생성기(BSSG)를 개발했습니다. BSSG는 시간이 지남에 따라 발전하여 테마, 아카이브, 태그 등의 기능이 추가되었습니다. 장점은 경량성, 이식성, 고성능, 높은 접근성 점수, Markdown 지원, 다양한 테마입니다. 코드의 불완전성을 인지하고 있지만, 저자는 BSSG를 오픈소스로 공개하여 동적 CMS 유지보수에 지친 사람들에게 도움이 되기를 바랍니다.
더 보기
Raven은 OCaml에 머신러닝과 데이터 과학을 제공하는 포괄적인 생태계입니다. NumPy(Ndarray 사용), Jupyter(Quill 사용), JAX(Rune 사용)과 같은 인기 있는 Python 도구를 반영한 라이브러리를 제공하며, OCaml의 형식 안전성과 성능을 활용하면서 Python과 같은 사용 편의성을 목표로 합니다. 현재 프리알파 버전이지만, 수치 계산, 시각화(Hugin) 등 다양한 도구를 갖추고 있으며, 보다 안전하고 빠른 언어를 찾는 데이터 과학자에게 매력적인 대안이 될 것입니다.
더 보기
정중하게 거절하는 데 어려움을 겪고 계십니까? 이 경량 API인 "No as a Service"는 모든 상황에 맞는 수천 가지의 창의적이고 유머러스한 거절 이유를 제공합니다. 앱, 봇, 랜딩 페이지 등에 쉽게 통합할 수 있으며, 재치 있는 거절 편지를 작성하는 데에도 도움이 됩니다. 오픈소스 코드는 쉽게 실행할 수 있으며, 세련되게 "거절"하는 데 재미있고 효율적인 도구입니다.
더 보기
이 글은 스포츠 예술을 렌즈 삼아 잉글리시 헤지의 역사와 사회경제적 변화와의 연관성을 탐구합니다. 서로 다른 시대의 그림들은 변화무쌍한 풍경을 보여줍니다. 번영기에는 무성한 헤지가, 불황기에는 듬성듬성 방치된 헤지가 그려져 있습니다. 농업 효율 향상을 위한 2차 세계대전 이후 헤지 제거가 강조되며, 1945년 이전의 농촌 지역이 항상 생물다양성이 풍부했다는 일반적인 인식에 이의를 제기합니다. 이 글은 잉글리시 컨트리사이드가 역동적이며, 그 외관은 정부 정책에 의해 형성되고 자연적 과정만으로 형성되는 것이 아니라고 주장합니다.
더 보기
최근 로버트 F. 케네디 주니어가 자폐증을 국가적 유행병으로 선언하고 자폐증 환자들의 잠재력에 대해 경멸적인 발언을 한 것이 광범위한 분노를 불러일으켰습니다. 많은 자폐증 환자들이 사회에 기여할 수 없다는 그의 주장은 수많은 재능 있는 자폐증 시인과 작가들의 현실과 정면으로 배치됩니다. 이 기사는 자폐증 시인들이 창작한 방대한 작품들을 조명하여 그들의 독특한 관점과 예술적 기여를 보여줍니다. 시의 구조와 자폐증 사고방식의 조화를 강조하여 결국 케네디의 해로운 고정관념을 반박하고 자폐증 공동체 내의 풍부한 창의성을 기립니다.
더 보기
케머스와 전신 듀폰은 노스캐롤라이나주 케이프피어 강에 PFAS 화학물질을 배출한 것과 관련된 약 2만 건의 문서 봉인을 시도하고 있습니다. 사우스 앤바이런멘털 로센터(SELC)가 대표하는 환경단체들은 해당 문서가 지역 사회와 미래 세대의 건강과 재산에 미치는 영향을 이해하는 데 필수적이라고 주장하며 개입하고 있습니다. 케머스는 문서에 기업 비밀이 포함되어 있다고 주장하지만, SELC는 회사가 이미 마케팅 캠페인에서 많은 정보를 공개했다고 반박합니다. 투명성을 요구하는 온라인 청원에는 수천 개의 서명이 모여 이러한 은폐 시도에 대한 광범위한 우려를 보여주고 있습니다.
더 보기
NIST의 새로운 세슘 분수 시계 NIST-F4는 세계에서 가장 정확한 시계 중 하나입니다. 공룡이 살았던 시대부터 작동했다고 해도 현재 오차는 1초 미만입니다. 이 원자 시계 기술의 획기적인 발전은 미국의 공식 시간 보정과 세계 협정 세계시(UTC)에 기여하여 금융, 통신, 운송 등 중요 시스템의 정확성을 보장합니다. 이 성과는 NIST가 정밀한 시간 측정 분야에서 선도적인 위치를 확고히 하는 것입니다.
더 보기
콜로라도주 크레스톤 니들은 예전에는 등반이 불가능하다고 여겨졌지만, 현재 매년 수천 명의 하이커들을 불러 모으고 있습니다. 이로 인한 환경적 압력으로 인해 토지 관리자들은 보존과 지속 가능한 접근 사이의 균형을 모색해야만 합니다. 기존의 방문객 수 제한은 더 과학적이고 증거 기반의 접근 방식으로 대체되고 있습니다. 연구자들은 설문 조사, 인터뷰, 드론 기술 등을 사용하여 정책이 생태계와 방문객에게 미치는 영향을 분석하고, 엄격한 제한이 아닌 행동 변화를 통해 환경적 영향을 최소화하는 방법을 모색하고 있습니다. 이러한 행동 변화 중심 전략은 지역 사회 참여 및 데이터 중심 접근 방식과 결합하여 인간과 자연의 조화로운 공존을 목표로 하며, 더 많은 사람들이 야외 레크리에이션을 즐길 수 있도록 하면서 동시에 취약한 환경을 보호합니다.
더 보기
샤오미는 추론 능력에 특화된 70억 매개변수의 거대 언어 모델 MiMo-7B를 발표했습니다. 최적화된 사전 학습 데이터와 전략, 그리고 혁신적인 강화 학습 훈련 기법을 통해 MiMo-7B는 수학 및 코드 추론 과제에서 뛰어난 성능을 보이며 320억 매개변수 모델을 능가합니다. 이 오픈소스 모델에는 기본 모델, SFT 모델, 강화 학습으로 훈련된 모델 등 여러 개의 체크포인트가 포함되어 있어 강력한 추론 능력을 갖춘 LLM 개발에 귀중한 자원을 제공합니다.
더 보기
파이어플라이 에어로스페이스의 여섯 번째 알파 로켓 발사는 공식적으로 실패로 끝났습니다. 이 임무는 록히드 마틴이 개발한 기술 시연 페이로드를 저궤도(LEO)로 보내는 것을 목표로 했습니다. 그러나 단계 분리 직후 이상이 발생하여 상단 엔진의 추력이 크게 감소하여 페이로드가 궤도 속도에 도달하지 못했습니다. 페이로드는 결국 태평양에 추락했습니다. 이는 6번의 시도 중 두 번째 파이어플라이 알파 로켓 임무 실패입니다. 파이어플라이는 고객 및 FAA와 협력하여 이상의 원인을 조사할 것입니다.
더 보기
핀란드 의회는 초중등학교 학생들의 휴대 기기 사용을 제한하는 법안을 통과시켰습니다. 이 법안은 여름 방학 후 8월에 시행될 예정입니다. 완전 금지는 아니지만 수업 중에는 일반적으로 휴대폰 사용이 금지됩니다. 학생들은 교육적 또는 건강상의 이유로 휴대폰을 사용하려면 교사의 허락을 받아야 합니다. 학교 직원은 수업을 방해하는 기기를 압수할 수 있습니다. 교육부 장관은 휴대폰 사용 제한에도 불구하고 학생들의 디지털 기술 개발을 지속적으로 지원할 것을 보장합니다.
더 보기
2024년부터 2025년까지 AI 모델 개발은 전례 없는 붐을 맞았습니다. Stable Diffusion 3부터 GPT-4o, Gemini부터 Claude 3까지, 기술 대기업과 스타트업들이 잇따라 새로운 모델을 발표하며 이미지 생성, 비디오 생성, 텍스트 생성, 멀티모달 분야에서 치열한 경쟁이 펼쳐졌습니다. 오픈소스 모델의 부상 또한 AI 기술의 보급과 발전에 새로운 활력을 불어넣었습니다. 이러한 "모델 경쟁"은 계속해서 진화하며, 파라미터 수와 기능이 점점 증가하여 결국 AI의 미래를 만들어갈 것입니다.
더 보기
2020년에 실직한 Ilia는 원격 근무 붐을 타고 Microsoft Teams용 앱 개발에 착수했습니다. 초기 번역 앱은 실패했지만, Teams의 내장 Wiki의 부족함을 간파하고 간단하고 사용하기 쉬운 지식 베이스 툴인 'Perfect Wiki'를 개발했습니다. Teams와의 완벽한 통합과 사용자 니즈에 대한 날카로운 통찰력 덕분에 Perfect Wiki는 빠르게 확산되어 5년 만에 연봉 25만 달러를 달성했습니다. 단 2명의 인력으로 이룬 성공은 틈새 시장 집중과 간단하면서 효과적인 제품 개발의 중요성을 보여줍니다.
더 보기
arXivLabs는 참여자들이 arXiv의 새로운 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 실험적인 프레임워크입니다. 참여자들은 arXiv의 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 가치를 공유합니다. arXiv 커뮤니티를 개선할 아이디어가 있으신가요? arXivLabs에 대해 자세히 알아보세요!
더 보기
이 실험에서는 OpenAI와 Anthropic의 여러 대규모 언어 모델(LLM)의 무작위성을 테스트했습니다. 모델이 동전을 던지고 0에서 10 사이의 무작위 숫자를 예측하도록 함으로써 연구자들은 그 결과에 상당한 편향이 있음을 발견했는데, 이는 모델이 진정으로 무작위적이지 않음을 나타냅니다. 예를 들어, 동전 던지기 실험에서 모든 모델은 '앞면'을 선호하는 경향을 보였고, GPT-o1은 49%라는 가장 극단적인 편향을 보였습니다. 홀수/짝수 예측에서는 대부분의 모델이 홀수를 선호했고, Claude 3.7 Sonnet은 47%라는 가장 강한 편향을 보였습니다. 이러한 결과는 고급 LLM조차도 훈련 데이터 분포의 영향을 받아 예상치 못한 패턴을 보일 수 있음을 강조합니다.
더 보기
웹 엔지니어 John Martin은 2014년에 대화처럼 이메일을 처리할 수 있는 애플리케이션 Talanoa의 아이디어를 떠올렸습니다. 매년 이 아이디어를 검토하고, 시장에 유사한 제품이 없다는 것을 깨달은 후 마침내 출시했습니다. 이 이야기는 비전을 실현하고 시장의 격차를 메우는 데 필요한 헌신과 인내를 보여줍니다.
더 보기
QuantCo는 레거시 코드베이스를 현대화하는 과정에서 데이터프레임 처리의 심각한 결함, 즉 검증 부족을 발견했습니다. 성능 향상을 위해 pandas에서 Polars로 마이그레이션하면서 이 문제가 두드러졌습니다. pandera나 patito와 같은 기존 라이브러리는 부족한 것으로 판명되었습니다. 이를 해결하기 위해, 그들은 선언적 데이터프레임 검증을 가능하게 하는 Polars 기반 라이브러리인 dataframely를 개발했습니다. dataframely는 스키마 정의, 데이터프레임 내용 검증, 데이터프레임 간 검증, 소프트 검증을 지원하여 파이프라인의 안정성과 가독성을 크게 향상시킵니다. 이미 여러 팀과 프로젝트에서 사용되고 있습니다.
더 보기
HP의 태블릿과 휴대폰 계획 대부분이 실망스러웠던 반면, 소프트웨어 팀은 진정으로 혁신적인 디자인을 개발하고 있었습니다. 코드명 'Eel'인 webOS의 다음 주요 버전은 원래 Palm Pre에서 도입된 '카드' 메타포어를 확장하는 것을 목표로 했습니다. '카드 스택'과 '반응형 패널'을 결합하여 사용자는 왼쪽에 새로 분리된 카드로 링크를 열고, 이를 슬라이드하거나 '잘라내어' 다른 스택으로 이동할 수 있었습니다. 이를 통해 창 크기와 그룹화가 유연해졌으며, 스마트폰과 태블릿 모두에서 잘 작동했습니다. 생산성 향상을 위한 혁신적인 시도였지만, 결국 프로젝트는 잠재력을 완전히 발휘하지 못했습니다.
더 보기