tobbe2064

9 ms·

61.
by tobbe2064 8y ago
Took this course when I started moving towards software development and I thought it was great. It has a higher academic level then most introductory courses and its been great for developing intuition about the craft
62.
by tobbe2064 8y ago
Same here, I even sync my notes across devices and put them under version control
63.
by tobbe2064 8y ago
Just out of curiosity, do you actually use adjunctions? If so I would be really happy to know more about it.
64.
by tobbe2064 8y ago
There was a survey done at a home for the elderly that asked them what they would do differently. All of them, 100%, gave the same answer: Spend more time with their family.
65.
by tobbe2064 8y ago
Tldr; The premises of the article is that the free market is to cruel for a democracy and that when it demands a sacrifice to greate people will tend to vote for populists There is nothing in the article concerning corruption or propoganda.
66.
by tobbe2064 8y ago
I take properly to mean a structured approach to full understanding. However, the totality of math is beyond any single person. There are multiple approaches that all drift of in to different directions. In short. There is no final Aha mome
67.
by tobbe2064 8y ago
There is no such thing
68.
by tobbe2064 8y ago
Natural language processing
69.
by tobbe2064 8y ago
You should check out "Conceptual mathematics" and then "sets for mathematics", both written by lawvere. They are the amazing
70.
by tobbe2064 9y ago
My experience being a father is that children aquire and consume vast amounts of books. They reread them until they understand them and then they either discard them and never touch them again or they like them and keep reading them. I have
71.
by tobbe2064 9y ago
Doesn't the example show that (ii): e1□e2 = -e2□e1 and (iii): (e1□e2)□e3 = e1□(e2□e3) contradict each other? In the end we end up with (e1□e3)□e5 = e5□(e1□e3) which seems to go against (ii)
72.
by tobbe2064 9y ago
There is a tmux/vim plugin which let's you move seemlessly between vim and tmux panes within tmux. I use it all the time since I'm running tmux on a remote machine. It would be awesome I'd there was a similar plugin that
73.
by tobbe2064 9y ago
"Boss" a weird way to spell employment
74.
by tobbe2064 9y ago
You don't actually need to distract them. It's important for them to learn that there is shit that needs to be done and there are periods of boredom.
75.
by tobbe2064 9y ago
Very nice, Thank you Always wanted to know, now you saved me a year dedicated to abstract algebra
76.
by tobbe2064 9y ago
This looks very nice, but it wont be very usable without vim bindings
77.
by tobbe2064 10y ago
It sort of a theory about the object at the intersection between logic and geometry
78.
by tobbe2064 10y ago
For monads, learn the following concepts in order: Category Functor Natural transformation Adjoint functor That's it. If you don't understand what monads are you should probably wait with topos theory. It quite abstract and you sh
79.
by tobbe2064 10y ago
I apologise for my drunken and incorrect silliness. Aside from that, would you please enlighten as to what you meant by "that's not how math works"?
80.
by tobbe2064 10y ago
Further math is sort of a stone age technology
81.
by tobbe2064 10y ago
The word function has a sort of precis mening in math as a rule mapping each NUMBER in some domain to some NUMBER in a codomaon. The word arrow however can refer to any directed relation including less than or divides or what not, as long a
82.
by tobbe2064 10y ago
Reading this brings the thoughts to Kahlil Gibrans book the Profet. The section "On Houses" reads: ... Or have you only comfort, and the lust for comfort, that stealthy thing that enters the house a guest, and becomes a host, and