nbro

- [ ] [https://math.berkeley.edu/~hutching/teach/proofs.pdf](https://math.berkeley.edu/~hutching/teach/proofs.pdf)

A few resources dedicated to teaching mathematics #### Videos - [x] [Five Principles of Extraordinary Math Teaching | Dan Finkel | TEDxRainier](https://www.youtube.com/watch?v=ytVneQUA5-c) - [x] [Can we make mathematics intelligible?](https://books.google.ch/books?id=pEWTno0THygC&pg=PA303&lpg=PA303&dq=Can+we+make+mathematics+intelligible?&source=bl&ots=Qqth6GrMTn&sig=cRhIuNsWnTDwlcIkatWr2kD-Omw&hl=en&sa=X&ved=0ahUKEwjK3pzWqZDcAhUuhaYKHWZ2DUwQ6AEISDAE#v=onepage&q=Can%20we%20make%20mathematics%20intelligible%3F&f=false) by...

What's the goal of this project?

1

A few questions and sentences which may help to better define the goal of this project: 0. What's the goal of this project? Why does it exist? What does "understanding...

A few resources dedicated to mathematical notation #### Articles - [x] https://en.wikipedia.org/wiki/Set_notation - [x] https://en.wikipedia.org/wiki/Notation_in_probability_and_statistics - [x] https://en.wikipedia.org/wiki/Notation_for_differentiation - [x] https://en.wikipedia.org/wiki/List_of_mathematical_symbols_by_subject

A few resources dedicated to improving your problem-solving techniques (mainly in the context of mathematics) #### Books - [x] [How to Solve It: A New Aspect of Mathematical Method](https://www.amazon.com/How-Solve-Mathematical-Princeton-Science/dp/069116407X/ref=dp_ob_title_bk) by...

How to structure this project?

1

While more seriously addressing the issue https://github.com/nbro/understanding-math/issues/3 (regarding the goal of this project), it may be a good idea to think about how to structure this project. A few questions/statements...

A few blogs dedicated to mathematics: - [ ] https://terrytao.wordpress.com/

Autocompletion not working except for primitive types

20

It seems that auto-completion is not working, except for ireal, int, etc. I `preferences` > `D Tools` I set up the path to the dcd server and client. I have...

AttributeError: module 'tensorboard.lazy' has no attribute 'lazy_load'

1

I'm trying to execute this simple code ``` import gym from genrl.agents import QLearning from genrl.trainers import ClassicalTrainer env = gym.make("FrozenLake-v0") agent = QLearning(env) trainer = ClassicalTrainer(agent, env, mode="dyna", model="tabular",...

Language.Haskell.Stylish.Parse.parseModule: could not parse <unknown>: ParseFailed (SrcLoc "<unknown>.hs" 4 3) "Parse error: prompt"

1

I'm getting the following error using Atom > Failed to prettify > > Command failed: stylish-haskell > Language.Haskell.Stylish.Parse.parseModule: could not parse : ParseFailed (SrcLoc ".hs" 4 3) "Parse error: prompt"...