maxzcl的博客

sources:1. OpenAI's blog piece: Video generation models as world simulators 2. DiTs (Diffusion Transformers): Scalable Diffusion Models with TransformersThis is so far the most contentious point for SORA, regarding whether it is "learning" physics and gene

Published October 26, 2021.Update on GitHub juliensimonJulien SimonOpinion piece A few days ago, Microsoft and NVIDIAintroducedMegatron-Turing NLG 530B, a Transformer-based model hailed as "the world’s largest and most powerful generative language m...

Prolog 语言入门教程 作者：阮一峰 日期：2019年1月28日 Prolog是一种与众不同的语言，不用来开发软件，专门解决逻辑问题。比如，"苏格拉底是人，人都会死，所以苏格拉底会死"这一类的问题。 Prolog 就是"逻辑编程"（programming of Logic）的意思。只要给出事实和规则，它会自动分析其中的逻辑关系，然后允许用户通过查询，完成复杂的逻辑运算。 本文简单介绍如何使用 Prolog 语言，主要参考了 xmonader 的教程。 一、SWI-Prolog 学...