×
You are not logged in
Bluesky Profile
Philippe Desjardins-Proulx
Registered: 3 Aug 2023 05:07
Last post: n/a
Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @ umontreal. Ph.D. USherbrooke
This account allows followers on Bluesky to be notified of new posts from this account.
| lambdaphdp.bsky.social PDS: bsky.social 2023-08-03 05:07:25 |
| lambdaphdp.bsky.social PDS: porcini.us-east.host.bsky.network 2023-11-13 17:36:40 |