Engineering & Tech
"1/2의 세 번째 좌표는 전단사 함수입니다" - Lean 증명 도구의 기묘한 진실
수학 증명 도구 Lean에서 발견된 '1/2의 세 번째 좌표는 전단사 함수'라는 기묘한 정리들을 통해, 추상화와 구현의 누수가 발생하는 흥미로운 과정을 살펴봅니다.
PAGE 9 / 11
Blog
Engineering & Tech
"도대체 이 프로세스는 누가 띄운 거야?" 리눅스 탐정 witr를 소개합니다
Engineering & Tech
코딩 에이전트, 무턱대고 돌리다간 큰일 납니다 (현실적인 샌드박싱 이야기)
Engineering & Tech
로마군 요새의 기생충, 그리고 우리가 마주한 '레거시'의 진실
Engineering & Tech
코드와 예술의 경계, 그리고 14,000개의 DOM 요소를 다루는 법
Engineering & Tech
맥북 에어 M2에 리눅스를 입히다: Asahi Linux와 Sway 윈도우 매니저 설정기
Engineering & Tech
x86 메모리 관리의 마법, Self-referencing Page Tables 기법 파헤치기
Engineering & Tech
파이썬으로 수학과 코딩 두 마리 토끼 잡기: 실전 응용 수학 커리큘럼 분석
Engineering & Tech
10년 묵은 Matomo 데이터를 Umami로 완벽하게 이사시킨 이야기
Engineering & Tech
우리가 알고 있던 셔플 알고리즘, 사실 거꾸로 돌고 있었다면?
Engineering & Tech
펌웨어 업데이트 한 번에 하드웨어가 영구 박제된 사연: Dasharo 임시 키 사고 분석
Engineering & Tech