Testing, Erlang, Elixir, Quickcheck.
hate Erlang macros. If I ever start using PropER for Erlang, I’ll certainly be the weirdo that writes proper:forall instead of ?FORALL. PropER macros for Elixir are much nicer, though. Targeted Properties and Simulated Annealing are cool stuff to learn about, even if you won’t use Property-Based