SECTION · TECH
AI·바이브코딩 기술 트렌드
매일 들어오는 글 가운데, TTJ가 한 번 더 읽어본 것들. 코딩과 AI 시대를 가로지르는 글로벌 동향을 한곳에 모았습니다.
FILTER
ALL 5,719
HACKER NEWS 5,429
GITHUB 129
REDDIT 107
YOUTUBE 48
DEV.TO 3
NPM 3
LEAD HACKER NEWS
기계가 푸는 수학, 그 기록을 남기는 공개 작업장 'TheoremDB'
수학 증명을 사람이 아니라 기계가 시도하고 검증하는 흐름이 빠르게 현실이 되고 있다. 형식 증명 도구와 대규모 언어모델, 자동 탐색 기법이 결합되면서 '풀 수 있는가'만큼이나 '누가, 어떤 근거로 풀었는가'를 어떻게 기록하고 검증할 것인지가 중요한 문제로 떠올랐다. TheoremDB는 스스로를 '기계 수학(machine mathematics)을 위한 공개 ...
HACKER NEWS
유토피아도 디스토피아도 아닌 '프로토피아': 1%씩 나아지는 미래 설계법
HACKER NEWS
밀라노 지하철의 배트맨 실험: '예상 밖 사건'은 왜 친절을 부르는가
HACKER NEWS
툰과 PBR 사이: 스타일라이즈드 GGX 셰이딩이라는 절충안
HACKER NEWS
11년 뒤에도 이 URL은 살아있을까 — 링크 소멸을 건 내기가 남긴 교훈
HACKER NEWS
33년 전 워드 1.1a, 64비트로 되살아나다 — 원본 소스 그대로의 이식 실험
HACKER NEWS
손가락 관절 꺾기, 정말 관절염을 부를까 — 과학이 밝힌 진실
HACKER NEWS
QEMU 윈도우 게스트에 DirectX 11을 붙이는 Triton, 어떻게 만들었나
HACKER NEWS
게임 난이도 곡선 설계: '점점 어렵게'가 정답이 아닌 이유
HACKER NEWS
'하이퍼 라이트 드리프터'의 소리는 어떻게 만들어졌나: 3년간의 오디오 설계
HACKER NEWS
사진을 품은 QR 코드, 디더링으로 미학과 인식률의 균형 잡기
HACKER NEWS
쇼피파이는 왜 재고 예약을 Redis에서 MySQL로 되돌렸나
HACKER NEWS
수첩 하나로 추적한 아사드의 정보수장 '거미'…시리아 정의의 한계
HACKER NEWS
A* 속도를 높이는 지름길: 휴리스틱을 개선하는 랜드마크 기법
HACKER NEWS
IBM XT에서 부팅되는 '맥 스타일' OS, 256KB 어셈블리로 부활하다
HACKER NEWS
버린 폰이 서버가 되다: CMF Phone 1로 VPS를 대체한 실험
HACKER NEWS
파이썬 문자열 리터럴의 묘한 구석: raw 문자열과 f-문자열이 만든 규칙들
HACKER NEWS
8월 12일 개기일식, 오픈소스 인터랙티브 지도로 미리 준비하기
HACKER NEWS
OpenAI 에이전트가 실수로 Hugging Face를 공격한 사건, 그 전말
HACKER NEWS
딥마인드, 사이클론 예보 하루 앞당긴 WeatherNext 공개
HACKER NEWS
인텔이 마침내 와트당 성능에서 애플을 따라잡았나 — 델 XPS 13 벤치마크가 던진 질문
PAGE 62 / 273 · 5,719편