#属性
TLA+ Action Properties(www.hillelwayne.com)
2021-4-1 19:50TLA +技术在那里没有全部很多：所有资源都是介绍或案例研究。对人们开始的好处，对过去的人不好。我认为我们需要编写更多的中级东西，本·库恩呼叫Blub研究。这是一个尝试。
大多数TLA +属性都是不变的，必须为行为中的每个状态都是如此的属性。如果我们有一个简单的柜台：
扩展整数变量x init == x = 1 ......
Custom Properties as State(css-tricks.com)
2021-1-9 14:14
这是詹姆斯·斯坦利（James Stanley）的一个有趣的想法：一个CSS文件（可能每天更新），其中包含针对“季节性”颜色（例如，春天是绿色，秋天是橙色）的CSS自定义属性。然后，您会知道这些颜色每天都会略有变化，然后使用这些值来为您的网站设置主题。
我认为，如果提供的CSS文件只是自定义属性，而不是自以为......
How Python attributes work(tenthousandmeters.com)
2020-12-31 21:20当我们获取或设置Python对象的属性时会发生什么？这个问题并不像乍看起来那样简单。的确，任何有经验的Python程序员都对属性如何工作有很好的直观理解，而文档则可以极大地增进理解。但是，当出现有关属性的真正平凡的问题时，直觉将失败，文档也将无济于事。为了获得深刻的理解并能够回答此类问题，必须研究如何实现属性。这就是......
Writable Getters(lea.verou.me)
2020-12-26 5:13在我的代码中出现过几次的模式如下：对象具有一个属性，除非明确设置，否则该属性默认基于其其他属性为表达式，在这种情况下，其功能类似于普通属性。本质上，表达式用作默认值。
根据名称或标题生成默认ID的对象，但也可以具有自定义ID。
具有关于人类的信息的对象，其中名称可以显式指定，或者如果未指定，则从firstNa......
2020-12-11 21:6
思科已经为其重要的漏洞修补了Jabber会议和消息传递应用程序，该漏洞使攻击者可以执行恶意代码，这些恶意代码可以在计算机之间传播，而无需用户交互。再次。
该漏洞于9月份首次披露，是安全公司Watchcom Security的研究人员发现的几个漏洞的结果。首先，该应用无法正确过滤用户发送的消息中包含的潜在恶意元素。......
2020-10-14 16:36
如果我告诉您，您可以使用单个属性值跨多个不同属性甚至跨多个CSS规则打开和关闭多个不同的值，会怎么样？
如果我告诉您，您只需调整一个自定义属性--is-raise，就可以将这个平面按钮变成一个有光泽的偏态按钮，这将一下子设置它的边框、背景图像、框和文本阴影，会怎么样？
这项技术的关键在于：有两个自定义属性值，它们几乎......
Rust testing or verifying: Why not both?(alastairreid.github.io)
2020-9-5 5:53Dijkstra著名地贬低测试，他说“程序测试可以用来显示错误的存在，但永远不能用来显示它们的存在！”好像您应该选择一个而不是另一个。我不认为它们是对立的，而是作为互补的技术，两者都应该用来提高代码的质量。
我是正式验证的忠实粉丝。正式验证工具可能是您使用过的最好的错误查找工具。它们可以从您的代码中完全消除整类错误。......