I recently ran into a classic case of "our code is using way more memory than it should". So I took my first dive into memory profiling Rust code. I read several posts about this, including the following
Felipe Lessa meteficha
LeventErkok
/ Cheryl.hs
Last active
August 29, 2015 14:19
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ------------------------------------------------------------------------------------------ | |
| -- A formalization of the Cheryl's birtday problem; using Haskell/SBV | |
| -- | |
| -- See: http://www.nytimes.com/2015/04/15/science/a-math-problem-from-singapore-goes-viral-when-is-cheryls-birthday.html | |
| -- | |
| -- By Levent Erkok, This file is in the public domain. Use it as you wish! | |
| -- | |
| -- NB. Thanks to Amit Goel for suggesting the formalization strategy used in here. | |
| ------------------------------------------------------------------------------------------ |
HenningTimm
/ rust_mem_profiling.md
Last active
August 27, 2024 11:23
Memory profiling Rust code with heaptrack in 2019