Nick Barnes

Results 6 issues of Nick Barnes

I don't see anything in here for Leagues ("leaderboards"). The data seems to come from duolingo-leaderboards-prod.duolingo.com/leaderboards/<uuid>/users/<userid> I'm happy to write some code for this, but am I just missing it?...

This PR resurrects the statistical memory profiler "statmemprof", which was present in OCaml 4.14 but removed as part of the multicore merge. This PR description covers a lot of statmemprof...

run-thread-sanitizer

Statmemprof needs to be called when allocations are made, and at the start and end of each GC (at the start for scanning roots, at the end for cleaning up...

statmemprof

Trying to get started with forge. I got as far as my first forge-pull and hit: ``` error in process sentinel: ghub--signal-error: HTTP Error: 504, "Gateway time-out", "/graphql", ((message ....

bug upstream

Sometimes my Emacs gets into a state such that, if I C-x C-f some-file-for-the-first-time then the file buffer doesn't appear and I get the message "while: Writing to process: Invalid...

I have merged some changes from one branch to another. The merge was non-straightforward, so I had to edit one of the files as I went (so the merging changelist...