Viewing profile — aban

Not to disagree; but if you use Firefox, PDF.js has some convenient shortcuts [0]: n/j to go to next page, and p/k to go to previous page. Works quite nicely for flipping through P…

I've never used Org Timeline, but these two links may be of interest to you: - https://www.reddit.com/r/orgmode/comments/7hps9j/rip_orgtime... - https://github.com/Fuco1/org-timeli…

Slides: https://www.gnu.org/software/guix/guix-libreplanet-practical...

An Introduction to Lean [0] is another nice (albeit incomplete) tutorial. There’s a fairly active community over on Zulip [1] if you like to drop by for a chat or get some help. [0…

Security clearance not as in the kind that you need to work government jobs. Security clearance as in "basic" background checks.

Thank you so much for sharing this. This, and When Worlds Collide, are some of the most touching pieces I've ever read. Rest in peace John.

They have a couple of screenshots on their website [0]. [0]: http://www.nplproject.com

See https://github.com/go-gitea/gitea/issues/1029 .

Great talk. For more on concurrency and parallelism in Haskell, check out Parallel and Concurrent Programming in Haskell [0], deemed as the best book on the subject, also written b…

Neat. Somewhat related is hnix [0], a community effort in re-implementing the Nix expression language in Haskell. While so far the focus has mostly been on implementing the express…

For more on Rosette I recommend watching Emina's keynotes at the (sixth RacketCon) [0] and Clojure/west 2017 [1]. [0]: http://con.racket-lang.org/2016/#speakers [1]: https://www.yo…

Discussion on /r/haskell: https://www.reddit.com/r/haskell/comments/6a5e0v/dynamic_dis...

Agreed. I feel like the state of documentation of Haskell libraries in general could be much better. There was actually a thread on /r/haskell a few months ago [0] in response to a…

You're welcome :)

Whenever the Feynman Algorithm comes up, I'm tempted to share "Stop Treading Water: Learning to Learn" [0] by Edward Kmett. It's a great talk and I highly recommend it if you haven…

Of course not! The color scheme [0] is my fork of tango-plus [1] with a few small changes. [0]: https://github.com/aminb/tango-plus-theme [1]: https://github.com/tmalsburg/tango-pl…

Iosevka is indeed a very pretty typeface. I've been using it for a while now and been really enjoying it. Here's some Dafny code for your viewing pleasure: https://i.imgur.com/clxU…

That's a good explanation of Monoids. You can also watch (at least the first half) of this video for more on Monoids: https://www.youtube.com/watch?v=WsA7GtUQeB8 There are already …

It was indeed 12.04 and only affecting Unity (Canonical's Desktop Environment), not other DE's like GNOME or KDE. You should check out https://fixubuntu.com nonetheless, which surf…

With Vimperator you can remap the keys as you wish [0]; e.g. noremap 2k noremap 2j To do the same in VimFx, see [1]. Also, Conkeror [2] to Emacs is as qutebrowser is to Vim. [0]: h…

Previous discussion (from 6 days ago): https://news.ycombinator.com/item?id=13230508

Done. No problems!

You can come hang out in #lobsters on freenode and ask for one. I can invite you both if you like.