Calendar
Posts organized
by date.00:00
A Practical Guide To Gradient Boosting: Xgboost’S Weighted Quantile Sketch And Sparsity Aware Split Finding
00:00A comprehensive technical exploration of a practical guide to gradient boosting: xgboost’s weighted quantile sketch and sparsity aware split finding, covering key concepts, practical implementations, and real-world applications.
Process Calculi: Milner's CCS, the π-Calculus, Bisimulation, and Session Types for Protocol Correctness
A rigorous exploration of process calculi—from CCS to the π-calculus, the theory of bisimulation, and the Curry-Howard line connecting session types to linear logic.