dir_balak

↗ HN profile [ 14.8 ms ] full profile

No user record in our sample, but dir_balak has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. I found that reading other people's code is very beneficial for my own coding. But I haven't found a resource that lists some great code in Python which is not a giant codebase. Any suggestions?

  2. I am currently in academia as a postdoc in math and I'm on the lookout for opportunities in industry. I stumbled upon the field of formal verification which seems particularly well suited for someone with a deep math…