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

SECTION · TECH

TECH.

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

TOTAL · 4,234편 · 페이지 158 / 202

SOURCE · ALL

READ THE SIGNAL · TTJ TECH

FILTER

ALL 4,234 HACKER NEWS 3,959 GITHUB 114 REDDIT 107 YOUTUBE 48 DEV.TO 3 NPM 3

LEAD HACKER NEWS

Lean 4: '완벽하게 만들어갈 수 있는' 프로그래밍 언어라는 개념

## 프로그래밍 언어가 '완벽해질 수 있다'는 건 무슨 뜻일까요? 보통 프로그래밍 언어를 고를 때 "이 언어가 빠른가?", "생태계가 좋은가?" 같은 걸 따지잖아요. 그런데 여기 조금 다른 질문을 던지는 언어가 있어요. "내 코드가 정말로 맞다는 걸 수학적으로 증명할 수 있는가?" 바로 **Lean 4** 이야기인데요. Lean은 원래 마이크로소프트 리...

2026.04.13 278 READS

AMD ROCm, CUDA의 아성에 도전하다 — 지금 어디까지 왔을까?

2026.04.13 341 READS

[심층분석] AI가 곧 수요 곡선이다 — 실리콘 형제가 보여준 AI 경제학의 아이러니

2026.04.13 273 READS

GPS는 어떻게 내 위치를 아는 걸까? 그 뒤에 숨겨진 물리학

2026.04.13 314 READS

GPU에서 AI 추론을 더 빠르게: Cooperative Vectors가 뭔지 쉽게 알아보기

2026.04.13 228 READS

프론티어 모델의 시대는 끝나가고 있는 걸까? AI 발전 속도에 대한 냉정한 시선

2026.04.13 226 READS

macOS Dock이 답답했다면 — Windows 작업표시줄 스타일의 boringBar를 만든 개발자 이야기

2026.04.13 302 READS

30년 된 운영체제 Oberon이 라즈베리파이에서 네이티브로 부팅된다 — 미니멀 OS의 귀환

2026.04.13 171 READS

뉴욕 지하철 노선마다 악기를 하나씩 줬더니 재즈가 됐다 — 데이터 소니피케이션 프로젝트 이야기

2026.04.13 210 READS

Claudraband — Claude Code 파워 유저를 위한 확장 도구가 등장했어요

2026.04.13 185 READS

공 하나도 못 저글링하면서 세 개를 돌리려 하고 있진 않나요?

2026.04.13 178 READS

게으름(Laziness)을 잃어버리면 생기는 일 — Bryan Cantrill이 말하는 지연 평가의 중요성

2026.04.13 186 READS

[심층분석] AI 코딩 도구가 맨날 삽질하는 이유, 안드레이 카르파시가 해법을 내놨다

2026.04.13 321 READS

오픈소스 공급망 보안, 누구의 책임일까?: "아무도 당신에게 빚진 게 없다"

2026.04.13 198 READS

토폴리 게이트 하나면 컴퓨터를 만들 수 있다: 가역 컴퓨팅의 핵심 개념 쉽게 풀기

2026.04.13 231 READS

팻 겔싱어가 말하는 인텔의 과거, 그리고 반도체 산업의 미래

2026.04.13 249 READS

curl 명령어 하나로 둠(DOOM)을 플레이한다고요?

2026.04.13 203 READS

전 세계 사람들의 행복한 장소를 시각화한 'Happy Map' 프로젝트

2026.04.13 228 READS

스마트폰 하나로 물리 실험을 한다고? 오픈소스 앱 Phyphox 이야기

2026.04.13 475 READS

JVM 옵션이 너무 많아서 막막할 때 — JVM Options Explorer 소개

2026.04.13 285 READS

요즘 앱은 왜 다 똑같이 생겼을까 — '관용적 디자인'을 되찾자는 목소리

2026.04.13 228 READS

PAGE 158 / 202 · 4,234편

← PREV 1 ··· 156 157 158 159 160 ··· 202 NEXT →

NEXT · CHOOSE

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

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

21가지 수익 구조 살펴보기 →

처리 중...