NASA의 큐리오시티 로버가 화성 게일 크레이터의 샤프 산에서 상당한 양의 탄산염 퇴적물을 발견하여 과거 탄소 순환의 존재를 시사합니다. 이 발견은 화성이 과거에 더 두꺼운 대기를 가지고 있었고 생명체를 유지할 수 있었을 가능성을 뒷받침합니다. 연구자들은 화성의 대기가 얇아짐에 따라 이산화탄소가 암석으로 변환되어 기온이 낮아지고 결국 거주 가능성이 상실되었다고 생각합니다. 이 발견은 화성의 기후 변화와 거주 가능성을 이해하는 데 중요한 단서를 제공하며, 외계 생명체 탐색에 새로운 길을 열어줍니다.
더 보기
파트너와 저는 제 Next.js 코스 출시를 위해 ProofyBubble을 만들었습니다. 웹사이트 트래픽, 대기자 명단 등록, 향후 매출, 과거 매출을 보여주기 위해 ProofyBubble을 추가한 후 수익이 크게 증가했습니다. 그 이후로 모든 제품에서 ProofyBubble을 사용하여 뉴스레터 구독자 수, 매출이 증가했고, 코스 출시에 강력한 소셜 프루프를 제공할 수 있었습니다. 독립 크리에이터와 중소기업에 ProofyBubble을 적극 추천합니다. 가격도 합리적입니다.
더 보기
이 글에서는 ATmega328 기반의 초저전력 Arduino 시스템에 대해 자세히 설명합니다. 하드웨어를 최소화하고 JeeLib 라이브러리의 절전 기능을 활용하여 저자는 시스템의 전력 소비량을 6.7mA에서 43μA로 줄여 배터리 수명을 크게 늘렸습니다. 이 글에서는 하드웨어 연결, 소프트웨어 프로그래밍, 전력 소비 테스트 결과를 자세히 설명하고, 온도 센서를 예로 들어 실제 애플리케이션에서 시스템의 배터리 수명을 계산하여 최대 2년으로 추정합니다.
더 보기
Idris에 "바인딩 애플리케이션"이라는 새로운 기능이 추가되었습니다. 이는 종속형 프로그래밍에서 종속 쌍 및 기타 유형 구성을 작성하는 것을 간소화하는 구문 설탕입니다. 특별한 컴파일러 마법에 의존할 필요가 없어지므로 모든 개발자가 이 기능을 사용할 수 있습니다. 이 게시물에서는 Sigma 유형, Exists 유형, Subset 유형, Ornaments, ForAll, ForSome 및 for 루프 등 다양한 상황에서 이 기능의 사용법을 자세히 설명하고 코드의 가독성과 효율성이 어떻게 향상되고 Idris에서의 종속형 프로그래밍이 더욱 간결하고 직관적이 되는지 보여줍니다.
더 보기
본 기사는 전통적인 코딩에서 코드 완성, 채팅 기반 코딩, 코딩 에이전트, 에이전트 클러스터, 그리고 마지막으로 에이전트 함대에 이르기까지 AI 코딩의 진화를 탐구합니다. 저자는 코딩 에이전트가 개발 효율성을 극적으로 높일 것이지만 높은 비용도 수반될 것이라고 예측합니다. 미래 프로그래머의 역할은 AI 에이전트 관리 및 조정으로 전환됩니다. 본 기사는 젊은 세대의 프로그래머가 베테랑 개발자보다 AI 기술을 더 적극적으로 채택하고 있으며, 이는 소프트웨어 개발 업계의 인재 구조를 재편성할 것이라고 강조합니다. 저자는 이 분야에서 미래에 성공하려면 코딩 에이전트를 효과적으로 사용하는 방법을 배우는 것이 필수적이라고 결론짓습니다.
더 보기
오랫동안 tmux를 사용해 온 저자는 복잡성과 색상 렌더링, 버퍼 스크롤, 마우스 선택 등의 성가신 문제로 인해 대안을 찾았습니다. 이 글에서는 터미널 멀티플렉서의 단점을 살펴보고 shpool과 같은 도구를 창 관리자(ghostty 또는 sway 등)와 결합하여 세션 지속성과 창 관리를 달성하고 최종적으로 tmux를 대체하는 방법을 소개합니다. shpool은 완벽하지 않고 사소한 문제가 있지만 저자는 네이티브 스크롤백, 터미널 알림, 제목 등의 기능이 큰 장점이라고 생각합니다. 자세한 설정 방법도 제공됩니다.
더 보기
폭설로 어려움을 겪는 일본 니가타시는 1960년대에 '쇼세츠(消雪)'라는 현명한 제설 시스템을 개발했습니다. 지열로 지하수를 데워 도로 아래 파이프를 통해 아스팔트에 분무하여 눈의 동결을 방지합니다. 현재 약 571km의 도로에 이 시스템이 도입되어 기존의 염화칼슘 살포 방식보다 환경 친화적이고 차량에도 친화적인 방법으로 자리 잡았습니다.
더 보기
2024년 3월, 널리 사용되는 압축 소프트웨어 xz에서 백도어가 발견되었습니다. Jia Tan이라는 가명을 사용하는 악의적인 관리자가 3년 넘게 이 백도어를 은밀히 삽입했습니다. 이 백도어는 ssh가 설치된 시스템에서 원격 코드 실행을 허용했습니다. 발견은 우연히 관련 없는 성능 문제를 조사하던 Postgres 개발자에 의해 이루어졌습니다. 이 글에서는 백도어의 작동 방식과 빌드 재현성을 이용한 탐지 방법에 대해 자세히 설명합니다. 백도어는 xz 빌드 프로세스를 수정하여 악의적인 객체 파일을 삽입하고 glibc의 ifunc 메커니즘을 이용하여 ssh의 RSA_public_decrypt 함수를 후크하는 방식으로 구성되었습니다. 저자는 신뢰할 수 있는 소스에서 소프트웨어를 빌드하고 빌드 재현성을 활용하여 소프트웨어 공급망 보안을 강화할 것을 제안하며, GitHub 릴리스와 관리자가 제공한 tarball을 비교하거나 빌드 소스 간 바이너리 일관성을 확인하는 것이 포함됩니다.
더 보기
새로운 데이터에 따르면 Waymo의 자율주행 택시 서비스는 Uber와 Lyft보다 지속적으로 더 비싸며, 평균적으로 몇 달러 더 비쌉니다. 이러한 높은 가격에도 불구하고 Waymo는 매주 25만 건의 유료 승차를 제공하고 있습니다. 연구에 따르면 Waymo의 가격 설정은 특히 단거리 승차의 경우 변동이 크며, 이는 기존 경쟁업체와 비교하여 정교하지 않은 가격 모델 때문일 수 있습니다. 그러나 소비자들은 이러한 높은 가격에 개의치 않는 것으로 보이며, 많은 사람들이 무인 운전 경험을 위해 프리미엄 가격을 지불할 의향이 있습니다. 이는 기술적 참신함과 혼자 편안하게 이동하는 매력을 보여줍니다. 하지만 안전은 여전히 큰 우려 사항이며, 많은 사람들이 일종의 원격 모니터링을 원하고 있습니다.
더 보기
워싱턴 포스트에 따르면 영국 정부는 Apple에 클라우드에 업로드된 모든 암호화된 사용자 콘텐츠에 대한 완전한 접근 권한을 비밀리에 요구했다고 합니다. 이 전례 없는 요구는 기술적 역량 고지서를 통해 이루어졌으며, Apple이 자체 암호화를 우회하여 영국 보안 당국에 전 세계적으로 무제한적인 액세스를 허용할 것을 요구합니다. Apple은 요구 사항을 준수하는 대신 영국에서 암호화된 iCloud 스토리지 제공을 중단하기로 선택할 수 있으며, 이는 CEO인 팀 쿡이 오랫동안 주장해 온 백도어 반대 입장과 일치합니다. 이 폭로는 정부 감시와 사용자 개인 정보 보호 간의 지속적인 긴장을 부각합니다.
더 보기
18세기 후반 프랑스 혁명기, 에티엔느 루이 불레와 클로드 니콜라 르두라는 두 건축가는 바로크 양식과 로코코 양식의 과도한 장식을 거부하고 대담한 새로운 기하학을 채택했습니다. 불레의 디자인은 매우 이상주의적이어서 구체, 정육면체, 피라미드 등을 사용하여 뉴턴의 거대한 구형 묘비 등 웅장한 건축물을 만들어냈습니다. 과학과 빛에 대한 추구를 보여주지만 대부분 실현되지 못했습니다. 르두는 좀 더 실용적이어서 쇼의 소금 공장 등 기능적인 건축물을 설계하여 실용성과 상징적인 기하학적 배치를 조화시켰습니다. 두 건축가의 작품은 기하학적 형태와 유토피아적 이상에 대한 극단적인 집착을 보여주며 건축 디자인에 지속적인 영향을 미쳤습니다.
더 보기
이 Python 코드는 matplotlib 라이브러리를 사용하여 임피던스의 실수부와 허수부 크기를 플로팅합니다. 코드는 실수부와 허수부의 크기를 각각 플로팅하는 두 개의 함수 `plot_re_mag`와 `plot_im_mag`를 정의합니다. 축은 주파수를 GHz로, 크기를 dB 옴으로 변환하여 포맷됩니다. 마지막으로 `plt.subplots`를 사용하여 서브플롯을 생성하고 이러한 함수를 사용하여 완전한 임피던스 플롯을 생성합니다. 코드는 간결하고 효율적이며 데이터 분석 및 시각화에 적합합니다.
더 보기
연구자들은 JPEG XL 형식을 활용하여 스펙트럴 이미지를 10~60배까지 압축하는 새로운 기술을 개발했습니다. 이를 통해 일반적인 고화질 사진과 비슷한 크기로 줄일 수 있습니다. 이 방법은 중요도가 낮은 고주파수 스펙트럴 디테일을 우선적으로 버림으로써 메타데이터와 하이 다이내믹 레인지를 유지하면서 효율적인 압축을 달성합니다. 손실 압축이지만, 과학 시각화 및 하이엔드 렌더링 분야에서 큰 잠재력을 가지고 있으며, 대규모 스펙트럴 이미지 파일로 인한 저장 및 전송 문제를 해결할 것으로 기대됩니다.
더 보기
리야드 투자 포럼에서 방위 기술 기업 팔란티어 테크놀로지스의 CEO 알렉스 카프는 사우디아라비아 엔지니어들의 능력과 애국심을 칭찬하면서 유럽의 느린 AI 도입을 비판했습니다. 그는 AI 구현에서 미국과 중동이 선두를 달리고 있다고 강조하며, 이를 유럽의 느린 진전과 그가 관계자들 사이에서 느낀 체념과 같은 분위기와 대조했습니다. 이는 유럽의 엄격한 AI 규정과 원자재, 클라우드 인프라, 슈퍼컴퓨터 등 중요한 AI 인프라 분야에서 낮은 시장 점유율 때문입니다. 유럽은 AI 반도체 장비 제조에서는 선두를 달리고 있지만, 이러한 다른 분야에서의 시장 점유율은 5% 미만입니다.
더 보기
스탠포드 대학교에서 물리학 박사 학위를 받은 로라 도미네는 머신러닝을 사용하여 검출기에서 뉴트리노 반응을 식별했습니다. 뉴트리노는 거의 질량이 없고 물질을 통과할 수 있는 잡기 어려운 소립자입니다. 이러한 "유령 입자"를 감지하기 위해 과학자들은 중수 또는 액체 아르곤으로 채워지고 민감한 광센서를 갖춘 거대한 지하 검출기를 건설했습니다. 도미네의 알고리즘은 물리학자들이 뉴트리노와 검출기 물질 사이의 미약한 상호 작용을 식별하는 데 도움이 되어 뉴트리노와 우주의 신비에 대한 이해를 높입니다.
더 보기
Google은 강력한 AI 기능을 모바일 기기에 제공하기 위해 설계된 획기적인 아키텍처 기반의 새로운 오픈 모델 Gemma 3n을 출시했습니다. Gemma 3n은 메모리 사용량 감소 및 빠른 응답 시간을 특징으로 하며, 멀티모달 이해(텍스트, 이미지, 오디오)와 강력한 다국어 기능을 지원합니다. 개발자는 Google AI Studio 및 Google AI Edge를 통해 미리 보기에 액세스하여 실시간 음성 변환, 번역, 이미지 이해 등 Gemma 3n의 기능을 활용한 애플리케이션을 구축할 수 있습니다. 이 모델은 개인 정보 보호를 중시하며 오프라인에서도 작동합니다.
더 보기
이 글은 현대 경제에서 '마찰'의 재분배에 대해 논의합니다. 디지털 세계는 거의 마찰이 없으며, AI 등 기술로 인지적 저항이 제거되지만, 그 대가로 마찰이 물리적 세계와 노동력으로 이동합니다. 저자는 고등 교육에서의 AI 부정행위 만연과 미국의 인프라 악화를 이러한 마찰 이동을 반영하는 것으로 지적합니다. 부유한 사람들은 돈을 사용하여 물리적 세계의 마찰을 피하고 '큐레이션된 세계'를 만들 수 있지만, 평균적인 사람들은 인프라 악화와 열악한 노동 조건에 직면합니다. 이 글은 단순히 마찰을 제거하는 것이 아니라 지속 가능한 시스템을 위한 노력을 이끌어내는 경제 모델을 재고해야 한다는 결론으로 끝맺습니다.
더 보기
이번 주 뉴스레터는 사설 소방대를 운영했다고 알려진 부유한 로마인 크라수스의 이야기를 통해 소방의 기원을 탐구하는 것을 목표로 했습니다. 그러나 저자는 일반적으로 알려진 이야기가 근거가 약하고 과장되었을 가능성이 있음을 발견했습니다. 이 기사는 소방 역사를 더 정확하게 설명하는 것으로 전환하여 고대 사회에서의 자가 지원과 사설 소방대에 대한 의존에서 19세기 이후의 전문적인 시정 소방서의 출현까지 자세히 설명합니다. 이 기사는 화재 표시, 소방관 복장 및 장비, 그리고 다양한 시대의 영웅적인 이미지의 진화를 보여주는 이미지가 풍부하게 포함되어 있어 역사와 매력적인 비주얼의 조화를 제공합니다.
더 보기
기존의 부동소수점 난수 생성 방법은 정밀도 손실과 편향 문제가 있습니다. 본 논문에서는 [0, 1) 구간에서 완벽하게 균일하게 분포된 완벽한 부동소수점 난수를 생성하는 새로운 효율적인 알고리즘을 소개합니다. 이 알고리즘은 두 단계로 구성됩니다. 첫 번째 단계는 특정 정밀도를 가진 고정 소수점 난수를 생성하는 것이고, 두 번째 단계는 반올림 모드를 기반으로 나머지 정밀도 비트를 채우는 것입니다. 이 알고리즘의 성능은 기존 방법과 동일하며, 테스트를 통해 균일성과 정확성이 검증되었습니다. 이 연구는 정확한 부동소수점 난수에 의존하는 시뮬레이션 및 계산에 중요한 의미를 가집니다.
더 보기
영화 '퓨처월드'를 본 후 기술 윤리에 대한 고찰을 하게 되었습니다. 이 영화는 방문객들이 로봇을 죽이거나 성적으로 학대할 수 있는 테마파크를 묘사하며, 허구의 기업 델로스에 의한 AI 남용을 보여줍니다. 저자는 이것이 AI 윤리 문제가 아니라 권력과 성적 만족의 문제라고 주장합니다. 인간의 존엄성과 자율성을 무시하고 도구로 취급하는 이러한 행위는 현재 AI에서의 데이터 남용과 창작자 착취를 반영하며, 궁극적으로 인간의 노예화로 이어질 수 있습니다. 이 글은 기술 발전의 잠재적 위험에 대한 경계를 촉구하며, 이기적인 욕망을 위해 기술을 사용하는 것이 아니라 윤리와 존중을 중시해야 함을 강조합니다.
더 보기
더글러스 크락포드가 개발한 Misty 프로그래밍 언어는 간결성과 효율성을 목표로 합니다. 고유한 형식 시스템, 연산자, 문, 함수, 패턴 매칭 및 고유 상수와 함수를 갖추고 있습니다. Misty는 수학, Blob, JSON, Parseq 및 시스템 보안에 대한 내장 지원을 통해 성능을 우선시합니다. 구문 트리 구조와 고유한 Wota 메시지 형식도 주목할 만한 측면입니다.
더 보기
CodeCafé는 브라우저에 직접 통합된 초협업적인 실시간 개발 환경입니다. 페어 프로그래밍, 교육, 협업 웹 개발을 아이디어 공유만큼 매끄럽게 진행할 수 있도록 설계되었으며, 실시간 코딩에서 기존 도구의 한계를 해결합니다. 픽셀 완벽한 실시간 미리보기, 익숙한 VS Code 유사 편집 환경, 제로 설정 등의 기능을 갖춘 브라우저 기반 코딩 공간을 제공합니다. 사용자 정의 Operational Transformation (OT) 시스템을 통해 여러 명이 동시에 편집하더라도 Google Docs와 같은 매끄러운 협업이 가능합니다. 백엔드는 Java Spring Boot와 WebSocket API를 사용하고, 프런트엔드는 React, TypeScript 등 최신 기술을 활용합니다.
더 보기
탑승객 181명을 태운 제주항공 보잉 737-800 항공기가 한국 목포 공항에서 추락하여 179명이 사망하는 사고가 발생했습니다. 이는 수십 년 만에 한국에서 발생한 최악의 항공 참사입니다. 이 사고는 대통령과 국무총리의 탄핵이라는 정치적 혼란 속에서 발생하여 정부의 재난 대응 능력에 대한 우려를 증폭시켰습니다. 한국 정부는 모든 737-800 항공기에 대한 안전 점검과 제주항공의 안전 기준에 대한 포괄적인 검토를 지시했습니다. 조사관들은 착륙 장치 고장, 가능한 유압 시스템 고장, 공항 활주로 옆 방호벽의 안전 설계 등 다양한 요인을 조사하고 있습니다. 이 비극은 7일간의 전국 애도 기간을 초래했으며, 항공 안전 강화와 재난 대응 능력 향상의 필요성을 강조했습니다.
더 보기
Glowstick은 타입 시스템에서 텐서의 형태를 추적함으로써 Rust에서 텐서 작업을 안전하고, 쉽고, 재미있게 만들어주는 Rust 크레이트입니다. 행렬 곱셈, 합성곱, 재구성, 압축, 평탄화 등 다양한 텐서 연산을 제공합니다. Candle 및 Burn과 같은 인기 있는 Rust 머신러닝 프레임워크와 원활하게 통합되어 Glowstick은 Rust 개발자에게 강력한 텐서 계산 기능을 제공하며, 심층 학습 모델 개발을 크게 간소화합니다. 현재 프로젝트는 1.0 이전 버전이며, 호환되지 않는 변경이 있을 수 있으므로 주의하십시오.
더 보기
작성자는 현대 스마트 기기의 과도한 소음 알림을 비판합니다. 자동차의 연료 부족 경고부터 세탁기 버튼 소리, 베이비 모니터 시작 소리까지, 이러한 소음은 불편할 뿐만 아니라 안전 위험도 초래합니다(예: 고속 주행 중 자동차 경고음이 운전자의 주의를 분산시킴). 작성자는 제품 설계에서 사용자의 요구를 우선시하고 불필요한 소음 공해를 줄이도록 디자이너들에게 촉구하며, 자신의 집의 식기 세척기, 냉장고, 전자책 리더기를 예로 들어 조용한 디자인이 가능함을 보여줍니다.
더 보기
멕시코 오악사카의 아름다운 해변에서 일련의 불안한 실종 사건이 발생했습니다. 19세에서 29세 사이의 트락스칼라 주 출신 10명의 젊은이들이 지폴리테와 와툴코에서 사라졌고, 나중에 9명의 시신이 수백 킬로미터 떨어진 곳에서 버려진 차 안에서 발견되었습니다. 이 사건은 마약 밀매, 부동산 개발, 경찰 개입 가능성, 그리고 사건을 축소하려는 정부의 시도와의 연관성을 드러냅니다. 이 비극은 지역의 중요한 관광 산업을 위협할 뿐만 아니라 멕시코의 안보에 대한 심각한 의문을 제기합니다.
더 보기
이 기사는 고대 이집트 도시 헬리오폴리스를 구하기 위한 중요한 고고학적 작업을 강조합니다. 한때 나일강 유역에서 가장 신성한 곳이었던 헬리오폴리스는 고고학자들이 개입할 때까지 거의 잊혀졌습니다. 이 기사에서는 몇 년 동안의 발견을 소개하는 'Digs & Discoveries' 잡지의 여러 호를 참조하며 고고학적 노력의 지속성과 중요성을 강조합니다.
더 보기
생성형 AI의 확산으로 대학가의 부정행위가 전례 없는 수준에 달했다. 학생들은 ChatGPT와 같은 도구를 이용해 과제, 시험, 심지어 논문까지 작성하며, 교수들은 대응에 어려움을 겪고 있다. AI 탐지 도구의 효과는 제한적이며, 학생들은 이를 우회하는 다양한 방법을 찾아내고 있다. 이 글에서는 AI 부정행위가 교육에 미치는 영향과 대학 및 학생들의 반응과 성찰을 살펴본다. AI를 이용해 부정행위를 저지른 후 AI 지원 학습 도구를 개발한 학생의 사례는 이 현상의 복잡성과 미래 방향을 보여준다.
더 보기
LoopMix128은 2^128이라는 보장된 주기, 증명된 단사성, BigCrush와 PractRand(32TB)에서의 깨끗한 통과를 갖춘 매우 빠른 의사 난수 생성기(PRNG)입니다. 속도와 통계적 품질이 중요한 비암호화 애플리케이션을 위해 설계되었으며, 표준 라이브러리 생성기를 크게 능가하고 wyrand 및 xoroshiro128++와 같은 최신 고속 PRNG와 경쟁하거나 능가합니다. 성능은 엄격한 테스트로 뒷받침되며, BigCrush 및 PractRand 테스트를 이상 없이 통과하고, 병렬 스트림을 가능하게 하는 증명된 192비트 단사 상태를 자랑합니다.
더 보기
37개의 제품을 출시한 후 한 인디 개발자는 바이럴 마케팅이 드물고 예측 불가능하다는 사실을 알게 되었습니다. 대부분의 실패한 출시는 완전한 실패는 아니었지만 예상보다 훨씬 느린 성장을 보였습니다. 그의 현재 프로젝트인 Refgrow는 첫 유료 고객을 확보하는 데 6개월이 걸렸지만 이제는 꾸준한 유기적 성장을 보이고 있습니다. 그는 성장이 느리더라도 하나의 프로젝트에 집중하고 반복하는 것이 다음 히트작을 쫓는 것보다 더 일관된 결과를 가져온다고 결론지었습니다. 이는 하나의 프로젝트에 집중하여 인내심을 갖는 것과 여러 제품을 출시하는 것 중 어느 것이 성공으로 이어질까라는 질문을 제기합니다.
더 보기