yaseer

36 ms·

331.
by yaseer 8y ago
This made me lol, but also reflect. I bet the people that championed this deep work experiment, ironically, do not like social media for its distracting effects. It's the main reason I stay off social media.
332.
by yaseer 8y ago
I guess not everything EA does is terribly immoral. Kudos for going the extra mile.
333.
by yaseer 8y ago
This argument I agree is far more compelling than "reductio ad JS library"
334.
by yaseer 8y ago
Yes, Twitter is also to blame. It is a problem inherent in the structure of most social media companies. And Facebook is the most significant social media company, and thus contributor to the problem.
335.
by yaseer 8y ago
React + GraphQL < B Where B is the sum of the set consisting of: -Breaking democracy in the US and the UK by being _the_ platform for disinformation. -Disinformation assisting genocide in Myanmar. -Use correlating strongly with poor men
336.
by yaseer 8y ago
This happens to me too, having dabbled with ML for theorem proving. Thing is, ML is an obscure language for most people. The association with machine learning probably dominates in 95% of people.
337.
by yaseer 8y ago
In Tasmania, gay male sexual conduct was illegal until 1997.
338.
by yaseer 8y ago
One thing I wonder is; how will these companies test software updates to production? Does anybody know if there is legislation around software testing when human life is at stake?
339.
by yaseer 8y ago
Oh I am sure they add value. The question as you so rightly point out is whether there is a net value added. If we took their AI contributions and JS frameworks on one side of the equation, do you really think it balances the other side of
340.
by yaseer 8y ago
I agree with the general principle, expressed fairly crudely, that - good, innovative things (React) can come out of bad places (Facebook, in my opinion). That's historically true of lots of research innovation though. War (generally a
341.
by yaseer 8y ago
Completely agree with this. I see Facebook as the least ethical, and least useful from a civilization standpoint of all the big tech firms. Google is driven by the same ad-clicking incentives, but the one-tricky pony has been developing oth
342.
by yaseer 8y ago
What you're describing here (and this again is my interpretation) sounds more similar to 'Homotopy Type Theory'. https://en.wikipedia.org/wiki/Homotopy_type_theory Homotopy Type theory also shows some de
343.
by yaseer 8y ago
Well, we can actually _prove_ that mathematics and programs are isomorphic. ( https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... ) You only get glimpses of that correspondence with procedural programming. It
344.
by yaseer 8y ago
This is more click-bait journalism; I'm not sure why Einstein should be singled out for sharing the same beliefs as others in the society in which he was raised. "Europeans in 1922 were Xenophobic" is not worthy of an editori
345.
by yaseer 9y ago
This is great, thanks for sharing!
346.
by yaseer 9y ago
+1 for introducing a Raspberry Pi into the equation!
347.
by yaseer 9y ago
Nice, I wasn't aware of Apps script, thanks! Seems like this should be more popular than it is
348.
by yaseer 9y ago
Thanks for sharing, are you running SAP products or similar software on this infrastructure?
349.
Ask HN: What tools do you use to automate your business?
249 points by yaseer 9y ago|113 comments
350.
by yaseer 9y ago
Who here uses FreeBSD in production, and what use-cases do they find it better than Linux for?
351.
by yaseer 9y ago
P.S - Silly question, I can see it does. I responded before reading.
352.
by yaseer 9y ago
Fantastic stuff! Does your work still keep the non-determinism of Ehrhard and Regnier? This was the part that 'bothered' me, but it provided evidence of a link with process calculi. I've also thought Ehrhard and Regnier'
353.
by yaseer 9y ago
Sure, most people don't, but an increasing number of people do. Most people a few centuries ago used to think about the world without any scientific awareness. There are still people like that, and there always will be, but people in d
354.
by yaseer 9y ago
This isn't the only reason. It's obvious that coding is becoming a skill on par with math for its utility in the modern world. If more people understand the fundamentals of coding, it will completely change the user interfaces and
355.
by yaseer 9y ago
That might be 'most people' (i.e. the average pop music listener), but Radiohead still have a huge, huge fan following. They've sold tens of millions of records, and nearly every album has gone platinum (I believe the last tw
356.
by yaseer 9y ago
I think the line of reasoning is incorrect. Most mathematical arguments are actually not formal, in the way a program is a formal language. In many instances, there are not only ambiguities but errors in the mathematical expression. They on
357.
by yaseer 9y ago
A suitable analogy might be with the police. Both are employed by the state and face risks of daily violence in their jobs. Veterans are hero-worshipped by comparison. I actually feel the police deserve more respect. (At least the British p
358.
by yaseer 9y ago
Extremely interesting. Some AI literature is of the belief that consciousness emerges from imagining hypotheticals. You could probably describe a few key milestones. 1 - Imagine your hypothetical actions, interacting with objects. .. ..
359.
by yaseer 9y ago
If you see mathematics as a highly transferrable and broad intellectual skill (rather than a narrow profession), everybody hires mathematicians. In software and computer science especially, mathematicians are likely to find a compelling p
360.
by yaseer 9y ago
Isabelle comes with a proof language layer Isar, designed specifically for readability: https://isabelle.in.tum.de/Isar/ The structure of Isar proofs then more closely resemble a traditional mathematical proof, with a

More ›