Recent submissions

Comment · 2 years ago
Quarto is like R Markdown, but it supports the jupyter kernel, so Python support is essentially the same as jupyter notebooks. But the good practices are built in, instead of you having to remember running "restart and re-run all". So it's a valid option for literate programming in Python (and several other languages).

When I say "confusing", I don't mean I don't understand it. I mean that while using it, there is a higher than zero chance that you get confused at some point and mess up.

I love the feature that you can interactivly develop/prototype research. I just think better/less error-prone tools are available (which also track nicer on git btw, since quarto docs are flat text files).

Comment · 2 years ago
A bit off topic, sorry, but: Jupyter is bad for research. The ability to run code out of order, but then save the output, is confusing for the one doing the research and everybody who wants to reproduce it. I don't understand why the decision was made for Jupyter to combine the source code of a notebook and the output. Things like Quarto keep both separate, as essentially all programming languages inteded, while providing an easy-to-use implementation of literate programming.
Comment · 2 years ago
I switched to Google Chrome when it came out (14 years ago according to Wikipedia) and to Chromium when I got sufficiently annoyed by Google. In August I switched back to Firefox. Here are some thoughts:

- the experience is 90% the same. - Sync between Android app and desktop is just as flawless (that one made me switch back to Chromium on my first try a few years ago) - Theming is nicer - switching between home and work profile is great with the profile switcher extension - Firefox seems less well integrated into many websites. I keep entering my credit card info on many sites, because the option to use saved cards either does not appear or does not work. Same is true for suggesting passwords. So I use keepass' for both now (which might be good) -the developer tools are a little annoying. I use them mainly for Web scraping and sometimes I give up and copy the curl call from Chromium because the formatting is nicer and the network tab looks cleaner

I won't switch back to Chrome and miss it less and less. Only during black Friday and when I taught my webscraping course I missed Chromium a little.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton