Not from Tigerbeetle, but having looked at his code this is what I saw https://news.ycombinator.com/item?id=45896559