AI 이야기, 솔직히 좀 지겹지 않나요?
## 모든 대화가 AI로 수렴하는 시대 요즘 개발자 커뮤니티 어디를 가든, 컨퍼런스에 가든, 심지어 회사 점심 시간에도 화제는 하나예요. AI. 새로운 LLM이 나왔다, 코파일럿이 어떻다, AGI가 언제 온다… 한 개발자가 블로그에 솔직하게 적었...
컴퓨터 과학의 거인, 토니 호어가 남긴 것들
## "10억 달러짜리 실수"를 만든 사람 프로그래밍을 하다 보면 한 번쯤은 NullPointerException이나 null reference 에러를 만나본 적 있을 거예요. 변수에 값이 없는데 그걸 쓰려고 해서 프로그램이 터지는 그 오류 말이에요...
개인 키 하나 털려서 230억 원이 찍혀 나왔다 — Resolv 해킹 사건 분석
## 무슨 일이 있었나요? DeFi(탈중앙화 금융) 프로토콜인 Resolv에서 약 2300만 달러(한화 약 300억 원)가 탈취되는 해킹 사건이 발생했어요. 해킹의 원인은 놀랍도록 단순했는데요, 프로토콜을 관리하는 **개인 키(Private Ke...
Rust의 일관성(coherence) 시스템은 왜 모순투성이인가
## Rust 타입 시스템의 핵심 규칙, coherence란? Rust를 어느 정도 써본 개발자라면 한 번쯤 이런 컴파일 에러를 마주친 적이 있을 겁니다. 외부 크레이트의 트레이트를 외부 타입에 구현하려 했더니 "orphan rule에 의해 허용되지...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
[심층분석] AI가 '에이전트'를 발명했다고? 우리는 이미 수천 년 전부터 에이전트와 살아왔다
## 에이전트라는 단어의 두 번째 인생 2024년부터 테크 업계에서 가장 많이 회자되는 단어를 꼽으라면 단연 **'에이전트(Agent)'**일 것입니다. OpenAI, Google, Anthropic, Microsoft 할 것 없이 모든 빅테크가 '...
TLA+ 명세와 TypeScript 코드의 불일치를 원천 차단하는 도구, tla-precheck
## TLA+ 명세를 코드와 동기화하는 새로운 접근 **tla-precheck**는 TLA+로 작성한 형식 명세(formal specification)와 실제 TypeScript 구현 코드가 서로 어긋나는 것을 방지해주는 프리커밋(pre-commit...
코딩으로 돈버는 방법 일주일만에 가능? #코딩 #부업 #돈버는법
## 비전공자도 코딩으로 일주일만에 돈 버는 법? 블로그 자동화로 본 현실적인 인사이트! "코딩으로 돈 번다"는 말, 막연하게 들리나요? 특히 "일주일만에" 수익을 낸다는 건 더더욱 허황된 이야기처럼 느껴질 수 있습니다. 하지만 최근 한 유튜...
