tnecniv

85 ms·

961.
by tnecniv 10y ago
> I feel there needs to necessarily be a separation of the doing of mathematics and the teaching of mathematics in these kinds of matters. In the teaching of mathematics, especially in the more 'abstract' areas, there is not ne
962.
by tnecniv 10y ago
Oh for sure. You could go down a real rabbit hole if you had to implement that stuff yourself.
963.
by tnecniv 10y ago
With Z3, unfortunately, the issue is that we are really bad at gauging what makes for a hard SMT problem. Often, knowing that a particular problem is hard is the same as solving it! That said, you can do some really interesting things with
964.
by tnecniv 10y ago
Really, it beats having to fab your own connectors. Making your own isn't a big deal for most projects, but with that number of boards, this is a smart choice.
965.
by tnecniv 10y ago
Well they need to be let in by congress, who the public also voted for...
966.
by tnecniv 10y ago
The Call of Duty games set in modern times are big on Russian bad guys as part of military or paramilitary organizations.
967.
by tnecniv 10y ago
> I don't think "Russian terrorists" are even a thing in public consciousness. Is there some cultural thing I am missing? They are, but only in an action movie setting (same with Germans in the 80s...and Russians). I'
968.
by tnecniv 10y ago
Pretty sure 3.1 doesn't need knowledge of Markov Chains (even if you implicitly use them)
969.
by tnecniv 10y ago
Which is way harder than it sounds.
970.
by tnecniv 10y ago
Very similar to the Google AI challenge (the ants one) from a number of years ago.
971.
by tnecniv 10y ago
Typora was posted on here a few weeks ago. It has a LaTeX export option, but I haven't tried it yet since it also just exports directly to PDF/HTML.
972.
by tnecniv 10y ago
The real problem with LaTeX is that it doesn't try to make itself friendly. It gives horrible errors that are big headaches for newcomers, and setting up your environment can be a pain. Early today, someone set me a document and I spen
973.
by tnecniv 10y ago
I knew a doctor who did admissions at a well-regarded med school. They said the best applications didn't come from the kids who studied bio or chem as an undergrad because they figured a field related to medicine would make them compet
974.
by tnecniv 10y ago
In every humanities class I've taken, the professor wouldn't grade us based on word choice nitpicking.
975.
by tnecniv 10y ago
What happens when one get's promoted and is no longer equals with the SO?
976.
by tnecniv 10y ago
Or just built the functionality into the program UI in the context specific cases.
977.
by tnecniv 10y ago
Their filters do SLAM?
978.
by tnecniv 10y ago
Generality is relative.
979.
by tnecniv 10y ago
> It is very unlikely that a white man is going to go to the top graduate school in the country and discover that they don't give white people Phds. Black people can't say the same. Got a link? I'm not questioning you, I&#
980.
by tnecniv 10y ago
My school had one in the spring recently. I know because they solicited opinions of the candidate's recent students on his abilities as a teacher. In that case, it was still a mid-semester deal.
981.
by tnecniv 10y ago
There's other, less public ways to get feedback. You'll get positive review, people at conferences will express interest, etc. But yes, only time will tell at the end of the day.
982.
by tnecniv 10y ago
Depends on what you do. I work in robotics, so probability and linear algebra are the two most indispensable subjects I know. Graph theory might be a little more generally applicable. At the end of the day, you don't need a lot of math
983.
by tnecniv 10y ago
> How interesting. Usually your teammates will kill you for flair that doesn't help. And if you do it repeatedly, you won't get called the next time the gang goes out to play. Depends on the group. Where I grew up, style was th
984.
by tnecniv 10y ago
LA wouldn't be any harder to teach than Calculus. In fact, if you wanted to teach proof based math that isn't Geometry, it's probably the easiest subject area. I don't think you can get rid of Calc in HS though. It'
985.
by tnecniv 10y ago
I have a specific problems with the HS math curriculum I experienced (as opposed to the general problems with the whole math curriculum I had before my junior year of college). Mainly, there was just so much wasted time it was unbelievable.
986.
by tnecniv 10y ago
If your comfortable with calculus and linear algebra, then that is plenty to get started. Bonus points if you know probability. Plenty of top universities put their ML material online, so I would pick your favorite and check it out. My scho
987.
by tnecniv 10y ago
This isn't a simple question, but I just wanted to mention that around the turn of the 20th century, there were a lot of changes in math. A bunch of fields got reformulated and there was a rush of mathematicians coming up with new ways
988.
by tnecniv 10y ago
How much math do you know?
989.
by tnecniv 10y ago
As a note, this is the 3rd wave of popularity for neural networks.
990.
by tnecniv 10y ago
I've read significant amounts of both, and I don't think Axler is better than Strang or vice versa. They teach the material with a different emphasis and interpretation.

More ›