Zulip

O que é?

Zulip é a plataforma que usaremos para comunicar sobre qualquer assunto (meta ou não) da disciplina, fora das aulas. Ë um dos nossos meios oficiais para comunicar, e logo os alunos matriculados devem participar (caso contrário podem perder avisos e notícias importantes

Existem muitos zulips abertos de várias comunidades e diversos assuntos, aqui o zulip que nos importa é da nossa disciplina.

Como funciona?

Se nunca usou o Zulip, primeiramente veja o tour no seu próprio site e também o Why Zulip? que aparece no fim do tour.

Como eu entro?

O Zulip da disciplina é o fmcthanos.zulipchat.com. Os alunos matriculados na disciplina precisam entrar e participar no nosso zulip. Para entrar precisa um convite: verifique teu email cadastrado no SIGAA e as notícias na turma do SIGAA também. Caso que não consegues acessar mesmo assim, espere uma hora, e se ainda não recebeu link, entre em contato comigo por email!

Alunos que não entraram no Zulip para mais que uma semana serão desativados sem aviso (além deste aqui). Se isso acontecer entre em contato comigo para reativar tua conta.

É obrigatório atualizar teu perfil, preenchendo os campos e também adicionando uma foto tua. (Foto de ti mesmo, onde dá pra ver tua cara, não avatars, spidermans, etc.)

Em quais streams eu devo me inscrever?

Siga o link na parte esquerda Subscribe to more streams para confirmar que tu tá inscrito nos streams corretos.

Para os alunos de FMC1: em todos da lista abaixo exceto os: #meta/fmc2, #aulas/fmc2, #set-fun-rel, #algebra, #cats, #set-theory.

Para os alunos de FMC2: em todos da lista abaixo exceto os: #meta/fmc1, #aulas/fmc1.

Onde postar?

Cada post é associado a um tópico, e cada tópico é associado a um stream.

Os streams relevantes são:

#meta meta-assuntos, ou seja, assuntos não-matemáticos relacionados às coisas administrativas (todas as turmas/disciplinas)
#meta/D meta-assuntos, ou seja, assuntos não-matemáticos relacionados às coisas administrativas (para a disciplina D)
#cafe bater papo aleatório
#test use isso para testar o zulip, como postar, etc.
#aulas/D sobre as aulas gravadas da disciplina D
#intro-lang-proofs (FMC) sobre o conteudo (matemático) introdutório (corresponde aos capítulos 1--3)
#rec-ind (FMC) sobre o naturais, recursão, indução (corresponde ao capítulo 4)
#ints (FMC1) sobre teoria dos números inteiros (corresponde ao capítulo 6)
#reals (FMC1) sobre teoria dos números reais
#set-fun-rel (FMC2) sobre conjuntos, funções, relações, e seus amigos dos números (corresponde aos capítulos 7,8,10)
#set-theory (FMC2) sobre teoria dos conjuntos (corresponde aos capítulos 15--16)
#algebra (FMC2) sobre álgebra (corresponde aos capítulos 12--13)
#cats (FMC2) sobre categorias
#proofassistants sobre Lean e os demais proof assistants: Agda, Coq, etc.
#programming sobre programação
#misc sobre conteudo (matemático) da disciplina que não encaixa nos canais mais especializados
#english sobre inglês
#portuguese sobre português
#fmcbook erros, atualizações, e sugestões sobre o fmcbook
#tex sobre TeX, LaTeX, ConTeXt, Overleaf, ...
#zulip sobre o (uso do) próprio Zulip
#tech sobre outras ferramentas, aplicatívos, editores, sistemas operacionais, programas, etc.

Exemplos:

  1. Na p.302 do fmcbook na última linha não era pra ser sem utilizar' em vez se utilizando’?
    → #fmcbook
  2. No 01:12:40 da aula tal não entendi o que permite esse passo
    → #aulas/fmc1
  3. Podemos entregar o homework de hoje em jpg?
    → #meta/fmc1
  4. O capítulo 6 vai ser tudo que vamos ver na unidade 3?
    → #meta/fmc1
  5. Compilei o Problem Set com LaTeX e criei o PDF. Como eu mando agora?
    → #meta/fmc1
  6. No teorema Θ6.11 do fmcbook daria certo usar redução ao absurdo?
    → #ints
  7. Dá para usar Agda em vez e Coq para formalizar o teorema Θ4.12?
    Depende: se a dúvida é sobre as capacidades das duas linguagens, poste no #proofassistants; se a dúvida é sobre se eu, Thanos, vou aceitar nesta disciplina entregar tal trabalho em Agda em vez de Coq, poste no #meta/fmc1.
  8. Alguém tá matriculado em LP2 neste semestre?
    → #cafe
  9. Onde tem kebab bom em Natal?
    → #cafe

Cria um novo tópico para tua mensagem, exceto se ela faz parte dum tópico já existente.

Se não tem certeza onde postar, poste em algum lugar que tu acha melhor e depois mudamos para o lugar certo sem problema!

Como não postar

  1. Na grande maioria dos casos não direcione tua mensagem/pergunta pra mim (escrevendo, por exemplo, «Professor, eu não entendi como bla bla…», ou «Thanos, por que bla bla..?». Simplesmente pergunte: «Eu não entendi como bla bla…». A idéia é abrir/participar numa discussão no grupo e não num dialogo aberto.
  2. Na grande maioria dos casos não use a função de “quote and reply” que tem. Isso faz sentido em outros modelos (emails, discord, slack, etc.) mas no modelo do Zulip isso atrapalha muito: toda a conversa é facilmente disponível para ler então não faz sentido copiar/colar (mesmo sendo feito automaticamente). Simplesmente responda. Caso que não é óbvio ao que tá referindo tua resposta, melhor incluir um curto quote manualmente usando > talvez escondido grandes partes botando [...] para indicar que algo foi omitido. Dependendo do caso pode fazer sentido tag’ar um usuário (usando o @).