데이터 대신 방정식으로 배우는 신경망, PINO
Oct 03, 2026
잘못된 동일성은 그 자리에서 터지지 않는다
Aug 02, 2026
TypeScript로 이해하는 어플리케이티브 펑터와 모나드
Feb 07, 2026
개발자의 직관과 코드 가독성, 그리고 뇌과학
Jan 30, 2026
타입 검사를 컴파일 통과로만 보던 시선에서, 논리로 읽는 타입 시스템까지
Jan 25, 2026
overlay-kit으로 배우는 선형적 정보 흐름과 인지 부하 재분배
Oct 07, 2025
선언형 코드는 문법이 아니라 사고방식의 문제다
Sep 07, 2025
카테고리적 사고가 명세 중심 코드를 가능하게 하는 방식
Dec 25, 2024
펑터 사이를 잇는 변환, 구조적 일관성을 보장하는 조건
Jun 01, 2024
지수 객체와 커링으로 이해하는 함수 타입
Apr 18, 2024
항등과 합성 보존, Functor 법칙이 필요한 이유
Apr 02, 2024
구조를 보존한 채 맥락을 옮기는 매핑의 규칙
Mar 19, 2024
대수적 데이터 타입을 카테고리적 시선으로 재해석하기
Mar 05, 2024
곱 타입과 합 타입을 보편적 구성으로 다시 읽기
Feb 27, 2024
부수효과를 합성 가능하게 만드는 모나드의 출발점
Feb 20, 2024
순서 집합, 모노이드, 그리고 다양한 카테고리들
Feb 13, 2024
타입 시스템과 함수 합성으로 이해하는 카테고리의 기초 문법
Feb 06, 2024
대상보다 관계로 사고하는 법, 합성의 관점으로 시작하기
Jan 30, 2024
왜 지금 프로그래머에게 카테고리 이론이 필요한가
좋은 추상화는 구현보다 어렵다
Jan 15, 2023
빌드 결과물의 형태를 제어하는 옵션들, 출력 전략을 설계하는 법
Oct 30, 2021
모듈 해석부터 경로 매핑까지, import 동작을 결정하는 컴파일러 옵션
Aug 22, 2021
타입 검사의 강도와 안정성, 실무에서 체감되는 옵션들의 차이
Aug 08, 2021
복붙하던 tsconfig를 다시 읽다 - 루트 필드가 만드는 프로젝트의 기준점
Jul 30, 2021
백트래킹과 오토마타로 보는 정규 표현식의 한계
May 07, 2021