Open adolfont opened 3 years ago
adolfont
commented
3 years ago Spwanfest com inscrições abertas
SpawnFest é um concurso anual de desenvolvimento de software online de 48 horas no qual equipes de todo o mundo têm exatamente um fim de semana para criar os melhores aplicativos baseados em BEAM que puderem.
A participação no SpawnFest é 100% gratuita.
A competição Spawnfest acontece em 18 e 19 de setembro de 2021.
Veja este vídeo para mais detalhes: Spawnfest 2021 Categoria
Camilotk
commented
3 years ago Lançado coq-of-ocaml Foi lançado um projeto chamado coq-of-ocaml, que transpila OCaml para o assistente de provas Coq. O objetivo da ferramenta é futuramente fazer a verificação formas de programas OCaml utilizando Coq. O primeiro exemplo de uso da ferramenta foi a transpilação é o projeto Coq Tezos of OCaml que transpila 30.000 linhas do protocolo da Blockchain Tezos para Coq para verificação formal. Tools
Camilotk
commented
3 years ago Especialização "Programação Funcional em Scala" do Coursera atualizado para Scala 3 Os cursos de Scala disponibilizados na Plataforma Coursera pela Escola Politécnica Federal de Lausana onde a linguagem foi criada foram atualizados para a versão 3 da linguagem lançada em Maio desse ano e que trouxe uma total reformulação da linguagem e seu ecossistema. Os Cursos da versão anterior ainda estão disponíveis e foram marcados com "(Scala 2)" no título. Cursos
adolfont
commented
3 years ago Clojure: Introdução à Programação Funcional Você está a fim de aprender Clojure e programação funcional??
Marcio Frayze David está criando uma série de cursos e o primeiro deles já está quase pronto! Cursos
Ajude a Comunidade Brasileira de Programação Funcional postando sua dica, link ou sugestão aqui nos comentários desta issue. Ao longo do mês vamos debatendo e juntando os melhores links que serão inseridos na próxima newsletter.
Siga o template, pois facilita MUITO a vida de quem edita a newsletter.
Se o artigo for em inglês, coloque a descrição em português.
Template para a dica:
**[Título](URL)** Rápida descrição *Categoria*
Exemplo de dica:
Elixir em Produção com Rachel Curioso, Consultora na Erlang Solutions No quinto episódio da série Elixir em Produção, conversamos com Rachel Curioso, Consultora na Erlang Solutions. Encontre a Rachel no Twitter em @_rchc e no LinkedIn https://www.linkedin.com/in/rachc/. Outros
Categoria
Para a categoria, escolha em qual contexto o link melhor se encaixa.
Alguns dos exemplos de categorias mais utillizadas: Artigos, News, Videos, Eventos, Tools, Demos e outros.
PS: texto acima adaptado de texto da BrazilJS em https://github.com/braziljs/weekly/issues/375