markhkim

6 ms·

1.
by markhkim 8y ago
Congratulations on graduating high school. That's quite exciting, and I'm sure you'll love university. The about page states that the book is for "an intermediate level (i.e., after an introductory formal logic course).&
2.
Open Logic Project: An Open-Source, Collaborative Logic Text(openlogicproject.org)
60 points by markhkim 8y ago|8 comments
3.
Fundamentals of Fully Homomorphic Encryption – A Survey(eccc.weizmann.ac.il)
2 points by markhkim 8y ago|0 comments
4.
by markhkim 8y ago
You can't have calculus without the real numbers, and you can't have asymptotic analysis and probability theory without calculus. There goes the whole field of the analysis of algorithms.
5.
by markhkim 8y ago
Nobody teaches the same topic in the exactly the same way. There is, for one, far more material in any given subject than an introductory course or textbook can (or should) cover, so the author/instructor must choose what to include. P
6.
by markhkim 8y ago
Taste, you say? The Princeton Companion is your friend: https://press.princeton.edu/titles/8350.html https://press.princeton.edu/titles/10592.html
7.
by markhkim 8y ago
This was part of a collection of four essays on mathematical writing, commissioned by the American Mathematical Society: The committee was authorized by the Council of the American Mathematical Society in August 1968; the last appointme
8.
by markhkim 9y ago
I'm surprised no one mentioned this yet: make sure to talk to your professor, frequently. Introductory analysis courses exist primarily to teach a certain way of thinking, and there is, after all, no better way to learn how to think th
9.
One-Way Salesman Finds Fast Path Home(quantamagazine.org)
3 points by markhkim 9y ago|0 comments
10.
How Not to Lie with Statistics: Averages(markhkim.com)
1 points by markhkim 9y ago|0 comments
11.
Program that repairs programs: how to achieve 78.3% precision(microsoft.com)
3 points by markhkim 9y ago|1 comments
12.
Learning Cross-Modal Embeddings for Cooking Recipes and Food Images(im2recipe.csail.mit.edu)
3 points by markhkim 9y ago|0 comments
13.
A Coq-based synthesis of Scala programs which are correct-by-construction(arxiv.org)
2 points by markhkim 9y ago|0 comments
14.
by markhkim 9y ago
Even mental exercises could use a purpose. What are you interested in? Try to keep an end goal in mind. If you want to learn more about machine learning, it might be an idea to start with a mathematical preliminaries chapter in a typical ma
15.
Why Quantum Computers Might Not Break Cryptography(quantamagazine.org)
52 points by markhkim 9y ago|23 comments
16.
by markhkim 10y ago
eh, I posit that you already understand induction and just don't know that you do. "So many CS educated juniors" being uncomfortable with recursion is not an argument against understanding mathematical induction. Who says the
17.
Split-second data mapping(news.mit.edu)
1 points by markhkim 10y ago|0 comments
18.
Butter doesn’t increase risk of heart disease after all(statnews.com)
1 points by markhkim 10y ago|0 comments
19.
Mining of Massive Datasets(mmds.org)
109 points by markhkim 10y ago|7 comments
20.
24/7 Stream: Earth from Space(youtube.com)
2 points by markhkim 10y ago|0 comments
21.
SQL, NoSQL, Spark How to Choose Your Tech-Stack(youtube.com)
4 points by markhkim 10y ago|0 comments
22.
Subhash Khot wins the MacArthur fellowship(macfound.org)
1 points by markhkim 10y ago|0 comments
23.
Reporting on the libreboot controversy, in tweets(twitter.com)
4 points by markhkim 10y ago|0 comments
24.
A Cow with No Name: Google Blurs Bovine Face for Privacy(npr.org)
3 points by markhkim 10y ago|2 comments
25.
Tray Tables Stowed, Seat Backs Upright – And Galaxy Note 7s Off, Please(npr.org)
2 points by markhkim 10y ago|0 comments
26.
Research: Inbreeding linked to off-key singing in birds(birdguides.com)
1 points by markhkim 10y ago|0 comments
27.
by markhkim 10y ago
If you think probability theory is bad... The old joke that "differential geometry is the study of properties that are invariant under change of notation" is funny primarily because it is alarmingly close to the truth. Every geome
28.
Let's 'Cook' the Film: The Recipe of Film Soup(lomography.com)
1 points by markhkim 10y ago|0 comments
29.
Visually Indicated Sounds(vis.csail.mit.edu)
50 points by markhkim 10y ago|8 comments
30.
Neural Networs in MySQL(blog.itdxer.com)
2 points by markhkim 10y ago|0 comments

More ›