aban

5 ms·

1.
by aban 8y ago
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 PDF slides. [0]: https://github.com&#x2F
2.
by aban 8y ago
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-tim
3.
by aban 8y ago
Slides: https://www.gnu.org/software/guix/guix-libreplanet-practical...
4.
Practical, verifiable software freedom with GuixSD(media.libreplanet.org)
1 points by aban 8y ago|1 comments
5.
by aban 8y ago
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]: https://leanprover.github.io/introduction
6.
by aban 8y ago
Security clearance not as in the kind that you need to work government jobs. Security clearance as in "basic" background checks.
7.
by aban 9y ago
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.
8.
by aban 9y ago
They have a couple of screenshots on their website [0]. [0]: http://www.nplproject.com
9.
by aban 9y ago
See https://github.com/go-gitea/gitea/issues/1029 .
10.
by aban 9y ago
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 by Simon Marlow. [0]: http://chimera.labs.oreilly.
11.
by aban 9y ago
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 expression language as is, hnix being written in Haskell could be a
12.
by aban 9y ago
Discussion on /r/haskell: https://www.reddit.com/r/haskell/comments/6a5e0v/dynamic_dis...
13.
by aban 9y ago
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 an HN comment. In that thread, a few libraries were
14.
by aban 9y ago
You're welcome :)
15.
by aban 9y ago
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't watched it (or frankly, if you a
16.
by aban 9y ago
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-plus-theme
17.
by aban 9y ago
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 a good number of people trying to expl
18.
by aban 10y ago
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 surfaced at that time, is still up and r
19.
by aban 10y ago
With Vimperator you can remap the keys as you wish [0]; e.g. noremap <C-p> 2k noremap <C-n> 2j To do the same in VimFx, see [1]. Also, Conkeror [2] to Emacs is as qutebrowser is to Vim. [0]: https://gist.gith
20.
by aban 10y ago
Previous discussion (from 6 days ago): https://news.ycombinator.com/item?id=13230508
21.
by aban 10y ago
Done. No problems!
22.
by aban 10y ago
You can come hang out in #lobsters on freenode and ask for one. I can invite you both if you like.
23.
by aban 10y ago
https://freepo.st/
24.
by aban 10y ago
What the parent said. To be even more specific, network management is really distro- and DE-agnostic. For instance, Arch wiki describes a multitude of ways for wired [0] and wireless [1] network configuration, that would technically work in
25.
by aban 10y ago
Yup, been there too, but I simply can't go back to a non-tiling WM after being spoiled with tiling ones. If you want to give it a shot, there's a guide on using Awesome with Gnome [0], and the last time I tried it worked just fine
26.
by aban 10y ago
Here it is: http://www.brokenthorn.com/Resources/OSDevIndex.html The website's working just fine for me, but in case it doesn't work for someone else or if it goes down again: https://web.archive.o
27.
by aban 10y ago
This is not true, at least not anymore. Yesod uses xss-sanitize [0], and their sanitize function does indeed prevent "javascript:" attempts. They even have a test case for it [1]. Playing around with it in the REPL: Prelude Te
28.
by aban 10y ago
The Scalawags [0] seems like a pretty good Scala podcast, though I haven't followed them personally as I don't do much Scala. If you're into functional programming, Functional Geekery [1] is awesome. Also check out FPCasts [2
29.
by aban 10y ago
I wrote a long reply, but ended up erasing it and I'll just say that many of these vulnerabilities are due to the programmer using one type (i.e. string) to represent all kinds of data that might be malicious and unsanitized, and then
30.
by aban 10y ago
The re-design was done by Matthew Butterick [0]. IMHO it looks nice and modern, and quite readable thanks to the great typography, but there are some fair issues raised here. So I opened an issue to let them know about it [1]. [0]: https:&

More ›