1
TLA+ - 프로그램 및 동시/분산 시스템을 모델링하기 위한 고급 언어
(lamport.azurewebsites.net)2
Crabtime - Zig의 Comptime을 Rust에서 사용합시다
(crates.io)3
argp - Go용 GNU 스타일 커맨드라인 인자 파서
(github.com/tdewolff)4
Show GN: velopers: 국내 IT 기업들의 기술 블로그를 한곳에서 모아볼 수 있는 웹사이트
(velopers.kr)5
Show GN: 쉽고 빠르게 설치할 수 있는 최신 Git 라이브러리, es-git
(es-git.slash.page)6
7
코딩은 프로그래밍이 아니에요
(socallinuxexpo.org)8
자신을 팔고, 작업을 팔기
(solipsys.co.uk)9
Hacker News 유명도 기준 최고의 개인 블로그들
(refactoringenglish.com)10
스패머들이 SPF, DKIM, DMARC를 더 잘 활용함
(toad.social)11
Polypane - 야심찬 웹 개발자를 위한 브라우저
(polypane.app)12
OpenAI, 4o 이미지 생성 기능 공개
(openai.com)13
오픈소스 개발자, AI 크롤러가 트래픽을 초래하면서 국가 전체를 차단
(arstechnica.com)14
구글, Gemini 2.5 출시
(blog.google)15
AI의 주요 가치는 R&D보다 광범위한 자동화에서 발생함
(epoch.ai)16
Node.js에서 Corepack 배포 중단하기로 결정
(socket.dev)17
Search My Site – 개인 및 독립 웹사이트를 위한 오픈소스 검색 엔진
(searchmysite.net)18
Stoop Coffee: 간단한 아이디어가 우리 동네를 변화시킨 방법
(supernuclear.substack.com)19