Viewing profile — boazbarak

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 t…

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 journ…

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 wo…

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 time…

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…

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 negati…

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”…

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 …

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…

Author here. Thanks to whomever posted it! Would appreciate any comments or typo/bug reports on the GitHub repository. (Linked from the page)