Gershom Bazerman

Software Developer at Arista Networks, author of various Haskell libraries.

Talks Online

• A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures -- Haskell Symposium, Sept 2022
  (Paper)
• Classes of Closed Monoidal Functors which Admit Infinite Traversals -- NY Category Theory Seminar, May 2022
  (Video)
• An Invitation to Order-Theoretic Models of Package Dependencies -- PackagingCon, Nov 2021
  (Video)
• A Localic Approach to Dependency, Conflict, and Concurrency -- ACT@UCR, 29 April 2020
  (Video, Slides)
• Dependency Structures and Locales -- Category Theory Octoberfest, Oct 2019
  (Video, Slides)
• The Idempotent Distributive Lattice Completion and Applications in Computer Science -- MIT Category Theory Seminar, Aug 2019
  (Video)
• Homological Computations for Term Rewriting Systems -- Papers We Love, Oct 2017
  (Video, Slides)
• Executable Categorical Models of Type Theory -- New Jersey Programming Languages Seminar, Sept 2016
  (Slides)
• Programming from Universal Properties (aka the colimits talk) -- Haskell Exchange, Oct 2015
  (Video, Slides)
• The Abstract Method, In General -- LambdaConf, May 2015
  (Video, Slides)
• The Art of Program Derivation and Parallel Computation (Workshop) -- LambdaConf, May 2015
  (Video, Code)
• From Scheme to Dependent Type Theory in 100 Lines -- LispNYC, May 2015
  (Part One, Part Two, Slides, Code)
• Homotopy Type Theory: What's the Big Idea -- LambdaJam Chicago, 2014
• Dynamic, Interactive Web Applications that Scale Forever, Boston Haskell Users' Group, 2014
• DSLs and Towers of Abstraction (aka the ajoints talk) -- NY Haskell Users' Group, 2013
• Putting Cloud Haskell To Work -- NY Haskell User's Group, 2012

Publications, Drafts, and Conference Talks

• The Semantics of Package Management via Event Structures, arXiv preprint, July 2021
• The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices, arXiv preprint, April 2020
• Flipping Fold, Reformulating Reduction: An Exercise in Categorical Design -- draft presented at IFL 2014.
• First Class Differential Equations -- slides from a talk at Off the Beaten Track at POPL 2012.
• Declarative Equations, Compositional Strategies: Solving Differential Systems with Lazy Splines -- draft paper, 2009.

Various Short Articles

• Computational Quadrinitarianism -- Comonad Reader, 2018
• Letter to a Young Haskell Enthusiast -- Comonad Reader, 2014
• Representating Applicatives -- Comonad Reader, 2013
• Algebras of Applicatives -- Comonad Reader, 2013
• Abstracting with Applicatives -- Comonad Reader, 2012
• Deserializing strongly typed values (four easy pieces about typechecking) -- Hac Phi, 2010

Posts Dated April First

• Proposal: Professionalizing GHC Development, 2018
• Haskell World News, 2017
• An Easy Solution to PVP Bounds and Cabal Hell, 2015
• New Features for GHC 7.10.1 and Beyond, 2014
• A Modest Records Proposal, 2012

Code

Libraries

• boolsimplifier -- simplification tools for propositional expressions
• cubicspline -- natural interpolation of cubic splines
• jmacro -- EDSL for programmatic generation of JavaScript
• jmacro-rpc -- JSON-RPC interface generation and reactive client/server web programming that scales (also see jmacro-rpc-snap and jmacro-rpc-happstack)
• kmeans -- a library for k-means clustering
• lazysplines -- differential solving with lazy splines
• maximal-cliques -- enumerate the maximal cliques of a graph
• mbox -- Read and write standard mailbox (mboxrd) files.

Software

• cursedcsv -- curses-based terminal browser for reading csv files. ("less for tabular data").
• mess -- the Martin-Löf Extensible Specification and Simulator, a toy dependent type theory embedded in scheme.

Other

• Organizer and Founder, NY Haskell Users Group, 2012-ongoing
• Organizer, NY Homotopy Type Theory/Topos Theory Reading Group (joint with the NY Category Theory Seminar), 2013-ongoing
• Member, Haskell.org Committee, 2013-2018
• Chair, Haskell.org Committee, 2015-2018
• Organizer and Program Chair, Compose Conference 2015, 2016, 2017, 2019
• Co-Maintainer, Hackage package repository, 2017-ongoing

Contact

• Email: gershomb at the email service from google