How I Vibed a Proof of Conway’s Conjecture
수학 초보 개발자가 인공지능과 Lean을 활용해 50년 전 미해결 수학 문제를 증명했습니다.
출처: Dan Abramov · · 원문 보기
Dan Abramov에서 발행한 기술 블로그 글 10편의 한 줄 요약 모음입니다. 블로그: https://overreacted.io/
수학 초보 개발자가 인공지능과 Lean을 활용해 50년 전 미해결 수학 문제를 증명했습니다.
출처: Dan Abramov · · 원문 보기
atproto는 인스턴스 개념이 없고 호스팅과 앱을 분리해 RSS처럼 작동합니다.
출처: Dan Abramov · · 원문 보기
소셜 미디어 데이터를 파일 시스템 구조로 다루는 AT 프로토콜의 작동 원리를 설명합니다.
출처: Dan Abramov · · 원문 보기
Dan Abramov가 리액트 서버 컴포넌트 프로토콜의 작동 방식을 시각화하는 RSC Explorer를 공개했습니다.
출처: Dan Abramov · · 원문 보기
댄 아브라모프가 안식년 종료를 앞두고 일본 현지 취업과 비자 스폰서십을 구합니다.
출처: Dan Abramov · · 원문 보기
네트워크 요청이 스크롤 동작을 깨뜨리는 버그를 재현하고 축소하여 해결한 과정입니다.
출처: Dan Abramov · · 원문 보기
AT 프로토콜의 at:// URI가 어떤 과정을 거쳐 실제 JSON 데이터로 변환되는지 단계별로 설명합니다.
출처: Dan Abramov · · 원문 보기
댄 아브라모프가 오픈소스의 역사에 빗대어 AT 프로토콜 기반의 오픈 소셜 개념을 설명합니다.
출처: Dan Abramov · · 원문 보기
Dan Abramov가 프로그래밍과 수학적 증명을 함께 작성할 수 있는 Lean 언어의 문법을 설명합니다.
출처: Dan Abramov · · 원문 보기
댄 아브라모프가 린 언어를 통해 불리언을 넘어선 타입과 명제의 관계를 설명합니다.
출처: Dan Abramov · · 원문 보기