Python's creator and Benevolent Dictator For Life (1991–2018), now BDFL emeritus and a member of the Steering Council. Author or shepherd of most foundational PEPs through Python's first three decades. Currently focused on the faster-cpython project at Microsoft.
Z notation specialist. Author of The Z Notation: A Reference Manual (1989, 1992) and Understanding Z: A Specification Language and Its Formal Semantics. Author of the fuzz type-checker that defines what valid Z really means. Oxford academic.
Formal methods specialist. Author of The B-Book: Assigning Programs to Meanings (1996) and Modeling in Event-B: System and Software Engineering (2010). Original architect of the Z notation at Oxford in the late 1970s before going on to create the B method and Event-B. Engineer by training, mathematician by necessity.
Cloud-native engineer and educator. Co-author of Kubernetes Up & Running (2017, 2019). Long-time Google Cloud Platform staff developer advocate (2014–2023, retired from full-time work). Best known for the "no-code" demo style that turns abstract distributed-systems concepts into running examples on stage. Authored…
Product management author and coach. Founder and partner of Silicon Valley Product Group (SVPG, 2001). Author of Inspired: How to Create Tech Products Customers Love (2008, 2017), Empowered: Ordinary People, Extraordinary Products (2020), Loved: How to Rethink Marketing for Tech Products (2022 with Lea Hickman), and…
Smalltalk specialist. Co-author of Design Patterns: Elements of Reusable Object-Oriented Software (1994 — the GoF book) with Erich Gamma, Richard Helm, and John Vlissides. Long-time University of Illinois professor in the SCSL (Software Composition and Software Engineering) lab. With his student William Opdyke…
Bell Labs and Plan 9 alumnus. Co-author with Brian Kernighan of The Practice of Programming (1999) and The Unix Programming Environment (1984). Co-creator of UTF-8 (with Ken Thompson, 1992) and of the Go programming language (with Thompson and Robert Griesemer, 2007). Built sam, acme, the Plan 9 windowing system, and…
Go core. Author of the Go module system (vgo), gopls, and the golang.org/x/vuln toolchain. Plan 9 alumnus. Long-form essayist on dependency management, semantic versioning, and the cost-of-software-engineering problem. Writes at research.swtch.com.
Cocoa and Objective-C elder. Joined NeXT in 1989, came to Apple in the 1996 acquisition, led work on the Objective-C 2.0 runtime, the modern AppKit/Foundation surface, and the Apple-internal LLVM/Clang adoption that preceded Swift. Quiet builder of the platform that the Swift team later reshaped.
Product discovery coach. Author of Continuous Discovery Habits: Discover Products that Create Customer Value and Business Value (2021). Founder of Product Talk (2014). Trains hundreds of product teams a year on customer interviewing, opportunity-solution trees, and the experimental discipline that turns "talking to…
Deep learning pioneer. VP and Chief AI Scientist at Meta (since 2013). Silver Professor at NYU. Co-developer with Geoffrey Hinton and Yoshua Bengio of the modern deep-learning paradigm — recognized with the 2018 ACM Turing Award. Inventor of convolutional neural networks (LeNet, late 1980s), the practical use of…
Use this agent when you need to review code for adherence to project guidelines, style guides, and best practices. This agent should be used proactively after writing or modifying code, especially before committing changes or creating pull requests. It will check for style violations, potential issues, and ensure code…
Use this agent when reviewing code changes that introduce or modify a claimed invariant, a classification/enum/switch over a closed set of cases, or a test meant to guard against a specific class of regression. It verifies that what a comment, docstring, or test CLAIMS is enforced actually IS enforced by the code …
Use this agent when reviewing code changes in a pull request to identify silent failures, inadequate error handling, and inappropriate fallback behavior. This agent should be invoked proactively after completing a logical chunk of work that involves error handling, catch blocks, fallback logic, or any code that could…
Programming language designer for four decades. Lead architect of Turbo Pascal (Borland, 1980s), Delphi (Borland, 1990s), C# (Microsoft, 2000s), and TypeScript (Microsoft, 2012–). Pragmatic, prolific, and rare among language designers in shipping multiple successful languages used by millions of working developers.
Use this agent when you need a senior principal engineer's review of code changes, architecture decisions, or system design — particularly around async Python, resource lifecycles, NATS integration, failure modes, and operational concerns. Alex excels at finding what will break in production, identifying resource…
★not rated 2 yesterdayA418 tokens
originalMIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: