우리의 기술을 애도하며
We mourn our craft
저자는 AI가 프로그래밍 기술에 미치는 심오한 영향에 대해 성찰하며, 전통적인 코딩 방식에 대한 애도의 감정을 표현합니다. AI 도구의 능력이 점점 더 향상됨에 따라 프로그래머의 역할이 바뀌고 있으며, 저자는 직접 코딩하고 디버깅하는 과정에서 오는 만족감의 잠재적 상실을 안타까워합니다. 이러한 기술적 변화의 불가피성을 인정하면서도, 코딩이 순전히 인간의 노력으로 이루어졌던 시대의 종말을 함께 애도하자고 제안합니다.
SectorC: 512바이트 C 컴파일러 (2023)
SectorC: A C Compiler in 512 bytes (2023)
SectorC는 x86-16 어셈블리로 작성되었으며 512바이트 부트 섹터 안에 완벽하게 들어가는 놀라운 C 컴파일러입니다. 흥미로운 프로그램을 작성하기에 충분한 C의 부분 집합을 지원하여 역사상 가장 작은 C 컴파일러일 가능성이 높습니다. 개발 과정에서는 공간으로 구분된 "메가 토큰"과 `atoi()`를 나쁜 해시 함수로 사용하는 것과 같은 혁신적인 기술을 사용하여 극심한 크기 제약을 극복했으며, 궁극적으로 극도로 제한된 공간 내에서 기능적인 C 컴파일러를 구현했습니다.
AI 피로감은 실재하며 아무도 이에 대해 이야기하지 않습니다
AI fatigue Is real and nobody talks about it
저자는 AI 도구의 과도한 사용으로 인해 코드 생산량이 증가했음에도 불구하고 상당한 소진과 피로감을 경험하고 있다고 설명합니다. 이 'AI 피로감'은 AI가 개별 작업을 더 빠르게 만들어 더 많은 작업을 하게 하고 인간에게 더 많은 컨텍스트 전환 비용을 유발하며, 엔지니어를 창작자보다는 검토자로 바꾸고 의사 결정 피로를 유발하는 역설에서 비롯됩니다. AI 출력의 끊임없는 예측 불가능한 특성 또한 배경 불안의 층을 더합니다.
손으로 코드를 작성할 때 더 행복합니다
I am happier writing code by hand
저자는 코드를 수동으로 작성하는 것이 더 느리지만, 더 깊은 문제 해결과 정확성 검증을 가능하게 하기 때문에 더 큰 즐거움과 효율성을 느낀다고 말합니다. AI 코드 생성, 즉 '바이브 코딩'에 너무 의존하는 것은 변화에 대한 수동적인 수용, 문제 영역 이해력 상실, 그리고 궁극적으로 진정한 사고를 방해하고 우울증을 유발할 수 있는 도파민 주도 주기로 이어집니다.
저는 C로 게임을 만듭니다 (네, C요) (2016)
I write games in C (yes, C) (2016)
저자는 신뢰성, 이식성, 단순성을 우선시하며 비전통적인 선택으로 솔로 게임 프로젝트를 전적으로 '바닐라' C로 작성하는 이유를 설명합니다. C의 위험성을 인정하면서도, 그 단순성, 속도, 광범위한 플랫폼 지원이 비교할 수 없다고 말합니다. C++ , C#, Java와 같은 더 복잡한 언어와 비교하고, Go와 Haxe가 자신의 특정 요구에 이상적이지 않은 이유를 논의하며, 결국 C가 자신의 게임 개발 워크플로우에 가장 적합하다고 결론 내립니다.
슬롭이 나를 공포에 떨게 한다
Slop Terrifies Me
작성자는 AI 개발이 정체되어 진정한 혁신을 저해하고 품질 저하로 이어지는 "그저 그런" 소프트웨어를 초래할 수 있다는 두려움을 표현합니다. 그들은 사용자들이 불완전한 AI 생성 제품에 안주하게 될까 봐, 그리고 진정으로 훌륭한 소프트웨어를 만드는 데 대한 동기가 줄어들어 쉽게 생산되는 평범한 애플리케이션이 지배하는 미래로 이어질까 봐 걱정합니다. 이러한 소프트웨어의 "테무화"는 단순한 상품화보다 더 해롭다고 간주됩니다.
LLM을 새로운 고수준 언어로
LLMs as the new high level language
이 글은 대규모 언어 모델(LLM)과 그 에이전트들이 어셈블리에서 벗어난 상위 언어처럼 새로운 상위 프로그래밍 언어가 되고 있다고 제안합니다. 자율적으로 작업하는 LLM 에이전트가 개발자 생산성을 크게 향상시킬 수 있다고 주장합니다. 코드 품질과 이해 가능성과 같은 잠재적 과제를 인정하면서도, LLM이 명세와 시나리오가 에이전트 워크플로우를 주도하는 비대화면 개발의 새로운 패러다임을 가능하게 하여 웹 및 소프트웨어 개발을 재정의할 수 있다고 제안합니다.
E 코어가 Apple Silicon을 빠르게 만드는 이유
Why E cores make Apple silicon fast
Apple Silicon Mac의 인상적인 성능은 종종 성능 코어 때문이라고 생각하지만, 효율성 코어는 백그라운드 작업을 처리하는 데 중요한 역할을 하여 P 코어가 사용자 애플리케이션을 위해 자유롭게 유지되도록 합니다. ARM의 big.LITTLE을 현대적으로 구현한 이 아키텍처는 서비스 품질(QoS)을 사용하여 스레드를 지능적으로 할당합니다. QoS는 포그라운드 작업을 P 코어(때로는 E 코어)에 우선적으로 할당하는 동시에 백그라운드 작업을 E 코어로 제한하여 사용자 경험과 배터리 수명에 영향을 미치지 않도록 하며, 이는 이전 Intel Mac에 비해 상당한 개선입니다.
Show HN: 스타트업을 판매하는 데 4년이 걸렸습니다. 그에 관한 책을 썼습니다.
Show HN: It took 4 years to sell my startup. I wrote a book about it
저자는 스타트업을 매각하는 4년간의 여정을 회고하며, 인수 과정에서 겪었던 실수와 어려움을 상세히 담은 책을 출간했습니다. "The Toughest Sell A Founder's Guide to Startup Exits"라는 제목의 이 책은 초기 문의부터 최종 협상까지 모든 과정을 다루며, 비슷한 매각을 경험하는 다른 창업자들을 위한 가이드 역할을 목표로 합니다.
Matchlock – Linux 기반 샌드박스로 AI 에이전트 워크로드를 보호합니다.
Matchlock – Secures AI agent workloads with a Linux-based sandbox
Matchlock은 AI 에이전트 워크로드의 보안을 강화하기 위해 설계된 새로운 CLI 도구입니다. 이 도구는 격리되고 일회용인 Linux 마이크로VM 내에서 AI 에이전트를 실행하여, 민감한 자격 증명과 네트워크 접근이 기본적으로 엄격하게 제어되도록 합니다. 이 도구의 아키텍처는 비밀 정보가 VM에 절대 들어가지 못하게 하여, 코드를 실행해야 하는 에이전트에게 안전한 환경을 제공합니다.
OpenClaw가 내 인생을 바꾸고 있다
OpenClaw Is Changing My Life
작성자는 OpenClaw를 코드를 실행하는 역할에서 벗어나 "슈퍼 매니저"가 될 수 있게 해주는 혁신적인 AI 에이전트라고 설명합니다. 이전 도구와 달리 OpenClaw는 채팅을 통해 개발부터 배포까지 전체 프로젝트를 독립적으로 처리할 수 있어, 작성자가 더 높은 수준의 제품 디자인 및 계획에 집중할 수 있게 합니다. 이러한 변화는 이전에는 도달할 수 없었던 기업가적 꿈을 실현 가능하게 만들었습니다.
나의 형언할 수 없는 어머니, 어슐라 K. 르 귄에 대한 전시회 큐레이팅
Curating a Show on My Ineffable Mother, Ursula K. Le Guin
저자는 유명 작가인 어머니 어슐라 K. 르 귄에 대한 전시회를 큐레이팅하며, 특히 그녀의 오래된 타자기를 활용한 인터랙티브 요소를 통해 그녀의 유산과 창의적 과정을 조명했습니다. 이 전시회는 전통적인 전기적 서사를 거부하고, 르 귄 자신의 '캐리어 백'으로서의 스토리텔링 철학을 선형적인 영웅 서사가 아닌 방식으로 풀어냅니다.
GitHub Agentic Workflows
GitHub Agentic Workflows
GitHub Agentic Workflows는 GitHub Actions 내에서 실행되는 자동화된 리포지토리 에이전트 시스템을 도입하여, 이슈 분류, CI 실패 분석, 문서 유지보수와 같은 작업을 마크다운으로 정의할 수 있게 합니다. 이러한 워크플로우는 샌드박스 실행, 기본적으로 읽기 전용 권한, 안전한 출력 처리 등 보안 우선 접근 방식을 강조하며 여러 AI 엔진을 지원합니다.
서브 에이전트와 에이전트 정의의 조합을 사용하여 요금을 우회할 수 있습니다
Billing can be bypassed using a combo of subagents with an agent definition
VS Code Copilot Chat 확장 프로그램에서 요금 청구를 우회할 수 있는 보안 취약점이 발견되었습니다. 특정 에이전트 정의와 함께 서브 에이전트를 사용하고 "무료" 모델을 활용함으로써 사용자는 무제한의 프리미엄 요청을 할 수 있습니다. 이 취약점은 무료 모델을 초기 에이전트로 구성한 다음, 도구 호출을 통해 서브 에이전트에 프리미엄 모델을 사용하도록 지시하여 값비싼 서비스에 대한 요금을 사실상 무효화합니다.
오픈 소스 애플리케이션 아키텍처 (1권) Berkeley DB
The Architecture of Open Source Applications (Volume 1) Berkeley DB
이 글은 오픈 소스 데이터 관리 라이브러리인 Berkeley DB의 아키텍처를 자세히 설명합니다. 설계 원칙, 20년에 걸친 발전 과정, 제작자의 철학을 논의하며, C로 작성되었음에도 불구하고 모듈화, 잘 정의된 API의 장점, 객체 지향적 접근 방식을 강조합니다. 또한 초기 설계와 이후 버전을 비교하며 복제 및 SQL 지원과 같은 기능이 핵심 원칙을 유지하면서 어떻게 통합되었는지 보여줍니다.
로저 에버트, "쇼생크 탈출" (1999) 리뷰
Roger Ebert Reviews "The Shawshank Redemption" (1999)
자체 AS 실행: FRR, GRE 터널 및 정책 라우팅을 사용한 FreeBSD의 BGP
Running Your Own As: BGP on FreeBSD with FRR, GRE Tunnels, and Policy Routing
이 글은 FreeBSD를 사용하여 공개 인터넷에서 자체 자율 시스템(AS)을 설정하고 실행하는 방법을 자세히 설명합니다. 스폰서 LIR로부터 AS 번호와 IPv6 접두사를 얻는 것, BGP를 위해 FRR을 사용하는 FreeBSD 라우터 구성, 원격 서버에 접두사를 배포하기 위한 GRE 및 GIF 터널 설정, 그리고 듀얼 스택 라우팅 문제를 관리하는 것에 대해 다룹니다.
RFC 3092 – "Foo"의 어원 (2001)
RFC 3092 – Etymology of "Foo" (2001)
이 RFC 문서는 기술 문서, 특히 RFC에서 명확한 정의 없이 자주 사용되는 메타 신택틱 변수 'foo', 'bar', 'foobar'의 어원을 탐구합니다. 이는 20세기 초반 만화, 군대 속어(FUBAR), 심지어 고대 중국 조각상까지 그 기원을 추적하며 컴퓨터 과학에서의 광범위한 채택을 설명합니다.
다섯 분야가 같은 수학을 독립적으로 발견했습니다 – 아무도 몰랐습니다
Five disciplines discovered the same math independently – none of them knew
물리학, 생물학, 금융, 기계 학습, 전력망, 교통 흐름 등 여러 분야의 연구자들이 복잡한 시스템의 티핑 포인트를 예측하기 위한 동일한 수학적 도구를 독립적으로 개발했습니다. 1935년부터 2004년 사이에 다른 이름으로 다른 학술지에 발표된 이러한 발견은 상당한 노력의 중복과 응용 지연을 강조하며, 시간, 자원 낭비를 초래하고 잠재적으로 인프라 취약성으로 이어졌습니다. arXiv의 논문은 이러한 수렴적 발견을 분석하고 학제 간 전문화 또는 구조적 인센티브가 이러한 파편화를 유지했는지 의문을 제기합니다.
아타리 2600용 레이더스: 잃어버린 성궤 리버스 엔지니어링
Reverse Engineering Raiders of the Lost Ark for the Atari 2600
이 저장소는 아타리 2600 게임 "레이더스: 잃어버린 성궤"의 완전한 리버스 엔지니어링 및 주석이 달린 소스 코드를 제공합니다. 이 프로젝트는 2뱅크 ROM 구조, 뱅크 스위칭 기술, 그리고 게임 로직, 그래픽, 입력 처리를 제어하는 복잡한 프레임 루프를 포함한 게임의 아키텍처를 상세히 설명합니다.
오메가-3는 조기 발병 치매 위험과 반비례 관계입니다
Omega-3 is inversely related to risk of early-onset dementia
UK 바이오뱅크 데이터를 이용한 연구에서 40-64세 개인의 혈중 오메가-3 수치와 조기 발병 치매(EOD)의 관계를 분석했습니다. 결과는 높은 총 오메가-3 수치와 EOD 위험 간의 통계적으로 유의미한 반비례 관계를 보여주었으며, 이는 젊은 시절 오메가-3 섭취를 늘리는 것이 질병의 발병을 늦추는 데 도움이 될 수 있음을 시사합니다.
Vouch
Vouch
Vouch는 AI 도구로 가능해진 저품질 기여를 막기 위해 설계된 실험적인 프로젝트 신뢰 관리 시스템입니다. 이를 통해 프로젝트는 사용자를 명시적으로 보증하거나 거부하여 서로 다른 프로젝트 간에 공유될 수 있는 신뢰 네트워크를 구축할 수 있습니다. 이 시스템은 구성 가능하며 GitHub 액션과 CLI를 통해 GitHub와 통합되며, 신뢰 목록을 관리하기 위한 간단한 파일 형식을 사용합니다.
다니엘 카너먼의 유산: 개인적인 관점 (2025)
The Legacy of Daniel Kahneman: A Personal View (2025)
A11yJSON: 물리 세계의 접근성을 설명하기 위한 표준
A11yJSON: A standard to describe the accessibility of the physical world
A11yJSON은 물리적 세계의 접근성 정보 교환을 촉진하기 위해 설계된 GeoJSON 기반의 오픈 표준입니다. 엘리베이터, 경사로, 정책과 같은 실제 세계의 기능을 설명할 수 있게 하여 접근성 데이터를 다양한 애플리케이션 및 시스템에 쉽게 통합할 수 있도록 합니다. 이 표준은 우리 환경의 접근성을 매핑하고 이해하는 방식을 개선하는 것을 목표로 합니다.
게임보이 컬러에 실시간 3D 셰이더를 적용했습니다
I put a real-time 3D shader on the Game Boy Color
이 프로젝트는 게임보이 컬러에 구현된 실시간 3D 셰이더를 보여줍니다. 노멀 맵, 구면 좌표, 사용자 정의 수학 파이프라인을 활용하여 게임보이의 제한된 처리 능력과 곱셈 명령어 부재를 극복합니다. 이 시스템은 로그 및 조회 테이블을 사용하여 계산을 수행하며, 원본 하드웨어의 제약 조건 내에서 기능적인 3D 렌더링 효과를 달성합니다.
서명된 부트로더를 악용하여 UEFI Secure Boot 우회
Exploiting signed bootloaders to circumvent UEFI Secure Boot
이 기사는 UEFI Secure Boot 보안을 강화하기 위한 서명된 부트로더가 이를 우회하기 위해 어떻게 악용될 수 있는지 자세히 설명합니다. 저자는 'Super UEFIinSecureBoot Disk' 및 'Silent UEFIinSecureBoot Disk'와 같이 Secure Boot를 비활성화하지 않고도 신뢰할 수 없는 코드나 운영 체제를 실행할 수 있는 부팅 가능한 USB 드라이브를 만드는 방법을 시연합니다. 이는 GRUB과 같은 부트로더를 수정하거나 사용자 정의 사전 로더를 사용하여 서명 확인을 우회함으로써 달성되며, 부트킷 설치에 대한 위험을 초래합니다.
콜라코프스키 수열
Kolakoski Sequence
콜라코프스키 수열은 자신의 런-렝스 인코딩을 설명하는 {1,2} 기호의 무한 수열입니다. 수열의 각 항은 동일한 기호의 다음 런 길이를 나타내며, 기호는 1과 2 사이에서 번갈아 나타납니다. 이는 자기 생성적이고 프랙탈과 같은 수열로, 재귀 및 밀도와 같은 흥미로운 수학적 속성을 가지고 있으며 여전히 연구 중입니다.
암의 전염성 있는 맛
The Contagious Taste of Cancer
이 글은 암에 대한 역사적인 믿음을 탐구하며, 특히 17세기 외과의사 사무엘 스미스가 암성 액체를 맛보고 사망한 사례에 초점을 맞춥니다. 이 사례는 암이 전염되지 않는다는 현대적 이해에 앞서, 강렬한 감각 경험과 감정이 질병과 연결된다는 초기 근대 의학 이론을 보여줍니다.
1997년처럼 Quake를 컴파일해 봅시다
Let's compile Quake like it's 1997
이 글은 게임 Quake의 32비트 Windows 바이너리를 컴파일하는 1997년 개발 경험을 재현하는 과정을 상세히 설명합니다. Windows NT 4.0 또는 Windows 98SE가 설치된 가상 머신을 설정하고 Visual C++ 6을 설치하는 과정을 안내합니다. 이 과정에는 어셈블리 파일을 처리하고 오래된 개발 도구와의 호환성 문제를 극복하기 위한 특정 단계가 포함되어 있으며, 초기 게임 개발 관행에 대한 향수를 불러일으킵니다.
최초의 나트륨 이온 배터리 EV는 겨울철 주행 거리 괴물입니다
The First Sodium-Ion Battery EV Is a Winter Range Monster
Changan Nevo A06은 나트륨 이온 배터리를 탑재한 최초의 양산형 전기차로, 추운 날씨에서의 성능이 크게 향상되었습니다. 리튬 이온 배터리와 달리 -40도에서도 주행 거리 손실이 거의 없고 열 폭주 위험이 없습니다. 에너지 밀도는 LFP 배터리와 비슷하지만, 뛰어난 저온 성능과 저렴한 비용으로 EV 및 에너지 저장 장치에 대한 유망한 대안이 됩니다.
Lean4로 PBS Kids의 형식 검증
Formally Verifying PBS Kids with Lean4
이 게시물은 형식 검증 언어인 Lean4를 사용하여 PBS Kids의 Cyberchase 에피소드를 형식적으로 검증한 내용을 상세히 설명합니다. 저자는 원리로부터 수학적 원리를 도출하는 쇼의 초점에 영감을 받아, 이를 엄격한 검증이 필요한 소프트웨어 공학에 적용합니다. 이 글은 Lean에서 Nim의 변형인 에피소드의 게임을 모델링하고, 함수의 정의 방법, 적에 대한 비결정적 선택 처리 방법, Lean의 증명 전술을 사용하여 재귀 함수의 종료 증명을 보여줍니다. Lean이 수학적 사실을 표현하고 기본 공리까지 코드 동작을 검증하는 데 얼마나 강력한지 강조합니다.
Bun v1.3.9
Bun v1.3.9
Bun v1.3.9은 상당한 성능 향상과 새로운 기능을 도입합니다. 주요 업데이트에는 더 나은 출력 라벨링을 갖춘 향상된 동시 및 순차 스크립트 실행 기능, net.Server를 통한 올바른 HTTP/2 연결 업그레이드, 자동 모의 복원을 위한 Symbol.dispose 지원이 포함됩니다. 또한 NO_PROXY 처리 개선, --cpu-prof-interval 플래그 추가, --compile에서 ESM 바이트코드 지원, ARMv8.0 aarch64 CPU 충돌 수정 등이 이루어졌습니다. Markdown 렌더링, AbortSignal.abort(), JavaScriptCore의 RegExp 처리, 다양한 문자열 및 Set/Map 작업에서도 추가 최적화가 이루어졌습니다. Node.js 호환성 및 Web API 수정도 포함되어 있습니다.
어휘를 짜내는 방법 (2001) [pdf]
How to squeeze a lexicon (2001) [pdf]
Show HN: Kekkai – 터미널에서 대화형 보안 트리아지
Show HN: Kekkai – Interactive security triage in the terminal