MQBP v6.10 Lean/Coq: 곱셈 없는 위치 컴파일러

인터넷에 세금을 부과했다면 어땠을까? – Jared Walczak 작성

케냐인들이 수년간 대학생들의 과제를 대신해온 사연, 그리고 AI의 등장

피어 리뷰어 모집: "System Design Unboxed" (신간 디지털 도서)

NetBSD 문서: UVM, 새로운 가상 메모리 시스템

객체 지향 프로그래밍을 옹호하며

The Dataflow Model 재조명

Ask HN: 어떤 프로젝트를 진행 중이신가요? (2026년 9월)

Science of the Gaps (2025)

Valve 핸드북 [pdf]

Hash, PRNG 및 XOF를 위한 상태 기반 흐름 시스템

캡시컴을 넣은 커피? 데이터가 식탁 위의 음식을 바꾸는 방법

로컬 AI를 위한 Framework Desktop 선택: 32GB, 64GB, 128GB

음성 인식 벤치마크 최적화 측정하기

Rich Dad, Poor Dad 저자 Kiyosaki, 12억 달러 부채 안아

Show HN: YouAskTube: YouTube URL에 'ask'를 입력해 익명 채팅하기

퍼즐처럼 첫 책을 집필한 경험

법률 자문에 따라 Nitter 프로젝트는 계속됩니다

Nitter와 XCancel, 법적 자문 이후 서비스 재개

Astra에게 다양한 논리 퍼즐을 잔뜩 던져봤는데 전부 해결했다

Scunthorpe 문제

Scott Galloway, SpaceX 주가에 대해 암울한 전망 내놔

인공지능을 활용한 물리학 실험 설계

AAIF 생태계 랜드맵

Liquid Types. (2008) [pdf]

개연성의 원뿔

Forte UI – 단일 CSS 변수로 팔레트를 생성하는 React 컴포넌트

교육은 산업을 위한 것인가, 사고를 위한 것인가?

더 큰 것이 더 좋은 것은 아니다

Show HN: Aethel-Core – SWI-Prolog 기반 초경량 신경 기호론적 WAF