#语义
HTML Semantics Cheat Sheet(learn-the-web.algonquindesign.ca)
2021-6-8 18:8
允许您将多个标题组合在一起，使它们用语义地被视为单个标题。 定义一个关键字，如审阅中的产品名称，在段落中的一个引用句子。 ＆lt; blockquote＆gt; ＆lt; p＆gt;恐龙可能从地球的脸部灭绝，但他们在我们的想象中活着，并且在我们的想象中很好。＆lt; / p＆gt; ＆lt;页脚＆gt; - ＆......
Concrete Semantics with Isabelle/HOL(concrete-semantics.org)
2021-2-28 12:41《具体语义》一书通过证明助手的媒介介绍了编程语言的语义。它包括两个部分：第二部分是语义及其应用的介绍，它基于一种简单的命令式编程语言。它涵盖以下主题：操作语义，编译器正确性，（安全）类型系统，程序分析，指称语义，Hoare逻辑和抽象解释。
第II部分中的所有材料都在Isabelle中进行了形式化，但大多数内容也可以独......
The Semantic Future of the Web(stackoverflow.blog)
2020-12-13 10:15
网络是建立在数据之上的—我的数据，您的数据，小公司的数据，大公司的数据等等。我们可能会移交诸如电子邮件地址之类的数据，作为回报，我们可能会访问其他数据，可能是新视频游戏的独家内容或每周新闻。持续不断的数据交换允许进行协作和交流，而协作和交流的规模是Web之前从未存在的。
当前交换手的许多数据都可以视为以人为本。我们......
Regarding Semantic Versioning(www.danielmoch.com)
2020-9-12 2:57
在“技术通过永久链接避免埋没”一节中，我将切入我的观点：SemantiVersioning是一个元API，对于违反它的维护人员来说，不能相信他们会创建稳定的合同。(#**$${##**$$})。我已经失去了打破改变的耐心，因为在我的代码库中，维护员没有递增他们项目的主要版本，特别是在期望进行语义版本控制的语言生态系统......
Hiding messages in x86 binaries using semantic duals(blog.yossarian.net)
2020-8-16 23:29这提供了极大的灵活性和可控性，但也使编译器更难执行最佳选择。它还要求隐写者维护他们的(派生的)编译器。这是个不错的主意，但需要付出相当大的努力。
另一种方法是忽略编译的指令本身，而专注于二进制容器：ELF、MACH-O或PE等。
这些格式提供了许多嵌入信息的机会：段和段的顺序(文件和虚拟地址)、重定位表的顺序和布局以......
