學習
[轉貼連結]形式化驗證 (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 is a Staff Software Engineer based in Taipei, specializing in frontend architecture, CI/CD, and production-quality engineering for enterprise web applications. With 13+ years of software development experience, Howard has worked across B2B SaaS, IoT energy-management platforms, online travel marketplaces, and Android applications. His work focuses on modernizing large frontend systems, improving delivery quality, and building reliable product workflows with automated testing, observability, and practical cloud/platform integration. Core Expertise Frontend architecture: Angular 5 to 19 modernization, TypeScript, JavaScript, React, Next.
Know More