Viewing profile — namarkiv

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: …

Category theory is about making trivial things trivially trivial.

I use LaTeX with unicode-math regularly and I use emacs with quail mode to do exactly this.

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 ga…

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 proof…

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 prog…

You might be interested in my comment: https://news.ycombinator.com/item?id=9633394

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 th…

Dependent types, gradual typing, HoTT

M-x align-regexp

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.

Ensime[0] for scala. [0] https://github.com/ensime/

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 procma…

I used to run GNUS, I switched to mu4e over a year ago, and haven't looked back.

The rectangle highlighting issue has been fixed[0]. http://emacsredux.com/blog/2014/01/01/a-peek-at-emacs-24-dot...

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...

No? edit: Indeed it was down. https://twitter.com/search?f=realtime&q=gmail%20down&src=typ...

Raising Skinny Elephants Is Utterly Boring