Lead a session: the presenter may not fully understand the topic but leads us to learn together, for example by reading together, watching together, and solving exercises together.
In a session, participants are expected to work hands-on, think with the leader, discuss the questions, and solve exercises / small projects together.
Give a talk: The presenter has some understanding of the topic and give a 15~60 minute talk on it
focusing on the core ideas and understanding
make sure the non-experts can follow most of the talk
give exercises / projects / challenge if possible
Languages of our choice
Python *
Rust * * * *
Haskell * * *
Smalltalk / Erlang (maybe)
PL theory / software design / …
Algebraic effects
Formalization (Lean, Agda) / verification / software foundations
Petri nets / process calculi
Probabilistic programming / algorithms
Bayesian methods
following the book “Probabilistic Machine Learning An Introduction / Advanced Topics” by Kevin P. Murphy
you can pick any interesting topic from this book or other books, and lead a session on it / give a talk together with implementation exercise / challenge
Who will lead on each subject and give project ideas?
I can lead Haskell, formalization (Lean), Bayesian / MCMC methods
Irony may tell us something about Petri Nets (introduction)
bu mo (L.H.mobu) may lead us on Python
heimao will actively participate and may lead some sessions
You can help and share as well!
Scheduling information:
According to statistics, the availability window for most participants is:
Sat & Sun : 20:00 ~ 1:00 (next day) Beijing time (UTC+8)
For reference, this corresponds to: UTC+0 : 13:00 ~ 18:00 UTC+1 : 14:00 ~ 19:00
Our sessions will be most likely scheduled on weekends during this time window.
Approximately, we will have one session / talk every week, depending on time and schedule availability of the participants, we may do once per two weeks.
We will start by introducing the basics of programming languages, make sure that every body can program :)
Eventually we will be freely sharing any relevant topics!
Week 1: Rust basics with exercises by Eiko
(1st November 2025, 20:00 ~ 22:30 Beijing time)
Week 2: TBD / Haskell basics with exercises by Eiko
(8th November 2025, 20:00 ~ 22:30 Beijing time)
Week 3: Relax, probably playing games
(15th November 2025)
Week 4: (因为星酱忙碌，挪到下周owo)
(22nd November 2025)
Week 5: Probability Crash Course (towards flow and diffusion models) by Eiko Topic : 因为diffusion models的主题涉及一些概率论的基础，今天将由Eiko带大家速成概率论 内容：概率测度，概率的前推，条件概率，正态分布，布朗运动。 (29th November 2025)
Week 6: TBD
(6th December 2025)
Week 7: TBD
(13rd December 2025)
Week 8: TBD
(20th December 2025)
Week 9: TBD
(27th December 2025)
Week 10: TBD by irony
(3rd Janurary 2026)
Week 11: TBD
(10th Janurary 2026)
Week 12: TBD
(17th Janurary 2026)
Week 13: TBD
(24th Janurary 2026)
Week 14: TBD
(31st Janurary 2026)