#动作
TLA+ Action Properties(www.hillelwayne.com)
2021-4-1 19:50TLA +技术在那里没有全部很多：所有资源都是介绍或案例研究。对人们开始的好处，对过去的人不好。我认为我们需要编写更多的中级东西，本·库恩呼叫Blub研究。这是一个尝试。
大多数TLA +属性都是不变的，必须为行为中的每个状态都是如此的属性。如果我们有一个简单的柜台：
扩展整数变量x init == x = 1 ......
How GitHub Actions renders large-scale logs(github.blog)
2021-3-26 20:20
在Web UI中渲染日志似乎很简单：它们只是纯文本的线条。但是，有很多额外的功能使它们对我们的用户更有用：着色，分组，搜索，永久链接等。但最重要的是，界面应该无论日志都有10个或成千上万的线路，都应该工作。这是我们在2019年制作GitHub行动的时候从一开始就优先考虑。我们当时没有使用量度指标，但很明显，我们不得不......
GitHub Actions Are Down(www.githubstatus.com)
2021-3-1 19:2
每当GitHub创建事件，更新事件，解决事件或更改组件状态时，获取Webhook通知。
New AI can deepfake movements of a person from just 1 image(www.youtube.com)
2020-12-14 5:58
这基本上是只有1张图像的Deepfake动作/动作，真是太该了。 旁注，我讽刺了Fortnite的舞蹈，我只是...
2010-10-11 12:5
特别介绍这位近日在Youtube上特别火的Cute GUY，他用自己的身体动作和口型对照女声配音，表演出很搞笑的“剧情”出来，以下是他的第六部短片《Surprise Party》，他的动作和可爱模样，越看越喜欢。
2009-10-31 22:47
Photoshop动作是一系列的任务，可以针对于一个文件或一个文件夹进行的批菜单命令。photoshop动作可以极大地节省处理照片的速度，特别是针对于一系列的照片处理。这里收集了30个非常实用的photoshop动作。这些动作都可以免费下载。如果你对动作的概念还不是很熟悉，不妨从这个帖子开始尝试。如果你很喜欢这些动作......
2007-12-7 23:0
装了PS CS3终极版之后，没想到系统自带了100多个笔刷，太夸张了。没办法，自己动手花了2个多小时删了一大半，只留了一小部分精华，大概有羽毛，光泡泡，修饰图，头发，箭头，符号，眼睛，手，玻璃，水，墨纹理，抽丝，痕迹，褶皱处理，音符，对话框，格子，光线，星光等等，反正我感觉是全之又全了，我花了半年多时间收集笔刷，真的......