Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
yaseer
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
38 ms
·
391.
▲
by
yaseer
9y ago
No problem and thanks for the work - this is useful!
392.
▲
by
yaseer
9y ago
Unfortunately this is down for me again
393.
▲
by
yaseer
9y ago
It applies to any formal system powerful enough to encode the properties of the natural numbers. Quantum Mechanics, as a formal system can encode the natural numbers, and thus can form a substrate for self referential Gödel encoding. The s
394.
▲
by
yaseer
9y ago
I had also never heard the phrase, but a quick Google shows that it's part of the lexicon for a community of people.
395.
▲
by
yaseer
10y ago
One the one hand, I find it amusing to have programming analogies to complex social and economic issues. On the other hand, this analogy (and others) are pretty useful. Makes me think sociological discourse would benefit from using logical
396.
▲
by
yaseer
10y ago
I'm sure you can find some philosophy professors that will appreciate bigger screens and faster computers; that wasn't the point. This is about the semantics of the word 'professional' and avoiding confusing a 'prof
397.
▲
by
yaseer
10y ago
I think they're implying that the mathematical model creates a pattern of behaviour in the software that's intuitive. For vim users, that's how vim keybindings work, for example (not everyone would agree vim is intuitive, hen
398.
▲
by
yaseer
10y ago
You're conflating a 'professional' as a white-collar job classification, and a 'professional' computer user. The macbook pro is a computer for professional computer users. A professional philosophy professor has no
399.
▲
by
yaseer
10y ago
Change the runner analogy to manager of a sports team. It's hard to only credit one manager over another when the opposition is a big factor in the equation (along with the strength of the team).
400.
▲
by
yaseer
10y ago
Oh I don't dispute that his impact has been significant and positive. I just think there's other factors at play here. For example, Google was extremely slow to market with a competitive cloud strategy, and Apple has been a less c
401.
▲
by
yaseer
10y ago
Although I think Nadella has made some good changes to company culture, there's a lot more variables that influence a company's performance than the CEO, just as there's a lot more variables that influence a country's Ec
402.
▲
by
yaseer
10y ago
This sounds a lot like the startup didn't do some basic due diligence on his submitted work in an interview. Differentiating subtle shades of grey is hard in an interview, given not everyone interviews well. However, it is possible to
403.
▲
by
yaseer
10y ago
"Thinking about math or science for a few hours energizes me, but doing the same for social issues wears me out." I feel exactly the same way. I can't tell if this is an introvert trait, or whether it arises from the kind of
404.
▲
by
yaseer
11y ago
For the category of people you describe, I agree this has been the case in the past, and perhaps even the case at present. I think (or perhaps hope) the future may hold something different though. There are some industries such as bionforma
405.
▲
by
yaseer
11y ago
I would imagine (although I have no data to back this up), that the majority of contributors to open-source scientific programs are scientific researchers themselves. They are building tools to scratch their own itch. Hence it is win-win fo
406.
▲
by
yaseer
11y ago
This is a fantastic project which I've used since leaving university, where Maple and Matlab had reigned supreme. Many thanks for starting it. As a software engineer, I was drawn to the Python foundations and extensible, open source st