Viewing profile — viuphiet

This isn't a problem at all for modern type systems. OCaml, Haskell, and even C++ have Turing complete type systems and this is one of the last concerns for developers.

Do you guys host interns over the fall semester?

I think it's because everything is far more spread out in the US.

The reinforcement learning framework is perfect for representing cause and effect. An agent could learn that in a state of no fire, taking an action of rubbing sticks together woul…

Neural networks do exactly what you are describing as "symbolic reasoning". It seems to be a common thing recently to dismiss modern ML techniques as curve fitting, but these funda…

The "self-model" you're talking about is the agent in the Reinforcement Learning framework. It moves between states in an environment and learns from reward it earns from each acti…

A few more steps and you'd have reinvented functional programming.