2026 개정판 · 1차 8월 8일 공개전체 커리큘럼 →
SECTION · TECH

TECH.

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

TOTAL · 4,253편 · 페이지 71 / 203
SOURCE · ALL
자연광이 드는 작업실에서 기술 자료를 읽고 다음 아이디어를 기록하는 장면
READ THE SIGNAL · TTJ TECH
FILTER
ALL 4,253 HACKER NEWS 3,978 GITHUB 114 REDDIT 107 YOUTUBE 48 DEV.TO 3 NPM 3
LEAD HACKER NEWS

정리증명기 Lean으로 WASM을 실행한다고? — 오픈소스 Talos가 노리는 것

오늘은 좀 묵직한 주제예요. 'Talos'라는 오픈소스 프로젝트가 공개됐는데, 한 줄 소개가 'Lean을 위한 WASM 인터프리터'예요. 이름만 봐도 '이게 무슨 조합이지?' 싶죠. Lean도 WASM도 생소한 분이 많을 테니, 둘이 뭔지부터 차근차근 풀어볼게요. 다 듣고 나면 '아, 이게 꽤 의미 있는 시도구나' 하실 거예요. ## Lean과 WAS...

2026.06.19 165 READS
HACKER NEWS
내 이름도 AI의 '기억' 속에 있을까? — LLM이 데이터를 외운다는 것의 진짜 의미
2026.06.19 160 READS
HACKER NEWS
이름조차 농담이었던 게임 'Zork' — 자바보다 13년 빠른 가상머신을 만든 사람들
2026.06.19 154 READS
HACKER NEWS
내 일을 자동화로 없애버렸더니 — 반복 작업을 스크립트로 지운 개발자의 회고
2026.06.19 161 READS
HACKER NEWS
결제 시스템이 멈추지 않으려면 — 아메리칸 익스프레스의 '셀 기반' 아키텍처 이야기
2026.06.19 158 READS
HACKER NEWS
칩이 '진짜로' 어떻게 도는지 보려고, MIT가 운영체제를 직접 만들었어요
2026.06.19 159 READS
HACKER NEWS
SQLite 파일 하나로 데이터 앱까지 — Datasette에 'Apps' 기능이 생겼어요
2026.06.19 164 READS
HACKER NEWS
MCP에서 OAuth 동의 화면이 사라진다 — 엔터프라이즈 '무중단 인증'의 정체
2026.06.19 144 READS
HACKER NEWS
"동의 안 하면 못 써요"가 18억원이 된 이유
2026.06.19 131 READS
HACKER NEWS
쪼개져도 하나로 보이는 법 — 일본 JR 로고에 숨은 디자인 시스템
2026.06.19 142 READS
HACKER NEWS
AI 에이전트에게도 '내비게이션'이 필요하다 — Agentic Resource Discovery 이야기
2026.06.19 176 READS
HACKER NEWS
프롬프트 토큰을 줄이면 정말 돈이 굳을까? 토큰 압축의 함정
2026.06.19 161 READS
HACKER NEWS
유럽 공공기관의 'W Social' 행, 디지털 주권은 진짜일까 쇼일까
2026.06.19 156 READS
HACKER NEWS
앤트로픽 'Mythos' 논란 한가운데 선 한국 통신사, AI 수출통제 이야기
2026.06.19 157 READS
HACKER NEWS
닷파일 관리, GNU Stow에서 Chezmoi로 갈아타기 — 새 컴퓨터 세팅이 5분으로 줄어요
2026.06.19 164 READS
HACKER NEWS
트랜스포머를 만든 사람이 OpenAI로 갔어요 — 노암 셰이저 이적이 의미하는 것
2026.06.19 165 READS
HACKER NEWS
선거구를 다시 그려라: 게리맨더링을 게임으로 배우는 'Gerrymandle'
2026.06.19 150 READS
HACKER NEWS
크레이그리스트 창업자, 5억 달러를 기부한 이유
2026.06.19 145 READS
HACKER NEWS
신약 개발비 90% 절감? 병원·대학이 만든 '약 재활용' 혁신
2026.06.19 133 READS
HACKER NEWS
월 7만원에 전국 기차 무제한? 네덜란드 철도의 파격 실험
2026.06.19 144 READS
GITHUB
[심층분석] API 키 없이 시작하는 오픈소스 AI 코딩 에이전트, Kilo Code가 그리는 그림
2026.06.19 194 READS
PAGE 71 / 203 · 4,253
← PREV 1 ··· 69 70 71 72 73 ··· 203 NEXT →
NEXT · CHOOSE

변화를 읽었다면,
내가 만들 수익 구조를 고릅니다.

정보를 더 모으는 데서 멈추지 않고, 광고·외주·판매·중개·구독 중 내 상황에 맞는 출발점을 정해보세요.

21가지 수익 구조 살펴보기
처리 중...