Slava Pestov's corner of the web

Contact details:

• E-mail: sviatoslav.pestov@gmail.com
• Mastodon: @slava@mathstodon.xyz
• GitHub: github.com/slavapestov

My work

I'm searching for examples of finitely-presented monoids that cannot be presented by finite complete rewriting systems:

• ⟨a, b | aba=aa, baa=aab⟩ -- my first result in this space.
• ⟨a, b | bab=aaa, bbb=bb⟩ -- explore the equivalence class of a⁸ in this remarkable monoid.

Apple (2015–)

The Swift generics implementation is one of my focus areas. I am slowly writing a book about it:

• Compiling Swift Generics (2022, ongoing)

• Library evolution in Swift (2020)

• Implementing Swift generics (2017)
• What's new in Swift 4.2 (WWDC 2018)
• Design protocol interfaces in Swift (WWDC 2022)
• Protocols and associated types in Swift (2023, slides only)

• SE-0193: Cross-module inlining and specialization (2017)
• SE-0346: Lightweight same-type requirements for primary associated types (2022)
• SE-0393: Value and type parameter packs (2023)
• SE-0398: Allow generic types to abstract over packs (2023)
• SE-0427: Noncopyable generics (2024)

Google (2010–2014)

Factor (2003–2010)

Factor is a dynamically-typed programming language with a stack-based syntax and a heavy emphasis on interactive development, reflection, and simplicity. The implementation includes an optimizing compiler, cross-platform GUI toolkit, and web framework.

A conference paper:

• Factor: a dynamic stack based language (2010)

• Factor: an extensible interactive language (2008)

jEdit (1998–2003)

jEdit has a plugin system, built on top of the dynamic features of the Java virtual machine. A tool within the editor can download and install plugins from a central registry. This was an early form of the "package manager" found in many popular text editors and languages today.