Programming paradigms recommended by two humans.

## Programming paradigms

- Haskell
- Coq 
- Verilog,
- VHDL

## why ?

why not ? the main reason I put this here is because it was on my phone just taking up space.

I extracted this information from Lex Fridman's Podcast with George Hotz. 

(you, from the future: is youtube still a thing ? rn we have two consecutive ads. I hope someone mirrors my blog.)

;tags: bl0at