Coq 인코딩을 활용한 프로그래밍 언어 의미론 (2015)

로컬 개발 환경에서 HTTPS 사용하기 (2021)

2022년 오픈 소스 프로젝트 Git-SIM에서 저지른 설계 실수들

AI로 옷과 헤어스타일 가상 착용: 사진 한 장으로 스타일링 영상 만들기

Rcarmo/kintsugi: 클라우드 기반 에이전트, 크로스 플랫폼 지원

Alice를 통해 설명하는 카이랄성

(아마도) 절대 잊지 못할 캐릭터의 여정을 담은 내가 가장 좋아하는 SF 소설들

.woff2 파싱하기

확장성, 그 대가는 무엇인가? [영상]

RobynNews – YouTube 댓글을 학습하는 AI 뉴스 쇼

Dexter U.S. Glycol VST

Show HN: 브라우저에서 작동하는 개인정보 보호 우선 JSON 포맷터

AI 스캔들 속 '인간 저자' 도서 라벨 확산

Ryhryhtyrty

Unity Engine, 'Make Game' 버튼 추가 (2012)

TheScuderia.net – Ferrari F1의 온라인 목소리

Harness Learning을 통한 일반화 가능한 테스트 타임 적응(Test-Time Adaptation)

Show HN: Apple Docs 2.0 MCP – 코딩 에이전트를 위한 Apple 개발자 문서 및 WWDC 제공

비전, 개인의 성장 · 목표 · 습관

생성 의미론

Foldl은 State와 함께 순회하고, foldr은 무엇이든 순회한다 (2024)

Diffcast – 모션을 위한 Carbon (GitHub 비교 URL을 붙여넣어 GIF 영상으로 변환)

Show HN: TensorViz – VS Code에서 PyTorch 모델 탐색하기

Show HN: Geography Dash

로봇이 온다

내 웹사이트가 AdSense에서 차단되었는지 확인하는 방법

쿠폰 웹사이트

Tony Fadell이 말하는 1세대 AI 기기들이 실패한 이유와 향후 전망

Show HN: Korg SQ64 에뮬레이터

Value Investors Club / 최고의 투자자들이 자신의 최선의 아이디어를 공유하는 곳