aban

9 ms·

31.
by aban 10y ago
You can find more information here (no specific figures though): https://fsf.org/appeal
32.
by aban 10y ago
Not the author (Ruud), but I've been in touch with him. The source code for his website is free software [0], so feel free to have a look or adopt it for yourself. Ruud uses a small static site generator he's written in Haskell, a
33.
by aban 10y ago
Having experimented with a couple of note taking methods (on an android tablet, pen & paper, Org mode, etc) I've narrowed my preferences down to 2 methods: 1. Pen & paper: this is my preferred approach and I try to take notes o
34.
by aban 10y ago
Hakaru [0] is another cool probabilistic programming language. If you like functional programming, probabilistic functional programming might also be interesting for you. I'd recommend reading Practical Probabilistic Programming with M
35.
by aban 10y ago
I'd also like to share patat [0], a Pandoc-based presentation tool written in Haskell. One of the nice things about patat using Pandoc is that the input file format can be any of the ones supported by Pandoc (e.g. rST, Org, LaTeX, etc)
36.
by aban 10y ago
Not the parent, but indeed like you said, writing unit tests doesn't show absence of bugs, but can only show their presence. To be able to state that a piece of software is bug-free and formally correct, we first need a notion of corre
37.
by aban 10y ago
That's interesting. I've been happily using firefox-gtk2 and it's been working quite reliably. Not only I haven't had any issues with it so far, it even looks better than Arch's official package (that's built w
38.
by aban 10y ago
If you want to avoid GTK3 and you're on Arch, there's a firefox-gtk2 [0] AUR package that compiles Firefox against GTK2 only. [0]: https://aur.archlinux.org/packages/firefox-gtk2
39.
by aban 10y ago
Fellow pass user here. freepass [0] seems like it could be a potential candidate, somewhere between pass and LessPass, but I haven't tried it out for myself yet. [0]: https://github.com/myfreeweb/freepass
40.
by aban 10y ago
If you'd like to avoid switching to the browser in your development workflow, I recommend checking out Git-Repo [0] that was posted to HN a little while ago [1]. Git-Repo basically tries to put as many steps of the contribution workflo
41.
by aban 10y ago
libring (or ring-daemon) is written in C++. P.S. I couldn't find any browseable source either, so I cloned their repo.
42.
by aban 10y ago
Alternatively, CyanogenMod has had Privacy Guard for quite a while now, so that might be an option if your phone is one of the supported devices.
43.
by aban 10y ago
Looking forward to your book! A volume II sounds like a good idea too. So far I've only used Yesod myself, but Spock looks very promising and I've heard great things about Servant for writing APIs.
44.
by aban 10y ago
I'm going to go out on a limb and suggest this stack (especially if you're into functional programming): Haskell + Elm or PureScript + Postgres The best part about it is that it helps you catch many errors at compile time, instead
45.
by aban 10y ago
Not a course, but here's a nice blog post [0] on writing a lisp->JS transpiler (350 LOC) that was recently shared [1] on /r/haskell. [0]: http://gilmi.xyz/post/2016/10/14/lisp-to-js [1]
46.
by aban 10y ago
Just watching Pieter's interview with Adam: https://www.youtube.com/watch?v=ApqI9XLRk4k Thank you for the journey, Pieter.
47.
by aban 10y ago
This was actually the question I had when I decided to try Syncthing again a few months ago. I've been using it for a while now, and though I feel there's room for improvement, it's definitely much more reliable than it used
48.
SuperTux level design contest(reddit.com)
3 points by aban 10y ago|0 comments
49.
by aban 10y ago
I read this thread and the issues you and others talked about hit too close to home. I also took it on me to stop slacking off and give LXQt a shot, and damn I loved it. I'm currently using Xfce+bspwm but I'm swapping out Xfce for
50.
by aban 10y ago
Beautiful Web Type [0] is another beautiful showcase made using the fonts available on the Google Fonts directory. Font Pair [1] and Font Pairing [2] are pretty awesome too. [0]: http://hellohappy.org/beautiful-web-type&#x2F
51.
by aban 10y ago
I don't have much experience with Guile, but AFAIK both programs you mentioned are written in C, but support Guile in one way or another. GNU Make supports Guile as an embedded extension language [0] and WeeChat supports Guile as a scr
52.
by aban 10y ago
I was going to use it but stuck with Jekyll for now, but they have a FAQ page for that [0]. There were also a few mentions of Phenomic on Gatsby's discussion from a while back [1]. Search for it on that thread. [0]: https://
53.
by aban 10y ago
Not the parent, but thought I'd share. I discovered Spacemacs in the beginning of my transition from vim to Emacs, and its familiar keybindings and "out of the box" experience really helped me stick with Emacs. These days I u
54.
by aban 10y ago
It's pretty cool to see all the similar projects in this thread. That demo gif of proton looks really neat! Also, awesome to see you're using ClojureScript.
55.
by aban 10y ago
It's also worth mentioning that one of the main contributors of Libreboot responded[0] on that mailing list thread, and on his website[1] that "[..] Leah Rowe is the only person who has git commit access to the website, libreboot.
56.
by aban 10y ago
Great news and congrats to everyone involved! Among the highlights of this release is Xwidgets, which allows embedding GTK+ widgets inside Emacs buffers. One such widget is WebKitGTK+, a full-featured port of WebKit for use in GTK+ apps. As
57.
by aban 10y ago
Cool name! There was also a /r/compsci thread [0] a few months ago with some other interesting suggestions like "iterative recursion" and "divide-and-conquer with caching". [0]: https://www.reddit.co
58.
by aban 10y ago
You guys are awesome! For my 2¢, it would be really great to see some "official" love for Haskell at GitLab :) E.g. having Haskell tools installed on shared runners would be pretty nice! I'm also curious to know the state of
59.
by aban 10y ago
GitLab's been going at it for quite a while now, congrats for another awesome release! And keep up the great work guys, it's much appreciated!
60.
by aban 10y ago
That's true and perhaps surprisingly enough, despite the small size I don't find myself bending my wrists when typing. The fact that the layout is column-staggered helps a lot with this too: I don't have to bend my wrists sid

More ›