SECTION · TECH

TECH.

매일 들어오는 글 가운데, TTJ가 한 번 더 읽어본 것들. 코딩과 AI 시대를 가로지르는 글로벌 동향을 한곳에 모았습니다.

TOTAL · 3,914편 · 페이지 38 / 187

SOURCE · HACKER NEWS

FILTER

ALL 4,188 HACKER NEWS 3,914 GITHUB 113 REDDIT 107 YOUTUBE 48 DEV.TO 3 NPM 3

LEAD HACKER NEWS

zkGolf: 검증된 영지식 회로, 누가 더 짧게 짜나 겨루자

코드 골프처럼, 하지만 대상은 영지식 증명(ZK) 회로입니다. zkGolf는 주어진 문제를 만족하는 회로를 누가 더 적은 제약조건(constraint) 수로 구현하는지 겨루는 경쟁 플랫폼입니다. 핵심은 두 가지를 동시에 잡았다는 점입니다. 첫째, 제출된 회로가 명세를 정확히 만족하는지 형식 검증(formal verification)으로 자동 판정합니다. 즉...

2026.07.03 127 READS

에베레스트 '그린 부츠'의 정체, 마침내 DNA로 밝혀지다

2026.07.03 139 READS

깃허브가 당신의 저장소를 'CD-ROM'으로 보내준다?

2026.07.03 117 READS

미국의 '프라이버시 비상사태' — 개발자가 남 일로 볼 수 없는 이유

2026.07.03 115 READS

“의존성에도 LLM 코드는 안 받겠다” — 오픈소스 베테랑의 선언이 던진 숙제

2026.07.03 137 READS

NetBSD에서도 Vulkan이 돌아갑니다 — 마이너 OS에 최신 그래픽 API가 올라가기까지

2026.07.03 140 READS

분산 시스템의 난제, Postgres 트랜잭션 하나로 풀린다고요?

2026.07.03 142 READS

유튜브 대신 내 서버에 영상 플랫폼을 — 탈중앙 비디오 플랫폼 PeerTube 이야기

2026.07.03 134 READS

Podman 6.0 릴리스 — 도커 없이 컨테이너를 돌린다는 것

2026.07.03 144 READS

10년 넘게 0.9였던 LMDB가 드디어 1.0 — 읽기 속도로는 적수가 없는 임베디드 DB 이야기

2026.07.03 137 READS

리눅스 6.9부터 절전 시 디스크 암호화 키가 메모리에서 안 지워지고 있었어요

2026.07.03 123 READS

코드를 짜야 깰 수 있는 게임, Exapunks — 어셈블리로 해킹하는 사이버펑크 퍼즐

2026.07.03 128 READS

AI 에이전트 시대의 인프라, MCP도 이제 클라우드로

2026.07.03 125 READS

자바 필드 초기화, JVM이 강제하는 시대가 온다 — JEP 539 프리뷰

2026.07.03 117 READS

내 트윗이 Grok 학습 데이터로? EFF가 FTC에 X를 찌른 이유

2026.07.03 117 READS

'AI 가짜뉴스가 저널리즘을 죽인다'던 그 기사, 알고 보니 AI가 쓴 가짜뉴스였다

2026.07.03 137 READS

종이 잡지를 검색창에 넣다 — 빈티지 잡지 아카이브로 배우는 나만의 검색엔진 만들기

2026.07.03 140 READS

받은편지함에 10년째 잠들어 있는 사진들 — Gmail에서 추억을 구출해주는 데스크톱 앱

2026.07.03 122 READS

블루스크린이 나도 재부팅 한 번이면 끝, WinPE로 만드는 윈도우 드라이버 테스트 환경

2026.07.03 123 READS

Claude Code 상태바에 뽀모도로 타이머를 심었어요, 오픈소스 'Claudoro'

2026.07.03 130 READS

답장 받는 콜드 메일의 기술: 모르는 사람에게 도움을 청하는 법

2026.07.03 130 READS

PAGE 38 / 187 · 3,914편

← PREV 1 ··· 36 37 38 39 40 ··· 187 NEXT →

처리 중...