學習
[轉貼連結]形式化驗證 (Formal Verification)
形式化驗證 (Formal Verification) https://hackmd.io/s/H1xxp3pF0 另外一篇：思想開通－學數之人必備的特質 http://chowkafat.net/Mathpassage2.html
read more
形式化驗證 (Formal Verification) https://hackmd.io/s/H1xxp3pF0 另外一篇：思想開通－學數之人必備的特質 http://chowkafat.net/Mathpassage2.html
read more剛才看BBC Earth 頻道《醫學迷思大解惑》第六季第2集的一個實驗：如何降低化學物質砷在白米飯的含量。 煮白米飯時不先洗米直接煮，米與水比例是1:2 ，
read moreDon’t refine coding style and debugging/adding functions in same time when you co-working with others. For example, you may change a php file from no standard applied to be PSR2. This is because it’s hard to know through git or other common diff tools what code you have changed even though you just remove redundant spaces or identations. I recommend teams, whose consider refining your own code for reducing tech
read more最近遇到使用 PHP 函式庫的 array_uintersect() ，去找出兩陣列有相同的元素，不過執行結果不如預期。目前仍未找到解法，希望藉寫下紀錄，提醒自己以後找到解法再回來補上。
read more
Howard Lee, Frontend-engineer with Angular 7+, Typescript, ReactJS, VueJS. Flutter, Dart, PHP, Ruby, JavaScript, HTML, SASS, CSS, Postgres, MySQL, Web Developer. Have a certificate of AWS Solution Architect Associate with verify number: 8FYNL55LCEEQ10W5. You can verify at AWS Certificate site or Credly site Tech lead role Lead 4 colleagues to build products and infrastructure Coordinate schedule of delivering products Senior web frontend developer role Products Form-filling, form-sharing, file-management, repair-managemnt and project-management for construction industry at Suiqui IoT management and EC platform for Liquid Petroleum Gas(LPG) at Wave-In Comm.
Know More