Tsoding Partner

Proving Simple Theorems with Lean

Tsoding's Most Recent 15 Streams

Past stream logs

Download CSV
  • Microsoft forced me to use VSCode
    - streamed for 1 hour
    887
    avg viewers
    1,570
    peak viewers
  • Microsoft forced me to use VSCode
    - streamed for 21 minutes
    591
    avg viewers
    785
    peak viewers
  • Lean w/o VSCode
    - streamed for 1 hour
    546
    avg viewers
    629
    peak viewers
  • Lean w/o VSCode
    - streamed for 4 hours
    874
    avg viewers
    1,102
    peak viewers
  • Autodoc Tool in C
    - streamed for 3 hours - watch VOD
    687
    avg viewers
    840
    peak viewers
  • Segmenting Images
    - streamed for 2 hours - watch VOD
    604
    avg viewers
    746
    peak viewers
  • DBSCAN
    - streamed for 12 minutes - watch VOD
    517
    avg viewers
    517
    peak viewers
  • DBSCAN
    - streamed for 2 hours - watch VOD
    693
    avg viewers
    763
    peak viewers
  • Rendering Chat as Video using C++
    - streamed for 3 hours - watch VOD
    799
    avg viewers
    942
    peak viewers
  • ASN.1
    - streamed for 2 hours - watch VOD
    616
    avg viewers
    710
    peak viewers
  • Colonization Algorithm
    - streamed for 2 hours - watch VOD
    785
    avg viewers
    952
    peak viewers
  • Software Rendered Game
    - streamed for 3 hours - watch VOD
    714
    avg viewers
    798
    peak viewers
  • nob.h 2.0
    - streamed for 4 hours - watch VOD
    738
    avg viewers
    855
    peak viewers
  • Integrating libffi with wren
    - streamed for 2 hours - watch VOD
    606
    avg viewers
    708
    peak viewers
  • First Stream of the Year
    - streamed for 2 hours - watch VOD
    704
    avg viewers
    869
    peak viewers