32-day longest streak
> "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates the study of type…
> "The fundamental purpose of a type system is to prevent the occurrence of execution errors
during the running of a program. This informal statement motivates the study of type systems,
but requires clarification."
>
>*— Luca Cardelli in Type Systems (1974)*
🌊 Holla. I'm Zeeshan. Find me online @ zee.town, code pastes @ scpaste.zee.town.
I'm...
- an engineer @ the Oxide Computer Company;
- a Ph.D student @ Carnegie Mellon University's School of Computer Science, studying Programming Language Theory with Frank Pfenning, focusing on Polarized Subtyping;
- $f(x) = x$: a co-founder and co-organizer of Papers We Love and PWLConf.
Formerly, I was
- a staff engineer @ Fission, where I worked on local-first software and led efforts on Homestar, an IPVM reference implementation for open-world computing and Wasm execution, and rust-template;
- a director of fraud engineering and strategic research @ BlockFi, where I also wrote about composing observable Rust applications and co-ran engineering hiring;
- a principal engineer @ Comcast, driving programmable networking, modern network function development, and traffic steering and NLBs;
- a software engineer working on impactful distributed systems Riak @ Basho, particularly Riak Search, Hyperloglog data types, and Bigger Sets (delta CRDT sets).
- an engineer who co-wrote the Readability 2.0 iOS app while @ Arc90;
- an engineer and researcher who helped drive interactive content @ the NYPL Labs.
You can find more information about what I've worked on in my resume. Peruse "On the Books" to see what I'm bookmarking and always reading.
You can also find me at these spots:
Code Memories
Publications
August 16, 2024Thesis Proposal: Polarized Subtyping | Carnegie Mellon University | Zeeshan LakhaniMarch 29, 2022Polarized Subtyping | ESOP 2022 | Springer version | arXiv version | Artifact | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, and Frank PfenningJuly 22, 2022Checking-in on Network Functions | ANRW 2019 | ACM version | arXiv version | Zeeshan Lakhani and Heather MillerJuly 10, 2018Towards a Solution to the Red Wedding Problem | HotEdge 2018 | Christopher S. Meiklejohn, Heather Miller, and Zeeshan LakhaniApril 18, 2016Big(ger) Sets: decomposed delta CRDT Sets in Riak | PaPoc 2016 | arXiv version | Related Presentation | Russell Brown, Zeeshan Lakhani, and Paul Place
-
papers-we-love ★ PINNED ⑂
Papers from the computer science community to read and discuss.
★ 1 11y agoExplain → -
schema-gen ★ PINNED
Turn Prismatic schemas into generated data.
Clojure ★ 34 11y agoExplain → -
zeeshans_thesis ★ PINNED
My Thesis Code/Executables
Processing ★ 5 9y agoExplain → -
live-rust
No description.
Rust ★ 6 6y agoExplain → -
midwestio
org-mode/markdown-version presentation from midwestio
TeX ★ 6 12y agoExplain → -
joey_bishop
starter-kit for ruby-sinatra applications
JavaScript ★ 3 14y agoExplain → -
techcrunch_hack
Remix the Web
Python ★ 3 15y agoExplain → -
compphoto_texturesynth
No description.
Objective-C ★ 2 15y agoExplain → -
datastructures_finalproject
Final Project for Data Structures Course at NJCU, Fall 2010
Java ★ 2 15y agoExplain → -
digitalsignaltheory_final
Final Project for Digital Signal Theory Class at NYU Music Tech Program, Fall 2007
Objective-C ★ 2 15y agoExplain → -
proof_docsimilarity
No description.
Objective-C ★ 1 15y agoExplain → -
zeeshanlakhani
GitHub Profile
★ 1 1y agoExplain → -
lsp-mode ⑂
Emacs client/library for the Language Server Protocol
★ 1 2y agoExplain → -
compute-starter-kit-rust-static-content
No description.
Rust ★ 1 3y agoExplain → -
unconf
No description.
Objective-C ★ 1 13y agoExplain → -
elasticsearch-tools ⑂
Tools for Dealing with Elasticsearch.
★ 0 12y agoExplain → -
schema-contrib ⑂
Additional validators for Prismatic's Schema.
★ 0 11y agoExplain → -
melpa ⑂
Recipes and build machinery for the biggest Emacs package repo
★ 0 1y agoExplain → -
setup-cross-toolchain-action ⑂
GitHub Action for setup toolchains for cross compilation and cross testing for Rust.
★ 0 2y agoExplain → -
cargo-hack ⑂
Cargo subcommand to provide various options useful for testing and continuous integration.
★ 0 2y agoExplain → -
this-week-in-rust ⑂
Data for this-week-in-rust.org
HTML ★ 0 2y agoExplain → -
jsonrpsee ⑂
Rust JSON-RPC library on top of async/await
★ 0 2y agoExplain → -
tracing-logfmt ⑂
A logfmt formatter for tracing subscriber logs
★ 0 2y agoExplain → -
rust-libp2p ⑂
The Rust Implementation of the libp2p networking stack.
★ 0 3y agoExplain → -
generating-circumstances
Presentation from CodeMash 2015
TeX ★ 0 11y agoExplain → -
test-template
No description.
Rust ★ 0 3y agoExplain → -
rs-wnfs ⑂
Rust implementation of the WebNative FileSystem (WNFS) specification
Rust ★ 0 3y agoExplain → -
shields ⑂
Concise, consistent, and legible badges in SVG and raster format
★ 0 3y agoExplain → -
component-model-demo ⑂
This repository demonstrate how to use component model with wasmtime.
★ 0 3y agoExplain → -
github-actions-dhall ⑂
Typecheck, template and modularize your Github Action definitions with Dhall
★ 0 4y agoExplain → -
redex-wip
No description.
Racket ★ 0 6y agoExplain → -
infer ⑂
A static analyzer for Java, C, C++, and Objective-C
OCaml ★ 0 7y agoExplain → -
littlesheens ⑂
A Machines (Sheens) implementation that has a small footprint
C ★ 0 8y agoExplain → -
p4c ⑂
P4_16 prototype compiler
P4 ★ 0 8y agoExplain → -
sheens ⑂
Message Machines
Go ★ 0 8y agoExplain → -
dialyzex ⑂
A Mix task for type-checking your Elixir project with dialyzer
Elixir ★ 0 8y agoExplain → -
the-little-schemer ⑂
All the Scheme code examples from the book "The Little Schemer"
Scheme ★ 0 16y agoExplain →
No repos match these filters.