Dublin, Ireland
Joined March 2009
- Tweets 153
- Following 792
- Followers 381
- Likes 1,217
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
Apologies, I didn't mean to sound argumentative. Thought sharing counter viewpoints might be beneficial.
1
There's an episode of EconTalk in which Gary Taubes—author of The Case Against Sugar—argues that reducing the problem to caloric deficit is analogous to simplifying the secret behind Bill Gate's wealth to “he made more money than he spent.”
1
3
I'v read Anne Enright, Roddy Doyle, Paul Howard, and John Boyne. Am I cultured yet? I've become very good at casual swearing anyway.
1
2