Please turn JavaScript on
Planet2 icon

Planet2

Subscribe to Planet2’s news feed.

Click on “Follow” and decide if you want to get news from Planet2 via RSS, as email newsletter, via mobile or on your personal news page.

Subscription to Planet2 comes without risk as you can unsubscribe instantly at any time.

You can also filter the feed to your needs via topics and keywords so that you only receive the news from Planet2 which you are really interested in. Click on the blue “Filter” button below to get started.

Title: Planet2

Is this your feed? Claim it!

Publisher:  Unclaimed!
Message frequency:  0.61 / day

Message History

Here's a few minor tweaks I've made to my Emacs setup recently.

Limiting enabled tree-sitter modes

After reading Rahul's post Emacs 31 Is Around the Corner: The Changes I'm Already Daily Driving I simplified my setup and turned on all the tree-si...


Read full story

In mathematical study there are two kinds of theorems, which serve very different purposes. Math instruction follows the same pattern. Students are often very puzzled by this, and rightly so, because it's never explained, or at least I've never seen it explained. There is this crucial, critical piece of mathematical methodology which is never made explicit, students just have...


Read full story

Magix is a neat tool that lets us run Haskell programs as scripts1. We put a shebang on top mentioning Magix, list the Haskell packages we need, and ./script.hs just works...


Read full story

Disclosure: I’m the original author and lead for the Bombadil project at Antithesis.

Carlos Catala, interning at Antithesis and working on testing our webapps, found a strange crash while I was out camping. The tests he works on runs Antithesis’ webapp inside Antithesis and ...


Read full story