SECTION · TECH

TECH.

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

TOTAL · 2,852편 · 페이지 23 / 136

SOURCE · HACKER NEWS

FILTER

ALL 3,090 HACKER NEWS 2,852 REDDIT 108 GITHUB 76 YOUTUBE 48 DEV.TO 3 NPM 3

LEAD HACKER NEWS

버그를 '안 나길 기도'하는 대신 '수학으로 증명'한다 — Jane Street의 형식 검증 이야기

## 코드가 맞다는 걸 어떻게 '증명'할까 우리가 코드를 짜고 나서 '이거 맞나?' 확인하는 방법은 보통 테스트죠. 입력 몇 개 넣어보고 원하는 결과가 나오면 'OK 통과!' 하고 넘어가요. 그런데 생각해보면 이건 좀 불안한 방식이에요. 테스트는 '내가 넣어본 경우엔 잘 돌더라'를 보여줄 뿐, '모든 경우에 잘 돈다'를 보장하진 못하거든요. 다익스트라...

1주 전 79 READS

1981년에 사라진 MIT의 네트워크가 지금도 당신의 DNS 서버 속에 살아있다고? — Chaosnet 이야기

1주 전 73 READS

회의 음성이 내 맥 밖으로 안 나간다 — 통화 중 바로 표시하는 오프라인 회의록 앱 ‘Trace’

1주 전 81 READS

프롬프트를 아무리 잘 짜도 AI가 갑자기 똑똑해지지 않는 이유

1주 전 80 READS

CPU는 빠른데 왜 내 프로그램은 느릴까? ‘메모리 장벽’의 정체

1주 전 75 READS

분산 시스템 개발자가 21년째 빠지는 8가지 착각

1주 전 65 READS

“우리가 직접 만들었다”던 도시의 LLM, 알고 보니 기존 모델을 섞은 것?

1주 전 66 READS

장작 패기가 이렇게 중독적일 일? 브라우저 속 ‘장작 패기 시뮬레이터’

1주 전 61 READS

코딩 한 줄 몰라도 게임이 만들어진다 — 초미니멀 엔진 Bitsy

1주 전 63 READS

웹사이트를 통째로 ‘실행파일 하나’에 담는다 — 오프라인 뷰어 Kage

1주 전 70 READS

글이 안 써질 땐 ‘딱 한 사람’을 위해 써보세요

1주 전 68 READS

내 ePub은 멀쩡한데 Kobo에서만 깨진다고요? 진짜 범인은 어도비입니다

1주 전 67 READS

zeroserve가 Caddy 호환을 입자 처리량 3배, 지연 70% 감소

1주 전 62 READS

40년 전 천재가 남긴 프로그래밍 잠언, 아직도 정곡을 찌른다

1주 전 64 READS

Postgres에서 DELETE는 확장되지 않는다 — 유일한 해법은 DROP TABLE

1주 전 57 READS

환각은 일으키는데 환각 성분은 '0'인 버섯의 미스터리

1주 전 59 READS

정형 기법, 이제 학계만의 것이 아니다 — Jane Street의 실험

1주 전 59 READS

AI는 결국 코드다 — 프롬프트로 똑똑해지지 않는다

1주 전 56 READS

CPU는 빠른데 왜 내 프로그램은 느릴까? '메모리 장벽'의 진실

1주 전 53 READS

21년이 지나도 유효한 '분산 컴퓨팅의 8가지 오류'

1주 전 57 READS

코딩 없이 만드는 작은 세계, Bitsy의 매력

1주 전 46 READS

PAGE 23 / 136 · 2,852편

← PREV 1 ··· 21 22 23 24 25 ··· 136 NEXT →

처리 중...