Tag: #ats
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 2 posts
Lean 4 & Proof Assistants 2026 — mathlib / Rocq (formerly Coq) / Agda / Isabelle / FStar / AlphaProof / AIMO Deep Dive
In 2026, proof assistants are no longer a secret weapon of academia. Lean 4 has exploded since Leonardo de Moura moved to AWS; mathlib has crossed one million theorems and become a daily tool for first-rank mathematician
2026-05-16 · 24 min read #lean-4#lean#mathlib#rocq#coqEnglish for IT Job Seekers: The Complete Tech Resume & Cover Letter Writing Guide
A complete guide to writing English resumes and cover letters for overseas IT jobs. Covers ATS optimization strategies, action verbs, the STAR method, and practical templates.
2026-03-02 · 7 min read #english#resume#cover-letter#job-interview#tech-career