boazbarak

3 ms·

1.
by boazbarak 7y ago
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 great examp
2.
by boazbarak 7y ago
I am using the same setup though with a lot of customization of pandoc https://github.com/boazbk/tcs
3.
by boazbarak 7y ago
I wrote an implementation of the λ calculus in python as an appendix for my book https://nbviewer.jupyter.org/github/boazbk/nandnotebooks/blo...
4.
by boazbarak 7y ago
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 news and posting opinio
5.
by boazbarak 7y ago
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 forget to close a brace, o
6.
by boazbarak 8y ago
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 after looking
7.
by boazbarak 8y ago
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 significant amou
8.
by boazbarak 8y ago
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 m
9.
by boazbarak 8y ago
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 the drawings of the au
10.
by boazbarak 8y ago
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, but I am including it
11.
by boazbarak 8y ago
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 plan to open so
12.
by boazbarak 8y ago
Author here. Thanks to whomever posted it! Would appreciate any comments or typo/bug reports on the GitHub repository. (Linked from the page)