namarkiv

7 ms·

1.
by namarkiv 5y ago
I'm a long time paid RescueTime user. This new version looks really good, but at the same time there are a few features that I use quite often, and I hope these aren't going away: - I have setup several custom categories over the
2.
by namarkiv 7y ago
Category theory is about making trivial things trivially trivial.
3.
by namarkiv 8y ago
I use LaTeX with unicode-math regularly and I use emacs with quail mode to do exactly this.
4.
by namarkiv 9y ago
I became curious about this, there is of course game semantics but that's not what you're looking for. I found a couple of interesting references about using categories to study game theory which I'm going to add to my readin
5.
by namarkiv 10y ago
While you can write verified programs in agda, and use the MAlonzo FFI to extract haskell code, the generated code is very inefficient. On the other hand, this lets you write proofs in Haskell that coexist with your program, so there's
6.
by namarkiv 10y ago
I would like to emphasize that this gives you a theorem prover "inside" haskell, unlike coq/agda where you need to do program extraction. This means you can combine proofs and programs without a significant impact to the runt
7.
Shapecatcher: Handwritten unicode character recognition(shapecatcher.com)
1 points by namarkiv 11y ago|0 comments
8.
Types for an Untyped World: Bracha vs. Felleisen [video](youtube.com)
57 points by namarkiv 11y ago|9 comments
9.
by namarkiv 11y ago
You might be interested in my comment: https://news.ycombinator.com/item?id=9633394
10.
by namarkiv 11y ago
Nice to see this on the front page. I wrote a Masters thesis about distributed issue tracking using darcs' patch theory[0]. You can read it here[1]. Although the initial goal of the project was to build a working issue tracker that can
11.
by namarkiv 12y ago
Dependent types, gradual typing, HoTT
12.
by namarkiv 12y ago
M-x align-regexp
13.
Irc it (ii), the suckless irc client(tools.suckless.org)
2 points by namarkiv 12y ago|0 comments
14.
by namarkiv 12y ago
SEARCH command keeps on timing out, IDLE doesn't work most of the time, email takes longer time to show up in IMAP compared to the web interface.
15.
by namarkiv 12y ago
Ensime[0] for scala. [0] https://github.com/ensime/
16.
by namarkiv 12y ago
Well, the idea behind mu is to use searches to filter your email instead of using imap folders. Indexing does feel a little slow sometimes, but it is far better than writing procmail rules to filter email.
17.
by namarkiv 12y ago
I used to run GNUS, I switched to mu4e over a year ago, and haven't looked back.
18.
by namarkiv 12y ago
The rectangle highlighting issue has been fixed[0]. http://emacsredux.com/blog/2014/01/01/a-peek-at-emacs-24-dot...
19.
by namarkiv 12y ago
On gentoo, we have virtual/service-manager[0], that allows you to use openrc/systemd/runit/daemontools. [0] http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/virt...
20.
YoSucker – FAQ(yosucker.sourceforge.net)
1 points by namarkiv 12y ago|0 comments
21.
by namarkiv 12y ago
No? edit: Indeed it was down. https://twitter.com/search?f=realtime&q=gmail%20down&src=typ...
22.
Libreboot(libreboot.org)
1 points by namarkiv 12y ago|0 comments
23.
by namarkiv 13y ago
Raising Skinny Elephants Is Utterly Boring
24.
Root-tail(oldhome.schmorp.de)
1 points by namarkiv 13y ago|0 comments
25.
To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)(cs.virginia.edu)
2 points by namarkiv 13y ago|0 comments
26.
by namarkiv 13y ago
We faced the same 2GB memory limit with akka, so we moved to our own jenkins instance, no issues since.
27.
by namarkiv 13y ago
Looks like this is the fix: https://github.com/gitlabhq/gitlabhq/commit/d6c037de81096680...
28.
by namarkiv 13y ago
The mp4 links are available in the rss feed.
29.
Free Software Foundation Endorses Its First Laptop(phoronix.com)
2 points by namarkiv 13y ago|0 comments
30.
by namarkiv 13y ago
http://vikraman.org/posts/2013/12/1/linux-ng.html I shouldn't disclose how this was done until it is fixed. It seems github is unhappy with how this turned out, but I hope they fix it soon. I have a

More ›