Dublin, Ireland
Joined March 2009
- Tweets 153
- Following 792
- Followers 381
- Likes 1,217
pdf-view-midnight-minor-mode is delightful.
Experimenting with a new digital office:
- org-roam & org-mode for notes
- pdf-tools for reading PDFs
- org-ref/ivy-bibtex
So far this is feeling very smooth! Particularly liking not blinding myself with white backgrounds by using pdf-view-midnight-minor-mode 😌
3
I've been meaning to do this for a long time: github.com/amir/sctd a solar position aware sct daemon. Almost a Redshift replacement once gradual change is added.
2
1
7
Instant purchase of the entire catalogue: crowsintherain.bandcamp.com/ few things can top the combination of post-rock and home, Iran.
1
have any of you gone through github's appeal process? have done everything I could to no avail. how long does it take?
1
2
5
For all those times you wished you could access your Haskell Servant API using PHP, now there's a way: github.com/amir/servant-php
2
11
I only met him once and was so starstruck that “Hello” was all I could muster up to say.
In memory of @joeerl, you should share you special moments with him, funny, enlightening or plain silly. #rememberingjoe
9
I seem to have found a sure way to win bullet matches effortlessly, inspired by Deep Blue. Make an unintelligent enough move to confound the opponent and watch them lose the precious time.
Any sufficiently stupid move is indistinguishable from mastery.
6
The best thing happened to me in the past year was gaining access to @IainHull's knowledge whenever I get stuck—which is quite frequent. Not sure what that says about me but says a lot about his patience as a mentor.
1
7
The week before finals and instead of studying and submitting—already late—CAs I'm obsessing on typesetting slides of a talk which doesn't have a date set yet. Procrastination-Driven Prioritisation.
1
3
تمام این توان پردازشی در اختیار برنامهنویسها و همچنان اصرار بر اینکه رایانه به آنها اعتماد کند که میدانند چه میکنند و مرتکب اشتباه نمیشوند بهجای اینکه ایشان به رایانه اعتماد کرده تا نگذارد خطا کنند.
1
7
There should be a MTTQ (à la MTTR) for mean time to quit indicating how early in the paper it becomes obvious that closing the tab is the most sensible course of action.
golem.ph.utexas.edu/category…
“The paper is written for computer scientists, so I’ll try to provide a more category-theorist-accessible intro here.”
Reaffirmed I'm neither, couldn't read arxiv.org/abs/1802.00061 either.
1
1