1:32:49'Toward Formal Verification of Lock-Free Distributed Double Buffer Cache' by Mike Doan
A 93-minute video from Sergey Plis: “'Toward Formal Verification of Lock-Free Distributed Double Buffer Cache' by Mike Doan”.
748 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:32:49A 93-minute video from Sergey Plis: “'Toward Formal Verification of Lock-Free Distributed Double Buffer Cache' by Mike Doan”.
54:31A 55-minute video from Sergey Plis: “Brainchop and Zero-Footprint AI”.
53:42A 54-minute video from Sergey Plis: “MLBBQ: Brain Harmony: A Multimodal Foundation Model Unifying Morphology and Function by TJ LaGrow”.
50:55A 51-minute video from Sergey Plis: “MLBBQ: Brainwide Blood Volume Reflects Opposing Neural Populations by Joanne Wardell”.
35:47A 36-minute video from Sergey Plis: “MLBBQ: Causal Inference in Audiovisual Perception by Selim Suleymanoglu”.
1:00:59A 61-minute video from Sergey Plis: “MLBBQ: Continuous Thought Machines by Sergey Plis”.
46:05A 46-minute video from Sergey Plis: “MLBBQ: Correlation to Causality by Selim Süleymanoğlu”.
1:00:11A 60-minute video from Sergey Plis: “MLBBQ: Deep Equilibrium Models by Amir Sabbaghziarani”.
1:07:15A 67-minute video from Sergey Plis: “MLBBQ: Depression and Suicidality by Dawn Jensen”.
40:22A 40-minute video from Sergey Plis: “MLBBQ: Diverse Preference Optimization by Fengran Wang”.
37:31A 38-minute video from Sergey Plis: “MLBBQ: Environmental microbiomes drive chemotactile sensation in octopus by Jordan Clemsen”.
59:44A 60-minute video from Sergey Plis: “MLBBQ: GeoMamba by John McCloskey”.
54:36A 55-minute video from Sergey Plis: “MLBBQ: LLMs Can't Jump by TJ LaGrow”.
47:45A 48-minute video from Sergey Plis: “MLBBQ: Mechanistic World Models and the Quest for Autonomous Discovery by Pavel Popov”.
59:03A 59-minute video from Sergey Plis: “MLBBQ: Neuro-Vision to Language by Armina Fani”.
1:04:22A 64-minute video from Sergey Plis: “MLBBQ: Titans: Learning to Memorize at Test Time by Sergey Plis”.
58:49A 59-minute video from Sergey Plis: “MLBBQ: Widespread use of invalid statistical tests in biomedical machine learning by Pavel Popov”.
45:24A 45-minute video from Sergey Plis: “MLBBQ: mHC: Manifold-Constrained Hyper-Connections by Amir Sabbaghziarani”.
23:01A 23-minute video from Sergey Plis: “Message in a Bottleneck: Architected Interpretability for Neuroimaging”.