주제 · 분야

프로그래밍 언어

언어, 타입 시스템, 컴파일러, 그리고 실행 가능한 의도를 글로 적는 방식.

하위
컴파일러, Elixir, 정형 기법, Haskell, Rust, TypeScript
페이지
7
지도에서 페이지 7개와 주변 주제
점을 한 번 누르면 선택되고, 다시 누르면 열립니다.

전체 지도에서 열기 →

  1. 2026

  2. 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 분

  3. The Field Exists Now

    Alasdair Allan's agentlanguages.dev catalogue turns AI-oriented programming languages from a loose set of experiments into a field with camps, disagreements, and testable claims.

    프로그래밍 언어AI 보조 엔지니어링정형 기법Haskell컴파일러

    7 분

  4. Source Code Is the New Assembly

    Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.

    AI 보조 엔지니어링프로그래밍 언어정형 기법Haskell컴파일러출처

    27 분

  5. What Comes After the Last Programming Language

    If AI generates machine code directly, why are we still running operating systems designed for humans? The answer might be an inference-native OS.

    운영체제추론GPU격리프로그래밍 언어AI 보조 엔지니어링

    23 분

  6. Why We Built a Haskell Package Manager in Rust

    hx is a fast, opinionated Haskell toolchain built in Rust, following the playbook astral.sh used to modernize Python.

    개발자 도구프로그래밍 언어오픈 소스HaskellRust

    19 분

  7. The Last Programming Language Might Not Be for Humans

    Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.

    AI 보조 엔지니어링프로그래밍 언어정형 기법Haskell컴파일러

    26 분

  8. 2023

  9. All beginning is Haskell

    How Haskell shaped the way I think about building systems, and why I am still building Haskell tooling years after writing my first monad.

    프로그래밍 언어Haskell개발자 도구컴파일러

    10 분

    전체 검색 열기 →