Alba Mendez mildsunrise

## CuTT.md

      
              1 file
            
          
              4 forks
            
          
              2 comments
            
          
              70 stars
            
          
                AndyShiue
                / CuTT.md
            
            
              Last active
              April 28, 2024 23:35
            
              
                Cubical type theory for dummies
              
          
    I think I’ve figured out most parts of the cubical type theory papers; I’m going to take a shot to explain it informally in the format of Q&As. I prefer using syntax or terminologies that fit better rather than the more standard ones.
Q: What is cubical type theory?
A: It’s a type theory giving homotopy type theory its computational meaning.
Q: What is homotopy type theory then?
A: It’s traditional type theory (which refers to Martin-Löf type theory in this Q&A) augmented with higher inductive types and the univalence axiom.

  
## discord-timestamps.md

      
              1 file
            
          
              17 forks
            
          
              32 comments
            
          
              271 stars
            
          
                LeviSnoot
                / discord-timestamps.md
            
            
              Last active
              May 4, 2024 22:45
            
              
                Discord Timestamp Syntax
              
          
    Discord Timestamps

Discord timestamps can be useful for specifying a date/time across multiple users time zones. They work with the Unix Timestamp format and can be posted by regular users as well as bots and applications.
The Epoch Unix Time Stamp Converter is a good way to quickly generate a timestamp. For the examples below I will be using the Time Stamp of 1543392060, which represents November 28th, 2018 at 09:01:00 hours for my local time zone (GMT+0100 Central European Standard Time).
Formatting


Style
Input
Output (12-hour clock)
Output (24-hour clock)


Default
<t:1543392060>
November 28, 2018 9:01 AM
28 November 2018 09:01