주제 · 개념

신뢰

개인적 신뢰와 시스템 신뢰입니다. 사람들이 들여다볼 수 없는 은행, 절차, 소프트웨어에 기대는 이유와 그 신뢰가 쌓이는 방식입니다.

상위
위험, 경제
페이지
3
지도에서 페이지 3개와 주변 주제
점을 한 번 누르면 선택되고, 다시 누르면 열립니다.

전체 지도에서 열기 →

  1. 2026

  2. 글The River and the CanalEN中한

    Agents explore the rugged world; workflows are what exploration leaves behind. Chess, StarCraft, a factory under the sea, and why I build an engine.

    에이전트게임 AI프랙털추상화결정론지속 실행신뢰공장탈희소성가독성금융보험체스바둑스타크래프트

    51 분 분량 · 16개 장

  3. 글The Proof You Only Have to Write Once

    Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.

    정형 기법프로그래밍 언어AI 보조 엔지니어링오픈 소스신뢰Haskell컴파일러타입 시스템

    13 분 분량 · 7개 장

  4. 글What Zentinel Is Really Optimizing For

    Every major proxy was a product of its time. Zentinel is built for this one: safety, operability, and the operator's ability to sleep.

    엣지 시스템응용 보안WAF와 트래픽 검사격리신뢰관측 가능성RustPingora

    18 분 분량 · 8개 장

    전체 검색 열기 →