yaseer

31 ms·

301.
by yaseer 8y ago
This is impressive. There is no way I would be able to take these notes, live, and learn the mathematics simultaneously. So this approach wouldn't be a good idea for me, and perhaps most people. But if you're able to do that, then
302.
by yaseer 8y ago
You can also add Coq's to the mix: [3] https://coq.inria.fr/library/ Each 1-3 is language specific (Isabelle/HOL, Mizar and Coq respectively). Logipedia too, is using the language Dedukti, although it is desi
303.
by yaseer 8y ago
I've always wanted a 'Wikipedia for formal proofs'. It's never materialised though, sadly. I would've expected such an online Encyclopedia to form around Coq or Isabelle/HOL, as these languages/assistants
304.
by yaseer 8y ago
Facebook is big tobacco. Intelligent people generating profits that knowingly harms society (even if you do get some joy from a cigarette, that doesn't justify working for a tobacco company). I really hope the smart people at Facebook
305.
by yaseer 8y ago
The only reason I clicked on this article was to check it wasn't a typo!
306.
by yaseer 8y ago
Seeing this makes me want to get even further away from Apple's ecosystem. 4 years ago, I was all in- Mac, iPad, iPhone. In the last 4 years, I've been driven away by Apple seeming contempt for professional users. Their contempt f
307.
by yaseer 8y ago
If you're interested in the mathematics underpinning parallel models of computing, and their relation to dependency graphs, I recommend looking at 'trace theory'. It's built on the abstract algebra of trace monoids. Trac
308.
by yaseer 8y ago
Because in learning those things, you don't just learn 'facts', you learn generalisable patterns of thought. The generalisability is more obvious in something like physics where the same physical laws apply in different domai
309.
by yaseer 8y ago
There seems to be some confusion in the comments over our anecdotal and subjective 'experience', and the conclusions of the study. Detrimental health effects, does not preclude feeling better. It's possible to feel good and s
310.
by yaseer 8y ago
> You could eat 1500 calories for every meal and be very lithe - if you slept 23 hours a day. Not sure if this statement is sound, for the average person. If you ate 4500 per day, spread across 3, 20 minute meals, and spent the remaining
311.
by yaseer 8y ago
I spent 3 months in Germany regularly interacting with SAP. I was impressed at just how well they treat their employees. Kinda reminded me of the Simpson's episode where the Germans take over the power plant.
312.
by yaseer 8y ago
This. The probability is that your startup will fail. However, you would not have failed as an individual if you're passionate about what you're building, and enjoyed building it, whatever the eventual outcome.
313.
by yaseer 8y ago
I've generally found a division between well known brands as 'stores' and local businesses as 'shops'. I might refer to the "Apple store", but would always refer to the local barber shop or coffee shop.
314.
by yaseer 8y ago
I am not a big Microsoft fan, having not used Windows or any MS products in about 16 years, until VS Code came along. But this kind of black and white thinking is just at odds with reality. Nothing is wholly good or bad, and so to with Micr
315.
by yaseer 8y ago
Interestingly, those blog posts that are of the form "I/We started using X. It's so much better than Y, we used before!" tend to attract more attention than a nuanced analysis. Probably because a positive blog post is in
316.
by yaseer 8y ago
There are multiple benefits from having TypeScript a clear winner. 1. One standard typed version of JS (As appose to flow and TypeScript) is a better use of open-source developer time. It also reduces decision fatigue when architecturing ne
317.
by yaseer 8y ago
The JS ecosystem has its flaws, but one has to appreciate the speed at which momentum shifts, making clear winners obvious. The move towards TypeScript 'winning' has been fast, and to everyone's benefit.
318.
by yaseer 8y ago
Modern is a moving target, like it's always been. Modern php in 2019 is php > 7.1 . Modern PHP in 2013 was 5.5 It's not specific, but it's implied you're referencing the most recent versions.
319.
by yaseer 8y ago
When languages have multiple versions in-use and significant updates, like PHP, "Modern PHP" is meaningful. It's a common phrase in the PHP community. PHP has a bad reputation, primarily due to the older versions of the langu
320.
by yaseer 8y ago
I'm also dreading the switch back to gmail. Inbox is so clean, and gmail is so cluttered. When I first saw Inbox, I thought "finally, Google gives gmail the UI refresh it needs". Now it's gone, and we'll be back to
321.
by yaseer 8y ago
"If it's so easy to find a counterexample would you furnish me with one?" You've misinterpreted what he's saying. He's saying "that isn't a valid counterexample".
322.
Ask HN: Will the usable lifetime of computing devices continue to increase?
1 points by yaseer 8y ago|1 comments
323.
by yaseer 8y ago
This is a very interesting area of research, which I'm personally fascinated by. There are several in active development. Check out: https://kappalanguage.org/ For one example.
324.
by yaseer 8y ago
Perhaps this is a question of taste. The style of piece I mean is 'aped' by the article is "What X can teach us about Y". I've read some really good pieces by The Economist in this tradition, that examine historical
325.
by yaseer 8y ago
I agree with your points, but I wouldn't group the importance of sleep with diet fads. There's an overwhelming amount of non-contradictory scientific evidence on the importance of sleep.
326.
by yaseer 8y ago
This is an unfortunately terrible article. It's overly long, convoluted, and the central pirate anecdote works only to obscure the core principles. There is an attempt here to 'ape' the style of similar, more enlightening pie
327.
by yaseer 8y ago
Your supervisor and the program should be your main criteria, not the country. Many of my friends have had miserable PhDs if they had the wrong supervisor for them. My 2 cents of experience based on Oxford, for what it's worth. It&#x27
328.
by yaseer 8y ago
I think the microbiome on the skin and face is a large factor. Controlling it is not as straightforward as a 'quick-fix', as it literally has a life of its own. For me, the fix was wiping my face only with cotton face-wipes and wa
329.
by yaseer 8y ago
If anything, the 'Apple tax' is greater in 2018 than it has ever been. I say this as having owned 3 Macs for the last 10 years. 4-8 years ago, the gap between Apple and the rest was so stark, it seemed paying for a premium Apple
330.
by yaseer 8y ago
This. Enterprise IT processes are filled with these kind of word-docs filled with checkboxes, and for that, AWS's featureset excels.

More ›