namarkiv
Re:Launch HN: RescueTime (YC W08) – Redesigned for wellness, balance, ...
on Tuesday September 28, 2021 @08:21PM (#28688981)
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 years, for apps and websites that I use and I track them using do-more/do-less goals with beeminder. I'd like to continue being able to track times for specific activities.
- I like that I can use it on Linux/Mac/iPad/Android and it tracks across all platforms. I love that it works so well on Linux, and I also wish you could track activities on iOS/iPadOS.
- I use a home-grown pomodoro setup and I use the api and ifttt/integromat integrations to trigger focustime sessions. I also like observing the realtime productivity pulse numbers to motivate myself, and I hope that's not going away!
Re:Applied Category Theory
on Friday April 19, 2019 @04:46PM (#19702863)
Category theory is about making trivial things trivially trivial.
Re:UnicodeMath – A Nearly Plain-Text Encoding of Mathematics (2016) [pdf]
on Friday November 23, 2018 @11:59AM (#18517549)
I use LaTeX with unicode-math regularly and I use emacs with quail mode to do exactly this.
Re:Boardgame.io: State management and more for turn-based games
on Sunday December 17, 2017 @06:10PM (#15948203)
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 reading list, Game Theory from the Category Theory Point of View [0] and Towards Compositional Game Theory [1].
[0] http://www.gtcenter.org/Archive/2015/Conf/Jimenez1880.pdf
[1] http://www.cs.ox.ac.uk/people/julian.hedges/papers/Thesis.pd...
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf]
on Thursday December 08, 2016 @02:55AM (#13129026)
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 little to no impact on runtime performance.
Also, Agda is an implementation of Martin-Lof type theory, which is very, very different from what SMT is.
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf]
on Thursday December 08, 2016 @02:49AM (#13129008)
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 runtime performance.
Types for an Untyped World: Bracha vs. Felleisen [video]
Re:Bugs Everywhere
on Sunday May 31, 2015 @03:43AM (#9633400)
You might be interested in my comment:
Re:Bugs Everywhere
on Sunday May 31, 2015 @03:42AM (#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 the project was to build a working issue tracker that can integrate with darcsden[2], it later evolved mostly into a playground for playing with dependent types in Agda. So, sadly I don't have anything I can show HN yet. I do have a tiny little private prototype which I haven't gotten around to finishing yet because of other commitments. Maybe this is just the push I need to get it working.
[0] http://hub.darcs.net/vikraman/thesis
Re:Great Works in Programming Languages (2004)
on Monday December 01, 2014 @12:19PM (#8682272)
Dependent types, gradual typing, HoTT
Re:Why I vertically align my code
on Saturday November 29, 2014 @02:07PM (#8674703)
M-x align-regexp
Irc it (ii), the suckless irc client
Re:Celebrating 10 Years of Firefox
on Monday November 10, 2014 @03:51PM (#8586306)
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.
Re:Big things to expect from Emacs 25
on Saturday November 08, 2014 @09:43AM (#8576976)
Ensime[0] for scala.
Re:A Unix-style mail setup (2012)
on Wednesday October 29, 2014 @06:55AM (#8526485)
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.
Re:A Unix-style mail setup (2012)
on Tuesday October 28, 2014 @11:42AM (#8521527)
I used to run GNUS, I switched to mu4e over a year ago, and haven't looked back.
Re:Emacs 24.4 released
on Tuesday October 21, 2014 @10:38AM (#8487542)
The rectangle highlighting issue has been fixed[0].
http://emacsredux.com/blog/2014/01/01/a-peek-at-emacs-24-dot...
Re:Avoiding systemd isn't hard
on Tuesday October 21, 2014 @10:14AM (#8487410)
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...
YoSucker – FAQ
Re:Ask HN: Is GMail down?
on Thursday October 16, 2014 @04:42AM (#8463983)
No?
edit: Indeed it was down. https://twitter.com/search?f=realtime&q=gmail%20down&src=typ...
Libreboot
Re:Linux gets frozen, what do you do?
on Friday March 14, 2014 @11:52AM (#7399628)
Raising Skinny Elephants Is Utterly Boring
Root-tail
To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)
Re:CircleCI raises $6m Series A
on Thursday February 06, 2014 @07:57PM (#7194109)
We faced the same 2GB memory limit with akka, so we moved to our own jenkins instance, no issues since.
Re:XSS vulnerability in GitLab prior to 6.5.0
on Friday January 31, 2014 @07:36AM (#7156348)
Looks like this is the fix:
https://github.com/gitlabhq/gitlabhq/commit/d6c037de81096680...
Re:15-819 Homotopy Type Theory
on Saturday January 11, 2014 @11:16PM (#7045122)
The mp4 links are available in the rss feed.
Free Software Foundation Endorses Its First Laptop
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 already written a personal apology to Linus, and also, apologies if I have offended anyone else.