viuphiet

6 ms·

1. 1.▲
   by viuphiet 6y ago

   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.
2. 2.▲
   by viuphiet 7y ago

   Do you guys host interns over the fall semester?
3. 3.▲
   by viuphiet 7y ago

   I think it's because everything is far more spread out in the US.
4. 4.▲
   by viuphiet 7y ago

   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 would transition into a state of having fire. This concept is fo
5. 5.▲
   by viuphiet 7y ago

   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 fundamental models are extremely powerful. Neural netwo
6. 6.▲
   by viuphiet 7y ago

   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 action.
7. 7.▲
   by viuphiet 7y ago

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