Dublin, Ireland
Joined March 2009
- Tweets 153
- Following 792
- Followers 381
- Likes 1,217
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
Hi Darin, can I ask what combination of theme, color, and font is this? If it's custom, do you mind sharing it?
تمام این توان پردازشی در اختیار برنامهنویسها و همچنان اصرار بر اینکه رایانه به آنها اعتماد کند که میدانند چه میکنند و مرتکب اشتباه نمیشوند بهجای اینکه ایشان به رایانه اعتماد کرده تا نگذارد خطا کنند.
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
@fommil I've read the “Giving Feedback” of “Functional Programming for Mortals with Scalaz” but not sure into which category this falls: There's a reference to stalagmite but the project is nowhere to be found. Sorry if it's known.
Looks like a good fit for Idris State: docs.idris-lang.org/en/lates…
1
1