Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Naming Conventions That Need to Die (2018)

Implementing a Type-safe printf in Rust (2020)

Defeating Coherence in Rust with Tacit Trait Parameters

Type-level Programming in Rust (2020)

Portable EPUBs

Recent adventures in performance optimization with Rust

What Is Systems Programming, Really? (2018)

A New Medium for Communicating Research on Programming Languages

Generic associated types encode higher-order functions on types

Type-Level Programming in Rust

Implementing a Type-safe printf in Rust

jQuery, but for types

Type-level Programming in Rust

Types Over Strings: Extensible Architectures in Rust

What Is Systems Programming, Really? (2018)

Compiling Knowledge into Probabilistic Models

Partial Function Application as a Design Pattern

“Do What I Mean”: Name Resolution in Programming Languages

What Is Systems Programming, Really?

The Future of Notebooks: Lessons from JupyterCon

Idioms of Dynamic Languages

Automatic Type Coercions with Procedural Macros in Rust

Remixing as Learning in Creative Media

Programming in the Debugger

Rust: the new LLVM

Programming Languages as Scouts

Learning through goals in CS

Gradual Programming

Type-directed metaprogramming in Rust

Memory Safety in Rust: A Case Study with C

More →