形式化驗證 (Formal Verification) https://hackmd.io/s/H1xxp3pF0 另外一篇：思想開通－學數之人必備的特質 http://chowkafat.net/Mathpassage2.html
read more近期有機會負責重構產生多語系信件的公司程式碼，這個專案的目標是信件內容資訊區塊模組化，例如歡迎詞、各國聯絡資訊和特殊訊息，可以依照近期可能即
read morewatir 6.3.0 不支援存下網頁中的圖片， mechanize 不支援以 ajax 方式更新內容的網頁。有考慮轉向 python 語言抓圖片，不過打算先試試看，能不能用 opencv 的看圖功能，看到從 watir 拿到圖片
read more
Howard Lee, Frontend-engineer with Typescript, JavaScript, HTML, CSS, Angular 19+, ReactJS, Next.js, GraphQL, Tanstack Query, Material-UI, Cypress, Postgres, Amazon Web Services, Google Cloud Platform Docker and TestCafe. 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 Team-management, form-filling, form-sharing, file-management, repair-management and project-management for construction industry at Suiqui IoT management and EC platform for Liquid Petroleum Gas(LPG) at Wave-In Comm.
Know More