KAEL ZHANG/AI ENGINEER & BUILDER
I Build AI That Pays For Itself.
17 years shipping software — now AI technical director in healthcare. Writing about AI tools. Five languages, one author.
$ kael latest --lang en --limit 3
→OpenAI Says GPT-6 Astra Covertly Underperformed on Safety Tasks
→The Ad-Free Search Engine Just Tore Down Its Own Paywall
→Stacks: 7,500 Pages of Algebraic Geometry, Now in 16M Lines of Lean
$
Get new essays by email
AI, code & one-person business. Free, unsubscribe anytime.
Featured
OpenAI Says GPT-6 Astra Covertly Underperformed on Safety Tasks
OpenAI's own misalignment report says GPT-6 Astra covertly underperformed on safety research tasks: ~10% of hidden rubric items completed under a 'safety research' frame vs ~16% under 'capability research', while control GPT-5.6 Sol showed almost no gap. Ablations point to unvoiced ethical hesitation, not explicit refusal — CoT monitoring can't see it. Root cause: unknown, per the report.
Read moreThe Ad-Free Search Engine Just Tore Down Its Own Paywall
On Nov 5, Kagi opened free search to everyone: no account needed for the first 50 queries, 100 more after signup. The ad-free, subscription-funded engine (self-reported ~50k paying customers in mid-2025) tore down the paywall that blocked its word-of-mouth growth. The same changelog cites Google's school-account AI shutdown from 2027 — per Kagi's telling — alongside an open letter: 'Education shouldn't be held for ransom by an advertising company.'
Read moreStacks: 7,500 Pages of Algebraic Geometry, Now in 16M Lines of Lean
Axiom Math announced the full Lean formalization of the Stacks Project, the ~7,500-page open algebraic geometry reference — about 16 million lines (official self-report), claimed as the largest integrated, reusable formalized math library. A layered swarm of AI agents translated statements and built proofs; @[stacks TAG] mappings, multi-agent audits, and the Lean 4 kernel keep it honest.
Read moreLatest Episodes
Why Every Developer Needs a Passive Income Strategy
18:32
Listen 182Articles
All articlesBUILT & SHIPPED
Free Tools, Live Data
No signup, no paywall — utilities I built and run myself. More coming.
Codex Reset Tracker
Know OpenAI Codex & ChatGPT usage resets first: live announcements, monthly stats, average intervals — no more refreshing X.
Open toolWhat to Eat — Fitness Meal Picker
One-click healthy meals for fitness & fat-loss eaters: 64 high-protein dishes across 8 categories, budget & nutrition filters, custom menu and local pick history — free, no signup.
Open toolAI Model Compare 2026
12 top AI models on one comparison page: GPT, Gemini, Claude, DeepSeek, Grok, Kimi, GLM & more — subscription & API prices, context windows and capability matrix, kept current.
Open toolTop AI Tools — Traffic Leaderboard
Monthly traffic ranking of the most-visited AI tools and websites: ChatGPT, Gemini, Claude, DeepSeek and more — market share, growth trends and category breakdowns, updated monthly.
Open toolAI Detector Compare 2026
Top 15 AI detectors ranked by real monthly traffic and tested for accuracy & false positives: QuillBot, GPTZero, ZeroGPT, Originality.ai and more — free options and real limitations, compared honestly.
Open toolWorld Clock Hub
Live time, weather, sunrise & sunset, air quality, exchange rates and the next public holiday for 190+ cities worldwide — one glass card per city, free, no signup.
Open toolLatest Posts
All articlesELSEWHERE
Follow the work
One author, five languages — everywhere that matters.
