ivan_ah

56 ms·

451.
by ivan_ah 8y ago
Wow, nice to see readable math proofs that "run themselves", e.g. they define (a unary representation of) natural numbers as follows: Inductive nat : Type := | O : nat | S : nat → nat. S = successor Then
452.
by ivan_ah 8y ago
Not necessarily. If the script is documented and written cleanly (e.g Fabric3 which has very little magic, and reads almost like Bash), then in can server as "runnable documentation". In this case automation could be really good f
453.
by ivan_ah 8y ago
Nice! 2k lines of js, but it's all there and quite readable. The gif-backed DemoMode is also very cool.
454.
by ivan_ah 8y ago
Hi atxhx, thx for the plug! Here is a link to an extended PDF previews of the books: https://minireference.com/static/excerpts/noBSguide_v5_previ... and https://minireference.com/static/excerp
455.
by ivan_ah 8y ago
The Deep Learning Book by Goodfellow et al. is amazing. I found the writing to be very down-to-earth and it explains concepts without too much jargon. http://www.deeplearningbook.org/
456.
by ivan_ah 8y ago
The arXiv links: - https://arxiv.org/abs/1608.00263 - https://arxiv.org/abs/1709.06678
457.
by ivan_ah 8y ago
Check out SymPy: >>> x, a, b, c = symbols('x a b c') >>> solve(a*x**2+b*x+c, x) # solve(expr_eqal_to_zero, var) [ (-b + sqrt(-4*a*c + b**2))/(2*a), (-b - sqrt(-4*a*c + b**2))/(2*
458.
by ivan_ah 8y ago
Quantum computing is still in the physical research phase, and it's not clear which qubit implementation will work and be scalable. It would be cool to see recent review papers and comparisons of current approaches, but I can't po
459.
by ivan_ah 9y ago
One thing that I've found to be helpful is to write automation scripts for core business processes. In particular scripts using the python library Fabric3 ends up very readable. It's like runnable docs... How was machine X configu
460.
by ivan_ah 9y ago
Good point. If high schools were to prepare all young adults equally well in the fundamentals (reading, writing, math), it is conceivable that they would be able to continue their education on their own. There is a really nice essay titled
461.
by ivan_ah 9y ago
Yes! Email has the best chance to take over. Links to photos, events, and group chat can all happen using email as transport. Like @esfandia suggested, the social-emails could be tagged as hidden so they are not displayed by your regular em
462.
by ivan_ah 9y ago
I have two book recommendations that seem like exactly what you're looking for. Both are written by me, so I'm totally biased. The NO BULLSHIT guide to MATH & PHYSICS is a 3-in-1 combo book that includes a high school math rev
463.
by ivan_ah 9y ago
Looks pretty nice overall, but the glyph for the digit 5 is weird, especially in bold. The notch on the left goes really deep...
464.
by ivan_ah 9y ago
Nice book. The simplicity of the build system for epub is impressive: https://github.com/joaoventura/full-speed-python/blob/master...
465.
by ivan_ah 9y ago
For people who have Word/RTF formatted text and want to convert it to markdown, this is a very nice little utility to convert text quickly: https://puppypaste.com/ I use it almost every day when copy-pasting from from
466.
by ivan_ah 9y ago
ReST is really big in the Python ecosystem, thanks to Sphinx (docs generator), and the read-the-docs website. The main advantage for ReST is that it is well defined and consistent. It's a bit heavier than .md, but I think it will pay o
467.
by ivan_ah 9y ago
It's interesting that they mix markdown and restructured text. ReST is clearly the superior formatting language, but markdown is so much easier to pick up and use.
468.
by ivan_ah 9y ago
The 3-in-1 book contains a high school math review, a mechanics course, and a calculus course (450pp). The No bs guide to math is just the high school math review and is much thinner 170pp. (I'm essentially cutting up the 3-in-1 book a
469.
by ivan_ah 9y ago
Wow, Herbert Gross is an amazing lecturer. Everything is planned out, and he's careful to avoid jargon. I wish all eLearning material was of this quality.
470.
by ivan_ah 9y ago
I'm still working on generating the MATH eBook, but the 3-in-1 book (MATH+MECH+CALC) is available here: https://gumroad.com/l/noBSmath Chapter 1 of the 3-in-1 book is essentially the same as the No Bullshit guide
471.
by ivan_ah 9y ago
+1 for this. The chrome extension [1] is even better since it allows for 0.1 playback speed increments, e.g. 1.8x speed, or 2.3x speed. I've watched some lectures with really slow speakers at 3x and was still able to understand, and re
472.
by ivan_ah 9y ago
I have just the book for you: the essentials of high school math for adults: http://www.lulu.com/shop/ivan-savov/no-bullshit-guide-to-mat... If you like this one, you can followup with the MATH&PHYS book whic
473.
by ivan_ah 9y ago
If you're writing a long text (over 2 pages), you should invest the time to proofread it properly, and maybe get it read by a friend or colleague. When the ideas in a text are not clear and logically structured, it can be perceived as
474.
by ivan_ah 9y ago
Yes. Definitely agree about use of "utilize." It is a total tell in any piece of writing that is trying to sound "fancy" for nothing. The person who wrote the text loses one star of my respect rating immediately at the f
475.
by ivan_ah 9y ago
Check out my books on CALCULUS+MECHANICS, and LINEAR ALGEBRA: https://minireference.com/ They are not free, but not expensive. It's like 2 years worth of undergraduate maths packed into two small books. Previews are fr
476.
by ivan_ah 9y ago
I love the prework section: https://developers.google.com/machine-learning/crash-course/... It's a very good mix of topic and skills that I think everyone should learn, even if not directly planning to do ML
477.
Cython – making Python high and low level(smerity.com)
3 points by ivan_ah 9y ago|0 comments
478.
by ivan_ah 9y ago
Nice. It would be pretty cool to have an "run javascript and wait for network idle" optional for scraping js-requiring websites. Can selenium do this? Headless chrome? I personally use bs4 for web scraping and it works pretty well
479.
by ivan_ah 9y ago
Is there a difference between Chrome+puppeteer vs Chrome+selenium? Is there anything special that Chrome headless has that ordinary Chrome wouldn't have?
480.
by ivan_ah 9y ago
Wow this is beautiful! The "main" equation for the physics of projectile motion is less than 10 lines of code: https://github.com/walck/learn-physics/blob/master/examples/... The "sta

More ›