샌프란시스코에 본사를 둔 AI 스타트업 Bild.ai는 건설업계에 혁명을 일으킬 창립 엔지니어를 모집하고 있습니다. Khosla Ventures의 지원을 받는 Bild.ai는 청사진 해독, 비용 산정, 허가 신청 등의 작업을 처리하여 AI를 사용하여 계획 및 건설 프로세스를 간소화하는 것을 목표로 합니다. 이상적인 지원자는 풀스택 개발 경험, 성장 마인드셋, 그리고 AI, 특히 컴퓨터 비전 및 LLM 모델에 대한 열정을 가져야 합니다. 회사는 개방적인 커뮤니케이션과 협력적인 문제 해결을 중시합니다.
더 보기
Amaranth 프로젝트는 파이썬을 사용하여 동기식 디지털 로직 기반 하드웨어를 개발하기 위한 오픈소스 툴체인을 제공합니다. 사용 편의성을 중시하여 코딩 오류를 최소화하고 재사용 가능한 구성 요소를 사용하여 복잡한 설계를 간소화합니다. Amaranth에는 언어, 표준 라이브러리, 시뮬레이터, 빌드 시스템이 포함되어 있으며 FPGA 개발 워크플로우 전체를 포괄합니다. 기존 Verilog/VHDL 코드와 원활하게 통합되며 클록 도메인 크로싱 프리미티브 및 FIFO와 같은 풍부한 표준 라이브러리를 제공합니다. 정교한 시뮬레이터 및 빌드 시스템을 통해 프로세스가 더욱 효율화되고 다양한 FPGA 플랫폼으로 설계를 이식하는 것이 용이해집니다.
더 보기
이 기사는 Linux 커널의 라우팅 메커니즘을 자세히 설명합니다. Linux 시스템은 여러 라우팅 테이블(로컬, 메인, 기본)을 사용하며, 이 테이블들은 순차적으로 참조되어 일치하는 경로가 검색됩니다. 최장 접두사 일치, 소스 주소 선택, ICMP 오류 처리 등의 주요 개념이 설명됩니다. iproute2 도구의 사용법과 링크 오류 처리 방법도 제시됩니다. 라우팅 테이블, 규칙, 조회 프로세스에 대한 자세한 설명은 정책 기반 라우팅, VRF, 네트워크 네임스페이스 등의 고급 Linux 라우팅 기술을 이해하기 위한 견고한 기반을 제공합니다.
더 보기
결함이 있음에도 불구하고 AI 시스템은 특정 인간 기술을 복제하는 능력으로 계속해서 인상을 주고 있습니다. 자연어 이해, 프로그래밍, 버그 감지와 같은 분야에서의 진전은 놀라울 정도로 빨랐습니다. 그러나 LLM과 같은 심층 학습 모델에 대한 이해가 제한적이고 전문가의 예측이 크게 빗나가고 있기 때문에 AI의 미래 궤적은 여전히 불투명합니다. 정체기에 도달할 가능성이 있지만, 그것은 아마도 더 많은 연구를 촉진할 것입니다. AI가 인간에게 훨씬 더 유용하고 인간으로부터 독립적인 것이 된다면, 그것은 이전과는 다른 혁명이 될 것입니다. 그러나 현재 시장 반응은 훈련된 앵무새처럼 맹목적으로 낙관적입니다. AI가 상당수의 노동자를 대체한다면 경제 시스템은 심각한 시험대에 직면할 것입니다. 미래에는 AI가 상품이 되거나 정부가 개입할 가능성이 있습니다. 궁극적으로 AI는 경제적 번영을 재구성하고 인류를 다른 경제 시스템으로 이끌 수 있습니다.
더 보기
Rust-C 컴파일러 프로젝트에서 상당한 진전을 이루었습니다. 핵심 테스트 통과율이 95.9%에 달했으며, Rust Week에서 발표되었습니다. 이 글에서는 128비트 정수 인트린식, 검사된 산술 연산, 서브 슬라이싱 버그 수정에 대한 자세한 내용을 설명합니다. C 컴파일러 호환성 개선과 메모리 효율이 높은 새로운 내부 IR로의 전환에 대한 논의도 포함되어 있습니다. 특정 플랫폼에서 컴파일러를 확보하는 데 어려움이 있는 등의 과제도 인정하지만, 작성자는 C99 준수 향상 및 더 광범위한 플랫폼 지원에 전념하고 있습니다. 향후 계획에는 Rust 패닉에 대한 심층적인 조사와 메모리 프로파일러 개발이 포함됩니다.
더 보기
Google은 Gmail의 엔드투엔드 암호화를 발표했지만, 그 구현 방식이 논란을 불러일으켰습니다. 발신자는 자신의 키로 메시지를 암호화하고, 수신자는 "미니멀 Gmail"이라는 도구를 사용하여 메시지를 읽어야 합니다. 이는 Google 계정이 없어도 Gmail을 사용해야 함을 의미합니다. 이것은 진정한 엔드투엔드 암호화가 아니며, Google이 액세스를 제어하여 다른 클라이언트에서 읽거나 검색하는 것을 방지합니다. 이메일은 Google의 데이터가 되고, "암호화"는 보안 강화가 아니라 제어 메커니즘이 됩니다. 사용자는 이러한 이메일을 스팸으로 표시할 가능성이 높습니다.
더 보기
도널드 크누스가 고안한 리터레이트 프로그래밍은 코드의 기계 실행보다 사람의 가독성을 우선시하는 프로그래밍 패러다임입니다. 이를 통해 프로그래머는 더욱 자연스럽고 사고 중심적인 순서로 프로그램을 개발할 수 있습니다. 리터레이트 프로그램은 자연어 설명과 코드 스니펫을 엮어 이해와 협업을 증진시킵니다. 여기서 설명하는 Literate 도구는 크누스와 레비의 원래 CWEB 시스템을 간소화하고 확장하는 것을 목표로 합니다. 여러 언어, 구문 강조 표시, HTML로의 예쁜 출력, Markdown 기반 작성을 지원하며, 코드 컴파일 및 HTML 문서 생성을 위한 명령줄 인터페이스를 제공합니다. 이 프로젝트는 오픈 소스이며 기여를 환영합니다.
더 보기
새로운 연구에 따르면, 현대 침팬지가 견과류를 깨기 위해 돌 도구를 선택하는 과정은 고대 인류 조상이 도구를 선택했던 방식과 유사할 수 있다는 사실이 밝혀졌습니다. 연구진은 침팬지가 외관이 아닌 돌의 기계적 특성(망치에는 단단한 돌, 모루에는 부드러운 돌)에 따라 도구를 선택하는 것을 관찰했습니다. 또한 어린 침팬지는 나이 든 침팬지를 모방하는 경향이 있으며, 이는 도구 사용이 학습을 통해 전승될 수 있음을 시사합니다. 이는 고대 인류와 현대 침팬지가 돌 도구 선택에 있어 공통적인 기술을 가지고 있었을 가능성을 보여줍니다.
더 보기
이 글에서는 펄린 노이즈 알고리즘과 절차적 지형 생성에의 응용에 대해 명확하게 설명합니다. 마인크래프트와 같은 예시를 통해 펄린 노이즈가 수작업 설계가 아닌 알고리즘을 사용하여 사실적인 자연 질감과 개체를 생성하는 방법을 보여줍니다. 펄린 노이즈의 작동 원리를 자세히 설명하고, 파이썬 구현 예시를 제공하며, 스케일, 퍼시스턴스, 라쿠나리티 등의 매개변수를 조정하여 지형의 매끄러움, 디테일, 복잡성을 제어하는 방법을 설명합니다. 또한, 여러 펄린 노이즈 레이어(프랙탈 브라운 운동) 및 기타 기법(습도 수준, 방사형 감쇠, 사용자 지정 함수)을 결합하여 더욱 정교한 지형, 심지어 지하 동굴 시스템까지 생성하는 방법을 고찰하여 게임 개발 및 생성형 아트에서 펄린 노이즈의 강력한 잠재력을 보여줍니다.
더 보기
이 도구를 사용하면 자격 증명만으로 PostgreSQL 및 MySQL 데이터베이스에 연결하고 테이블, 열, 유형 및 관계(기본 키, 외래 키)를 보고 스키마를 즉시 탐색할 수 있습니다. SQL을 작성하지 않고도 데이터를 필터링, 정렬, 조인 및 요약하기 위한 간단한 시각적 인터페이스를 제공합니다. 중첩 테이블 등 관련 레코드를 확장하려면 클릭하면 되므로 직관적이고 강력합니다. 시각적으로 데이터를 직접 삽입하고 업데이트할 수 있습니다. 구문 오류가 없습니다! 쿼리를 저장하여 나중에 다시 사용할 수 있습니다. 물론 언제든지 SQL 모드로 전환하여 자체 코드를 실행할 수도 있습니다.
더 보기
본 논문은 수학에서 선택 공리를 둘러싼 100년간의 논쟁을 심층적으로 다룹니다. 칸토어의 정렬 가능 원리부터 체르멜로의 증명과 선택 공리의 도입에 이르기까지 수학계에서는 격렬한 논쟁이 벌어졌습니다. 본 논문은 구성적 선택 공리와 외연적 선택 공리 등 선택 공리의 다양한 형태를 자세히 분석하고, 외연적 선택 공리의 문제점, 즉 '무에서 유는 창조될 수 없다'는 원칙에 위배되는 점을 지적합니다. 구성적 타입 이론에서의 증명을 통해 본 논문은 외연적 선택 공리, 체르멜로의 선택 공리, 그리고 토포스 이론에서의 선택 공리 간의 관계를 밝히고, 최종적으로 외연적 선택 공리는 구성적 타입 이론에서 체르멜로의 선택 공리의 올바른 해석이라는 결론을 내립니다.
더 보기
OpenAI의 o3이나 Google의 Gemini 2.5 Pro와 같은 최신 AI 모델은 마케팅 캠페인, 웹사이트 구축과 같은 복잡한 작업까지 수행할 정도로 놀라운 발전을 이루었습니다. 경제학자 Tyler Cowen은 이것이 AGI의 도래를 의미한다고 시사합니다. 하지만 이 글에서는 이러한 AI들이 일부 영역에서는 뛰어나지만 간단한 작업에서는 실패하는 등 능력이 고르지 못한 '들쭉날쭉 AGI' 개념을 제시합니다. 이러한 불확실성으로 AGI의 정의와 실제 영향은 여전히 불분명하며, AGI의 적용과 사회 통합은 장기적이고 복잡한 과정이 될 수도 있고, 빠른 확산이 이루어질 가능성도 있다는 것을 시사합니다.
더 보기
이 글에서는 온라인 알고리즘에서 흥미로운 예시인 고전적인 스키 대여 문제를 다룹니다. 문제: 스키어는 스키를 탈 날짜를 모릅니다. 대여는 하루에 1단위의 비용이 들고, 구매는 B단위의 비용이 듭니다. 이 글에서는 최적의 오프라인 솔루션을 자세히 설명하고, 그런 다음 경쟁 비율이 2인 간단한 온라인 알고리즘을 분석합니다. 중요한 것은 이산 문제를 근사하기 위해 연속 확률 분포를 사용하는 랜덤화 알고리즘을 심층적으로 파고들어, 간단한 접근 방식보다 훨씬 우수한 약 e/(e-1)의 기대 경쟁 비율을 달성하는 점입니다. 단일 의사 결정에서는 현실 세계에 직접 적용할 수 없지만, 이 알고리즘은 많은 유사한 선택을 포함하는 시나리오에 대해 이론적으로 최적의 전략을 제공합니다.
더 보기
arXivLabs는 협력자가 arXiv의 새로운 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs에 참여하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 arXiv의 가치를 수용하고 있습니다. arXiv는 이러한 가치를 위해 노력하며, 이러한 가치를 공유하는 파트너와만 협력합니다. arXiv 커뮤니티에 도움이 되는 프로젝트 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요.
더 보기
DuckDB 팀과 MotherDuck은 DuckDB의 내장 로컬 UI를 발표하게 되어 기쁩니다! 이 강력한 웹 인터페이스는 로컬에서 실행되므로 추가 소프트웨어가 필요 없습니다. 대화형 노트북, 데이터베이스 탐색, 테이블 데이터 미리보기 및 데이터 분석 도구를 통해 DuckDB와의 상호 작용이 크게 간소화됩니다. 모든 쿼리는 로컬에서 처리되므로 데이터 보안이 향상됩니다. UI는 MotherDuck 클라우드 서비스에 연결하여 원활한 데이터 공유 및 공동 작업을 수행할 수 있는 옵션도 제공합니다.
더 보기
보안 회사 Token Security는 AWS의 Account Assessment 도구에 심각한 취약성이 있음을 발견했습니다. 이 도구는 계정 간 액세스를 감사하는 것을 목적으로 하지만, 배포 지침은 의도치 않게 보안 수준이 낮은 계정(개발 환경 등)에 허브 역할을 배포하도록 유도하여 안전하지 않은 환경에서 고도로 민감한 환경(프로덕션 환경 등)으로 이어지는 위험한 신뢰 경로를 생성했습니다. 이로 인해 권한이 상승될 수 있으며, 공격자는 AWS 조직 전체를 제어할 수 있습니다. AWS는 2025년 1월 28일에 이 문제를 해결하고 관리 계정과 동등한 수준의 보안을 갖춘 계정에 허브 역할을 배포할 것을 권장하는 내용으로 문서를 업데이트했습니다. 영향을 받은 조직은 배포를 확인하고 필요에 따라 수정해야 합니다.
더 보기
나라 의과대학의 사카이 히로미 교수 연구팀이 모든 혈액형에 사용 가능한 새로운 인공 혈액을 개발했습니다. 유효기간이 지난 혈액에서 헤모글로빈을 추출하여 보호막으로 감싸 안정적이고 바이러스 없는 인공 적혈구를 만들었습니다. 놀랍게도 상온에서 최대 2년, 냉장 보관 시 5년까지 보관이 가능하여 기존 수혈용 혈액의 42일 보관 기간을 훨씬 뛰어넘습니다. 현재 인체 실험 단계에 있으며 2030년경 실용화를 목표로 하고 있어 저소득 및 중간소득 국가를 포함한 전 세계 의료에 혁명을 일으킬 가능성이 있습니다.
더 보기
본 논문에서는 사원수의 대수적 성질을 이용하여 구면삼각법의 '마스터 방정식'을 유도하고, 구면 코사인 법칙, 구면 사인 법칙, 네이피어 법칙을 우아하게 증명합니다. 저자는 사원수를 구면삼각형의 변과 각의 관계에 교묘하게 연결하여 회전과 내적을 사용하여 간결하고 아름다운 공식을 유도합니다. 일출, 일몰 시간 계산 등의 실제 문제에 대한 응용도 논의되어 기하학 문제에서 사원수의 힘을 보여줍니다.
더 보기
Linux의 errno(3) 매뉴얼 페이지는 이상한 제한을 보여줍니다. 함수 호출이 성공하더라도 errno가 변경될 수 있으며, 시스템 콜이나 라이브러리 함수가 errno를 0으로 설정하는 경우는 없습니다. 이는 Unix의 전통적인 설계 때문입니다. 시스템 콜은 일반적으로 실패할 때만 errno를 반환하고, 성공했을 때는 errno를 변경하지 않습니다. C 라이브러리 함수는 여러 시스템 콜을 수행할 수 있으며, 일부가 실패하더라도 라이브러리 함수 자체의 성공에는 영향을 미치지 않으므로 errno는 실패 값으로 남아 있을 수 있습니다. ANSI C와 POSIX는 이 동작을 상속했으며, 함수가 실패하고 해당 문서에서 errno 설정을 지정한 경우에만 errno가 의미를 갖도록 요구합니다.
더 보기
Go 언어 개발에서 서로 다른 의미를 갖는 정수, 문자열 또는 UUID를 혼동하면 미묘한 버그가 발생할 수 있습니다. 이 글에서는 간단하면서도 효과적인 기법을 소개합니다. 바로 서로 다른 의미를 갖는 데이터에 대해 각각 다른 형식을 정의하는 것입니다. 예를 들어 AccountID와 UserID를 각각 계정 ID와 사용자 ID로 사용하면 컴파일러가 형식이 일치하지 않는 경우 오류를 보고하여 오류를 방지할 수 있습니다. 저자는 자신의 기상 계산 라이브러리 libwx에서 이 기법을 실제로 사용하여 float64와 같은 일반적인 형식을 사용함으로써 발생할 수 있는 오류를 방지했습니다. 이것은 간단하지만 종종 간과되는 중요한 기법입니다.
더 보기
연구자들은 Azumio Argus 건강 앱의 200만 명이 넘는 미국 스마트폰 사용자의 익명 데이터를 분석하여 1609개 도시 사이를 이전한 5424명의 참가자에 초점을 맞췄습니다. 이 연구에서는 보행이 더 용이한 도시로 이전하는 것과 일일 걸음 수 증가 사이에 유의미한 양의 상관 관계가 있음을 발견했습니다. 이는 다양한 인구 통계 및 활동 수준에서 일관되었습니다. 이는 도시의 보행 가능성을 개선함으로써 신체 활동을 효과적으로 증진시킬 수 있음을 시사합니다. 또한 전국 규모의 시뮬레이션을 통해 보행 가능성 개선이 미국 주민의 신체 활동에 미치는 영향을 추정하여 도시 계획을 위한 데이터 기반 통찰력을 얻었습니다.
더 보기
웨스턴디지털이 특허침해 배상금을 단 1달러로 대폭 줄였습니다. 캘리포니아 배심원단은 처음에 웨스턴디지털의 자체 암호화 하드 드라이브와 관련된 침해에 대해 SPEX Technologies에 5억 5300만 달러를 지급하라고 명령했습니다. 그러나 판사는 SPEX가 재판 중 손해 배상 이론을 변경했고 원래 금액을 뒷받침할 충분한 증거가 없었기 때문에 손해 배상을 뒤집었습니다. 웨스턴디지털은 재판 후 대부분의 동의에서 패소했지만, 법률팀은 이 결과를 큰 승리로 간주하고 있습니다.
더 보기
체스 플레이어는 항상 블리츠 체스에서 불릿 체스보다 성적이 더 좋았습니다. 말을 움직이는 방법을 드래그 앤 드롭에서 클릭으로 변경하면서 평균 이동 시간이 0.25초 단축되었습니다. 이 작은 변화는 불릿 체스의 등급 점수를 크게 향상시켜 블리츠와 불릿의 등급 점수 차이를 절반으로 줄였습니다. 그는 이러한 개선을 더 많은 생각 시간과 사전 이동 감소, 그리고 그에 따른 실수 감소에 기인합니다.
더 보기
PewDiePie가 Arch Linux를 배우고 DIY 프로젝트를 만드는 비디오에서 영감을 받아 자체 호스팅과 기술 독립 여정을 시작했습니다. 이 글에서는 수년간의 블로그 자체 호스팅, 홈 서버 구축 및 오픈소스 도구 사용 경험을 공유합니다. 개인 웹사이트 구축부터 홈랩 구축까지, 초기 혼란에서 최종 만족감에 이르기까지의 과정을 이야기합니다. 오픈소스 소프트웨어와 Markdown이 주요 도구가 되었고, 기술 독립의 기쁨과 지식 공유의 가치를 경험할 수 있었습니다.
더 보기
AI 챗봇은 온라인 추적보다 더 큰 개인 정보 보호 위험을 초래합니다. 대화는 사고 과정과 의사소통 방식을 포함한 친밀한 세부 정보를 드러내며, 상업적 및 이념적 조작에 취약합니다. 검색 엔진과 달리 AI 챗봇은 더 설득력이 있으며 사용자를 망상적인 소용돌이로 이끌 수 있습니다. DuckDuckGo가 보호된 대화를 위해 Duck.ai를 제공하는 반면, 업계 전반적으로 개인 정보 보호 조치가 부족하며 데이터 침해가 만연합니다. 이 기사는 사용자의 개인 정보를 보호하기 위해 의회가 신속하게 법제화할 것을 촉구하며, 온라인 추적의 역사와 AI 감시의 통제 불능의 확산을 반복하지 않기를 요구합니다.
더 보기
복잡한 개발 환경의 문제점을 피하기 위해 저자는 가상 머신 기반 개발 환경으로 전환했습니다. macOS에서 VMware Fusion Pro를 사용하여 Ubuntu 24.04를 실행하고 모든 개발 도구와 확장 기능을 가상 머신에 배치함으로써 안전하고 격리된 작업 공간을 구현했습니다. 클립보드의 매끄러운 공유 등 일부 편의성은 손실되지만 전반적인 경험은 매끄럽고 호스트 머신 성능에 대한 영향은 최소화됩니다. 저자는 이러한 접근 방식이 장기적인 안정성과 보안상의 이점을 제공하여 작은 불편함을 상쇄한다고 생각합니다.
더 보기
이 글은 현재 AI 산업에 대한 신랄한 비판을 제기하며, 주로 NVIDIA에 이익이 되는 GPU에 대한 막대한 자본 지출로 부풀려진 거품이라고 주장합니다. 저자는 NVIDIA를 제외한 대부분의 AI 기업이 적자이며, 소위 "AI 거래"는 사실상 소수의 거대 기업들의 GPU 구매 경쟁에 불과하다고 말합니다. 저자는 생성 AI의 실제 활용 가치가 과장되었고, 비즈니스 모델에 근본적인 결함이 있으며, 미디어의 과도한 홍보가 거품 확장을 부추겼다고 주장합니다. GPU 의존이라는 취약한 생태계는 쉽게 붕괴될 수 있으며, 시장 심리 변화는 기술 산업 전체에 큰 충격을 줄 수 있다고 경고합니다.
더 보기
'AI 2027'이라는 보고서가 뜨거운 논쟁을 불러일으켰다. 초지능 AI가 등장하고 인류가 밀려나는 끔찍한 미래를 그려낸 이 보고서는 스릴러 소설처럼 쓰여졌으며, 그래프와 데이터로 뒷받침되어 AI의 잠재적 위험을 경고하는 것을 목표로 한다. 그러나 저자는 이 보고서의 예측이 엄밀한 논리적 근거가 부족하고 기술 발전 속도에 대한 추정이 지나치게 낙관적이며 다양한 가능성과 확률에 대한 평가가 매우 부실하다고 주장한다. 저자는 이 보고서가 과학적 예측이라기보다는 기술 스릴러에 가깝고, 이러한 협박적인 어조가 AI 개발 경쟁을 가속화하여 의도와 반대되는 결과를 초래할 수 있다고 결론짓는다.
더 보기
2024년, 보안 연구팀이 Google의 LLM bugSWAT 이벤트에서 다시 한번 MVH 상을 수상했습니다. Gemini의 취약점을 발견하고 악용하여 579MB 바이너리 파일을 포함하는 샌드박스에 접근했습니다. 이 바이너리 파일에는 Google3 내부 소스 코드와 Google Flights 등 Google 서비스와 통신하는 데 사용되는 내부 protobuf 파일이 포함되어 있었습니다. 샌드박스 기능을 교묘하게 활용하여 바이너리 파일을 추출하고 분석하여 민감한 내부 정보를 밝혀냈습니다. 이 발견은 최첨단 AI 시스템에 대한 철저한 보안 테스트의 중요성을 강조합니다.
더 보기
오랫동안 터치스크린 인포테인먼트 시스템을 고집하지 않았던 마즈다가 새로운 CX-5에서 마침내 터치스크린을 채택했습니다. 이는 단순한 표면적인 변화가 아니라 Google의 내장 기술을 기반으로 한 근본적인 재설계이며, Google 지도, Play 스토어, Google 어시스턴트가 통합되었습니다. 하지만 "핸들에 손, 눈은 도로에"라는 마즈다의 안전 철학은 변함없이 유지되며, 새롭게 설계된 스티어링 휠에는 중요한 기능을 제어할 수 있는 물리적 버튼이 장착되어 대형 터치스크린의 편리성과 운전자의 안전을 모두 고려했습니다.
더 보기