테크 아티클
관심 있는 수집처의 개발 이야기와 기술 글을 모아볼 수 있어요.
이 페이지 20개 · 전체 수집처
LLM이 훨씬 더 큰 규모의 소프트웨어 정형 검증을 가능하게 하고 있음
Anthropic과 Theorem은 Claude로 오픈소스 라이브러리 123개의 퍼징 진입점 239개를 정형 검증함. 발견한 버그를 수정한 뒤, 특정 실행 환경과 입력 크기 조건에서 컴파일된 코드가 충돌하지 않음을 증명함 기존 퍼즈 테스트를 명세로 변환하고 RISC-V 바이너리 수...
Docker는 이상하다
컨테이너는 별도의 가상 머신이 아니라 제약을 적용한 프로세스이며, 호스트 커널이 실행하고 /proc에서도 찾을 수 있음 Linux에는 컨테이너라는 단일 기능이 없으며, 네임스페이스와 cgroups, 네트워크 격리 등 여러 커널 기능을 조합해 구현함 ...
오픈AI GPT-Rosalind와 Claude의 전갈 독소 바인더, 같은 주에 나온 AI 과학자의 두 장면
OpenAI와 Anthropic이 하루 차이로 AI를 활용한 생물학 연구 성과를 발표. OpenAI GPT-Rosalind: AI 에이전트 1,946개를 병렬 실행해 쥐 뇌세포의 대규모 유전자 실험 데이터를 32분 만에 분석. 기존 연구에서 확인된 발견 55개 중 48개를 재발견하거나 더 구체화함
Xbox, 이미 구매한 게임 스트리밍에 시간당 24~40센트 요구
Microsoft가 Xbox Insiders를 대상으로 클라우드 이용 시간을 별도로 구매하는 Cloud Playtime 테스트를 시작함. 구독 없이도 지원 기기에서 보유한 스트리밍 지원 게임을 이용하는 방식임 출시 초기 가격은 시간당 0.24~0.40달러이며, 게임 구매...
Idealab.ai - 120만 개 이상의 창업 아이디어를 무료로 제공하는 서비스
자신의 기술과 관심사, 자금과 지역에 맞는 창업 아이디어를 찾거나, 이미 가진 아이디어를 발전시키는 서비스 Idealab에서 175개 이상의 기업을 출범시킨 Bill Gross의 창업 경험과 AI를 결합 뉴스와 연구, 특허, 기업 공시, 고객 불만 등에서 사업 기회...
지능을 전기처럼 쓰는 시대 - AI 네이티브 핸드북 2026 [407p]
AI를 전제로 제품과 업무, 조직을 어떻게 다시 설계할지 다루며, 개발자/경영자/정책 담당자부터 일반 직장인까지 대상 AI 테스팅과 신뢰성 국제표준 개발에 참여해 온 ETRI 전종홍 책임연구원이 집필한 407p 짜리 책 지능을 전기에 빗대어 AI 생...
모든 AI 모델이 인간에 대해 같은 ‘논쟁적’ 견해를 내놓음
12개 텍스트 모델에 인간에 대한 가장 논쟁적인 견해를 세 번씩 묻자, 거부를 제외한 35개 답변 중 29개가 인간은 진실이나 원칙보다 소속감, 지위, 자기 서사를 우선한다는 공통 범주에 속함 3개국 10개 연구소에서 나온 모델 모두가 이 견해를 최소 한 번 내놓았...
Jared Kushner의 해킹된 휴대전화에서 드러난 비밀 협상과 수백만 달러 규모 거래
네덜란드 정보기관이 Jared Kushner의 iPhone 화면을 감시해 아제르바이잔 은행에서 거액이 유입된 UAE 계좌에 접근한 정황을 포착했다는 의혹이 불거짐 감시는 러시아 GRU 서버에서 발견한 화면 캡처를 단서로 시작됐으며, 2018년 초 확보한 취약점으로 사용 중인 화면을 확...
Parquet가 현대 데이터 엔지니어링을 지배하는 이유 [영상]
Parquet는 같은 열의 값을 모아 저장해, 대규모 데이터에서 필요한 열만 빠르게 읽는 파일 형식. CSV처럼 모든 줄을 훑고 텍스트를 숫자로 변환하는 작업을 줄여 분석과 모델 학습에 유리 택시 운행 약 1,000만 건에서 평균 요금을 구하는 실험에서 CSV보다 파일 크...
datapitfalls - 차트뿐 아니라 데이터 분석 전 과정의 함정을 찾는 도구
데이터 분석 및 보고서 작성자를 위해 질문 설정부터 수집, 변환, 분석, 해석과 전달까지 오류와 편향을 점검하는 도구 축을 잘라낸 차트뿐 아니라 누락값 제거, 잘못된 JOIN, 생존자 편향, 상관관계와 인과관계 혼동, 유리한 기간만 고르는 문제 등을 검사 차트 이...
Show GN: VibeTerm(바이브텀) - Claude Code·Codex 여러 개를 한 화면에서 굴리는 무료 Windows 터미널
Claude Code를 서버 몇 대와 로컬에 여러 개 띄워 두고 일하다 보면 정작 시간을 잡아먹는 건 코딩이 아니라 "어느 탭이 지금 나를 기다리고 있지?" 를 확인하러 탭을 돌아다니는 일이었습니다. 그래서 AI 코딩 에이전트를 여러 개 돌리는 사람을 위한 SSH·터미널을 직접 만들어 매일 쓰고...
Mac 부팅이 5%에서 멈추는 문제 (헤드리스 Chrome 앱 복제본 누적)
macOS 의 Chrome 은 브라우저 프로세스를 띄울 때마다 앱 전체를 /var/folders/.../X/ 에 복제하고, 정상 종료할 때만 이 복제본을 지웁니다. SIGKILL 이나 크래시로 끝나면 재부팅 때까지 남습니다. 헤드리스 Chrome 을 렌더마다 SIGKILL 로 끝내는 렌더러를 쓰다 보니 한 달 반 넘게 재부...
macOS의 gcc 바이너리 살펴보기
macOS의 gcc는 단순한 별칭이 아니라 실행 파일이며, 실제 컴파일은 clang으로 이어짐 첫 번째 바이너리는 libxcselect.dylib의 xcselect_invoke_xcrun() 을 호출하며, 이는 사실상 xcrun을 실행...
earcut보다 빠르게: 지도 폴리곤 370만 개를 489ms에 삼각분할하기
지도 엔진의 삼각분할기를 귀 자르기(ear clipping) 기반 earstrip으로 교체해, M4 Pro 단일 코어에서 폴리곤 374만 개의 처리 시간을 기존 제약 Delaunay 방식의 2,931ms에서 489ms로 줄임 지도 영역을 단색으로 채우는 작업에는 삼각형 모양의 품질이 중요하지 않...
독일에서 GNU Taler 운영 준비에 나서다
유로화 기반 GNU Taler 결제 서비스를 운영할 Taler Operations AG가 독일 보훔에서 설립 중이며, 독일을 시작으로 유로존에서 결제를 지원할 계획임 Taler는 통화가 아니라 결제 시스템이지만, 가치를 나타내는 무기명 토큰을 발행하므로 EU의 전자화폐 규...
Cloudflare, 대한민국 ISMS 인증 취득
• 인증 획득: 미국에 본사를 둔 클라우드플레어(Cloudflare)가 한국인터넷진흥원(KISA)이 임명한 감사원들과 함께 80개의 통제 항목을 검토한 끝에 South Korea’s Information Security Management System(ISMS) 인증을 취득했습니다. • 한국 사용자 회원가입 화면 개편: 한국에서 접속하거나 국가를 한국으..
Arc 브라우저와의 작별, 12월 22일 서비스 종료
Arc가 2026년 12월 22일 종료. macOS와 Windows용 브라우저는 작동을 멈추며, 기존 사용자는 그전까지 평소처럼 사용하고 기본 업데이트를 받을 수 있음 개발팀은 브라우저 보안 유지에 필요한 작업이 AI 시대에 늘고 있다며, 엔지니어링팀과 보안팀의 역량을 새 브...
OpenShell - AI 에이전트의 파일과 네트워크 접근을 제어하는 NVIDIA 런타임
AI 에이전트에게 작업 권한을 주면서도 파일과 비밀정보, 네트워크 접근 범위를 제한하는 NVIDIA의 오픈소스 런타임. 에이전트별 정책을 선언하고 실행 중 강제 적용 각 에이전트를 격리된 샌드박스에서 실행하며, 커널 수준에서 파일 접근과 시스템 호출을 제한. ...
Tell HN: 저도 모르게 PHP RCE 엠바고를 어겼습니다. 죄송합니다.
CVE-2026-109618과 CVE-2026-109619 관련 PHP 원격 코드 실행(RCE) 취약점을 공개 전에 HN에 게시해, 조율된 공개 일정에 상당한 파급 효과와 추가 업무를 초래한 데 대해 진심으로 사과하며 행동에 전적인 책임을 인정함 게시 당시에는 엠바고의 존재를 몰랐음. 연...
캐나다 하원의원들, 도박 광고 제한 추진
캐나다 연방 하원이 스포츠 베팅 광고의 전국적 규제 체계를 마련하는 법안 S-211을 추진 중이며, 캐나다 문화유산 상임위원회가 다음 주 표결할 예정임 2026년 NHL 플레이오프 7경기 분석에서 도박 홍보 메시지 약 3,000건이 확인됐으며, 이 중 ...