DA

Dan Zheng

@dan-zheng

Principled engineering and science.

Bay Area

Website

@dancherp

Joined October 2013

482 Followers

83 Following

AI Insights & Achievements

26/ 100

Veteran

Coding for 13 years.

Influencer

482 followers.

Profile README

Hi there, I'm Dan!

I’m interested in programming languages and machine learning.

Currently, I work on machine learning for code and software engineering at Google DeepMind.

Previously, I worked (in the opposite direction) on programming languages for machine learning - in particular on Swift for TensorFlow and differentiable programming in Swift.

Some writings:

What types work with differentiation?
Automatic differentiation vs differentiable programming
Blog (many unpublished drafts, to be published some day)

Organizations

GO TE DL GO

Public Repos

124

Total Stars

19

Total Forks

7

Public Gists

36

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 31st, 2026 • 2 contributions

Most active week: Dec 15–Dec 21 • 3 contributions

Most active month: Oct 2025 • 9 contributions

Pushed to main at dan-zheng/pie-lean

January 31st, 2026 3:41 PM

Pushed to main at dan-zheng/pie-lean

January 31st, 2026 3:40 PM

DeleteEvent on dan-zheng/pie-lean

January 31st, 2026 3:38 PM

Created branch main in dan-zheng/pie-lean

January 31st, 2026 3:38 PM

Forked david-christiansen/pie-hs

January 31st, 2026 3:37 PM

Starred ksenxx/kiss_ai

January 31st, 2026 2:09 PM

Starred dadbodgeoff/drift

January 29th, 2026 1:28 PM

Starred cryptocode/terminal-doom

January 27th, 2026 12:55 AM

Starred evolving-machines-lab/evolve

January 24th, 2026 10:33 PM

Starred dada-lang/dada

January 23rd, 2026 5:44 AM

GitHub Analytics

Dan Zheng

Veteran

Influencer