1주 전 · software

리플렉션은 과소평가된 엔지니어링 스킬 (내가 실천하는 방법)

왜 Reactive Reflection만으로는 충분하지 않은가 나는 주마다 커밋 목록과 막연한 진전감을 가지고 마무리하곤 했다. 문제가 생겼을 때, 나는 왜인지 설명할 수 없었다.

1주 전 · software

Show HN: Lean4 증명, SSOT는 정의 시점 훅과 introspection을 필요로 함

나는 Lean 4에서 Single Source of Truth SSOT 원칙을 약 2.1k LOC, zero sorry 로 형식화하고 두 가지 핵심 결과를 증명했다: Structural SSOT는 a la…에만 달성될 수 있다.

3주 전 · software

Python에서 getattr를 언제 사용해야 할까

기본 아이디어 보통은 속성에 이렇게 접근합니다: `python p.name` 이는 코딩할 때 속성 이름을 미리 알고 있을 때만 동작합니다. `getattr`는 이를 가능하게 해 줍니다.

1개월 전 · software

코드의 잃어버린 로고들

Logos란 무엇인가? 우리는 그리스어에서 약하게 “word” 또는 “reason”으로 번역하지만, 철학자 Christos Yannaras가 정의하듯이, “logos는 모든 것이 …”

1개월 전 · software

스칼라 3 매크로 해부: 인용과 스플라이싱을 통한 심층 탐구

소개 컴파일‑타임 메타프로그래밍의 세계에 오신 것을 환영합니다, Scala 3! 매크로는 마법처럼 느껴질 수 있지만, 인용(quoting)과 스플라이싱(splicing)이라는 강력한 시스템 위에 구축되었습니다.

1개월 전 · software

Show HN: Mirror_bridge – C++ 리플렉션 기반 Python 바인딩 생성

번역할 텍스트를 제공해 주세요.

1개월 전 · software

Mirror_bridge – C++ 리플렉션을 이용한 Python/JS/Lua 바인딩 생성

기사 URL: https://chico.dev/Mirror-Bridge/ 댓글 URL: https://news.ycombinator.com/item?id=46144199 포인트: 3 댓글: 0