From engineering to abstract mathematics and back
-
Jane Street
- UK
- https://blogs.ncl.ac.uk/andreymokhov/
- @andreymokhov
Block or Report
Block or report snowleopard
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
354 contributions in the last year
Less
More
Activity overview
Contribution activity
March 2023
Created 16 commits in 4 repositories
Created a pull request in ocaml/dune that received 17 comments
Add commutative monoids
@rgrinberg As promised. Also cleaned up some unnecessary qualifications and type signatures.
+148
−35
•
17
comments
Opened 5 other pull requests in 2 repositories
snowleopard/alga
3
merged
1
closed
snowleopard/selective
1
merged
Reviewed 11 pull requests in 1 repository
ocaml/dune
11 pull requests
- feature: add a thread pool
- refactor(engine): remove source tree traversals
- feature: add action runners
- doc: clarify bootstrap commands in hacking.rst
- refactor: rename dune_config
- fix(rules): merge allowed subdirs correctly for Redirect_to_parent rules
- Add commutative monoids
- feature: optimize file copying on linux
- feature: promote files atomically
- test(memo): demonstrate loss of concurrency
- fix: custom log file path




