22 Matching Annotations
  1. Aug 2020
    1. Urban was partially inspired by Andrej Karpathy,

      The origin of an idea from a a blog - an unreasonable effectiveness of recurrent neural network.

    2. At the Massachusetts Institute of Technology, for example, the computer scientist Adam Chlipala has designed theorem-proving tools that generate cryptographic algorithms — traditionally written by humans — to safeguard internet transactions.

      Gosh, somebody reminds me of my past research 5 years ago.

    3. Mathematicians, logicians and philosophers have long argued over what part of creating proofs is fundamentally human, and debates about mechanized mathematics continue today, especially in the deep valleys connecting computer science and pure mathematics.

      Different perspectives

  2. Jun 2020
    1. Ở Việt Nam, bé N.G.L (3 tháng tuổi, ở Vĩnh Phúc) nhiễm virus SARS-CoV-2 từ bà ngoại. Tháng 2.2020, 5 ngày trước khi vào BV Nhi, bé quấy khóc, chảy nước mũi, ho húng hắng, thở khò khè nhẹ, thân nhiệt 37,40C, vẫn bú tốt, không khó thở. Film CT.Scanner chỉ thấy tăng đậm các nhánh phế quản sau trái (hình ảnh viêm nhiễm nhẹ). Ngày

      Be Vinh Phuc

    1. Sweren said studying patients with COVID toes is important because they may be carriers of the disease — information of great value to doctors.

      WHY would we care about COVID toes?

    2. The tests look for specific antibodies that act against a key protein in the virus called the Spike protein. It's possible that people with the toe condition have immune systems that are not attacking the Spike protein, but something else in the virus.

      This suggests that there is another mechanism the immune system invalidate virus (not by Spike Protein)

    3. The youth had no other symptoms of COVID-19 and a test found no antibodies for the disease. Nor has anyone else in the family experienced COVID-19 symptoms.

      This story strongly resonated to my personal experience, e.g. my sickness, family context. But mine is a lighter symptom.

    4. a mystery

      Yeah, we have not found enough evidence to tell this story with better narrative rather than a bunch of random observations across the world.

  3. May 2020
    1. A study of an association between biology and psychology. Researchers show that both genetic and neuro mechanism play a significant role to sustain romantic love and attachment. Specifically genes associated to dopamine, vasopressin and oxytocin has a causal effect on romantic love through genetic variablity. To prove, they conduct an experiment with data collected fMRI on a small sample of 19 newlyweds .

    1. Open the API screen in the Google Developers console and enable the "Google Photos Library API". (You may have to select the Firebase project at the top of the screen first if the "enable

      Done

  4. Oct 2017