SECTION · TECH
AI·바이브코딩 기술 트렌드
매일 들어오는 글 가운데, TTJ가 한 번 더 읽어본 것들. 코딩과 AI 시대를 가로지르는 글로벌 동향을 한곳에 모았습니다.

FILTER
ALL 5,723
HACKER NEWS 5,433
GITHUB 129
REDDIT 107
YOUTUBE 48
DEV.TO 3
NPM 3
LEAD HACKER NEWS
드래그 앤 드롭으로 수학 증명을? 브라우저에서 논리학 배우는 '인크레더블 프루프 머신'
## 수학 증명을 퍼즐 게임처럼 푼다고요? "증명"이라는 단어만 들어도 머리가 지끈한 분들 많으실 거예요. 대학교 이산수학 시간에 만났던 그 증명 말이에요. 그런데 이걸 드래그 앤 드롭 퍼즐 게임으로 바꿔버린 프로젝트가 있어요. 'The Incredible Proof Machine'이라는 웹사이트인데요. 설치도 회원가입도 필요 없이 브라우저에서 바로 실행...
HACKER NEWS
이메일 서버, 이제는 '빌려온 부품'으로 조립할 수 있어요
HACKER NEWS
버그는 실수가 아니라 필연이다? 스티븐 울프럼이 제시한 '버그의 이론'
HACKER NEWS
고장 나면 버리던 위성의 시대가 끝난다, 로봇 팔 단 위성 정비선 첫 발사
HACKER NEWS
유니티 영상 재생의 만능 해결사, VLC for Unity가 리눅스까지 지원해요
HACKER NEWS
뮤텍스가 병목일 때 — 모던 C++로 락프리 큐를 바닥부터 만들어보기
HACKER NEWS
에니악보다 2년 먼저 있었다 — 2차대전을 이기게 한 비밀 컴퓨터 콜로서스
HACKER NEWS
슈퍼 마리오 64의 물리 엔진을 내 게임에 이식한다면? 마리오를 라이브러리로 만든 libsm64
HACKER NEWS
React를 걷어내고 htmx로 — 1인 오픈소스 포럼 Misago의 8년 만의 유턴
HACKER NEWS
태양광 패널, 씻어야 할까? — 절반만 씻어서 A/B 테스트로 답을 낸 엔지니어
HACKER NEWS
Zig의 간판이었던 Bun, Rust 재작성 8개월 차 — 62만 줄 중 38%가 넘어갔습니다
HACKER NEWS
AI 학습 데이터가 되기 위해 파쇄되는 책들 — 희귀본까지 갈려나간다는 지적
HACKER NEWS
플러그인 없이 FFmpeg만으로 카세트테이프 감성 소리 만들기
HACKER NEWS
"저기 쓰인 폰트 뭐지?" — 실사용 사례로 폰트를 찾아보는 아카이브, Fonts In Use
HACKER NEWS
게임보이로 출시된 htmx 4.0? 농담 뒤에 숨은 진짜 변화들
HACKER NEWS
'안 맞춰도 되는 시계'를 만들려다 알게 되는 것들 — 시간 동기화의 세계
HACKER NEWS
AI가 수학 증명을 대신 쓰는 시대 — Lean으로 검증된 zstd가 보여준 것
HACKER NEWS
Vercel의 새 실험 'Scriptc' — 자바스크립트 엔진 없이 타입스크립트를 네이티브 바이너리로
HACKER NEWS
문샷AI, 차세대 오픈웨이트 모델 'Kimi K3' 공개 — 내 서버에서 돌리는 플래그십 AI의 시대
HACKER NEWS
지뢰찾기를 뒤집은 퍼즐, '해바라기'가 보여주는 난이도 설계의 속살
HACKER NEWS
개발 생산성 측정, DX Core 4가 제시하는 통합 프레임워크
PAGE 85 / 273 · 5,723편