Love this blog post! One minor nitpick: the event that it rains next week is probably rather correlated with the event that it rains this week (in particular it's correlated with the season), so I don't think this is a…
I am using the same setup though with a lot of customization of pandoc https://github.com/boazbk/tcs
I wrote an implementation of the λ calculus in python as an appendix for my book https://nbviewer.jupyter.org/github/boazbk/nandnotebooks/blo...
I am a paying subscriber for the New York Times . If you can afford it and you find yourself running over the amount of views, you should consider subscribing as well. Actual journalism (as opposed to only recycling…
Thank you so much for overleaf! It’s been such a great tool for multi-author papers but even for writing on your own it’s better than standalone latex. Unlike typical latex that would just refuse to compile if you…
Arxiv vanity is very nice! FWIW I believe KaTeX’s coverage is always growing. I found out it can do everything I wanted in https://introtcs.org , though there were a couple of times I had to reformulate some macros…
I don't presume my institution is representative (nor that it isn't), but for what it's worth, most students I see are not slackers at all. Students often choose the harder courses, and many of them require a…
I have posted about this on https://windowsontheory.org/2018/05/02/short-non-review-of-c... I am of course biased as a faculty (though I think his policy prescriptions would negatively effect public schools more than…
Might be an interesting experiment to train a neural network to distinguish between different currencies, and then visualize the features that correspond to the “one dollar neuron”. It might turn out not that far from…
I am writing a book on introduction to theoretical computer science in markdown and use pandoc to transforming it into HTML, Latex (and from there to PDF) and MS Word. (The latter format is rather buggy at the moment,…
Yes I use a custom pandoc filter that transforms the markdown to both latex and html (using the bookdown/githook template). At the moment the code is rather messy and somewhat tied to my windows setup , but eventually I…
Author here. Thanks to whomever posted it! Would appreciate any comments or typo/bug reports on the GitHub repository. (Linked from the page)
Love this blog post! One minor nitpick: the event that it rains next week is probably rather correlated with the event that it rains this week (in particular it's correlated with the season), so I don't think this is a…
I am using the same setup though with a lot of customization of pandoc https://github.com/boazbk/tcs
I wrote an implementation of the λ calculus in python as an appendix for my book https://nbviewer.jupyter.org/github/boazbk/nandnotebooks/blo...
I am a paying subscriber for the New York Times . If you can afford it and you find yourself running over the amount of views, you should consider subscribing as well. Actual journalism (as opposed to only recycling…
Thank you so much for overleaf! It’s been such a great tool for multi-author papers but even for writing on your own it’s better than standalone latex. Unlike typical latex that would just refuse to compile if you…
Arxiv vanity is very nice! FWIW I believe KaTeX’s coverage is always growing. I found out it can do everything I wanted in https://introtcs.org , though there were a couple of times I had to reformulate some macros…
I don't presume my institution is representative (nor that it isn't), but for what it's worth, most students I see are not slackers at all. Students often choose the harder courses, and many of them require a…
I have posted about this on https://windowsontheory.org/2018/05/02/short-non-review-of-c... I am of course biased as a faculty (though I think his policy prescriptions would negatively effect public schools more than…
Might be an interesting experiment to train a neural network to distinguish between different currencies, and then visualize the features that correspond to the “one dollar neuron”. It might turn out not that far from…
I am writing a book on introduction to theoretical computer science in markdown and use pandoc to transforming it into HTML, Latex (and from there to PDF) and MS Word. (The latter format is rather buggy at the moment,…
Yes I use a custom pandoc filter that transforms the markdown to both latex and html (using the bookdown/githook template). At the moment the code is rather messy and somewhat tied to my windows setup , but eventually I…
Author here. Thanks to whomever posted it! Would appreciate any comments or typo/bug reports on the GitHub repository. (Linked from the page)