- 🔭 I'm currently a software developer at D. E. Shaw
- 🤔 I’m an active user of Neovim and a contributer to Neovim plugins
- 🌱 I’m proud to have completed my Bachelor's degree in Computer Science at the University of Waterloo
- ⚡ In the past I've completed internships at:
- Jane Street, implementing OCaml libraries
- Tesla, working on firmware tooling in Haskell
- TQ Tezos, developing blockchain infrastructure and smart contracts
- Ericsson, writing Clojure applications
- 📫 My resume and contact info can be found on my site
A comathematician is a device for turning cotheorems into ffee
- London, United Kingdom
-
03:44
- same time - simonzeng.com
Pinned Loading
-
dhall-python
dhall-python PublicForked from TristanCacqueray/python-dhall
Python bindings for dhall, a functional configuration language
-
Haskell graph algorithms using semir...
Haskell graph algorithms using semiring linear algebra 1-- reference paper: https://www.cl.cam.ac.uk/%7Esd601/papers/semirings.pdf
2{-# OPTIONS_GHC -Wno-incomplete-patterns #-}
34import Data.List
5 -
-
-
-
58 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Loading
Contribution activity
March 2025
Created 3 commits in 3 repositories
7
contributions
in private repositories
Mar 26 – Mar 28