feat: deploy github page

zh-cn/assets/index-1f6cee43.js → zh-cn/assets/index-0a77c99b.js

@@ -1,4 +1,4 @@
-const s="/zh-cn/assets/cover-48216986.png",t="/zh-cn/assets/image1-02771bf0.jpg",n="/zh-cn/assets/image1-f46bfcc6.jpg",o=[s,t,n],r={label:"当RDMA遇到Rust",description:"2022年8月5日-6日，一年一度的中国开源基础设施活动日（OpenInfra Days China）即将在线上举行。本次会议没有限定一个统一的主题，主要聚焦云计算基础设施、云原生技术与应用实践、开源治理、5G、算力网络与边缘计算五大主题方向。",cover:"./cover.png",location:"新加坡",date:"2022-08-04",title:"When RDMA meets Rust"},p=[],g=`<p><img src="${s}" alt="封面"></p>
+const s="/zh-cn/assets/cover-48216986.png",t="/zh-cn/assets/image1-02771bf0.jpg",n="/zh-cn/assets/image1-f46bfcc6.jpg",o=[s,t,n],p={label:"当RDMA遇到Rust",description:"2022年8月5日-6日，一年一度的中国开源基础设施活动日（OpenInfra Days China）即将在线上举行。本次会议没有限定一个统一的主题，主要聚焦云计算基础设施、云原生技术与应用实践、开源治理、5G、算力网络与边缘计算五大主题方向。",cover:"./cover.png",location:"新加坡",date:"2022-08-04",title:"When RDMA meets Rust"},r=[],e=`<p><img src="${s}" alt="封面"></p>
 <p>2022 年 8 月 5 日-6 日，**一年一度的中国开源基础设施活动日（OpenInfra Days China）**即将在线上举行。本次会议没有限定一个统一的主题，主要聚焦云计算基础设施、云原生技术与应用实践、开源治理、5G、算力网络与边缘计算五大主题方向。</p>
 <p><strong>云计算基础设施分论坛</strong>主要聚焦云计算基础设施领域的前沿技术和优秀实践，围绕多硬件架构和多操作系统支持、人工智能技术应用、网络与存储，数据处理 DPU 及其他加速硬件、硬件自动化和智能运维等方面展开技术分享和探讨。达坦科技联合创始人施继成将在这一分论坛做题为<strong>当 RDMA 遇到 Rust</strong> 的专题分享。</p>
 <p><img src="${t}" alt="图片"></p>
@@ -10,4 +10,4 @@ const s="/zh-cn/assets/cover-48216986.png",t="/zh-cn/assets/image1-02771bf0.jpg"
 <h4>参会方式</h4>
 <p>想要了解更多达坦科技为什么选择 Rust 做 RDMA 库，以及开发设计背后的理念、逻辑、和实践经验，欢迎扫描海报二维码，免费注册报名。</p>
 <p>有意加入 <strong>Rust 前沿交流讨论群</strong>，请添加小助手微信：</p>
-<p><img src="${n}" alt="图片"></p>`;export{o as assetURLs,g as default,r as metadata,p as toc};
+<p><img src="${n}" alt="图片"></p>`;export{o as assetURLs,e as default,p as metadata,r as toc};

zh-cn/assets/index-39bb6556.js → zh-cn/assets/index-0af18c24.js

@@ -1,4 +1,4 @@
-const e="/zh-cn/assets/cover-c17c52cc.png",s="/zh-cn/assets/image1-0dff4570.png",c="/zh-cn/assets/image2-e09cfdc8.png",o="/zh-cn/assets/image3-2b589463.png",p="/zh-cn/assets/image4-5841c9d6.png",a="/zh-cn/assets/image5-92344f1d.png",d="/zh-cn/assets/image6-b429f851.png",i="/zh-cn/assets/image7-97920b5a.png",t="/zh-cn/assets/image8-ecf5c6f3.png",r="/zh-cn/assets/image9-f47bad66.png",n="/zh-cn/assets/image10-b50adc27.png",l="/zh-cn/assets/image11-99ec2a51.png",m=[e,s,c,o,p,a,d,i,t,r,n,l],h={label:"从数学角度思考程序与验证正确性",description:"本文旨在为没有接触过形式化方法的读者提供一种新的视角看待计算机系统与算法，而非形式化方法或 TLA+ 教程。因此本文的重点是如何从数学角度思考程序，不会使用大篇幅讲解 TLA+ 的语法。",cover:"./cover.png",location:"中国香港",author:["田野"],tags:["Xline"],date:"2023-03-02",title:"Thinking about programs mathematically and verifying correctness"},g=[{label:"我们该如何写出正确的程序？",level:2},{label:"程序中会有什么样错误？",level:3},{label:"经验",level:3},{label:"形式化方法",level:3},{label:"TLA+",level:2},{label:"简单的例子",level:3},{label:"Two-Phase Commit",level:2},{label:"总结",level:2},{label:"我们的项目：Xline",level:2}],A=`<p><img src="${e}" alt="封面"></p>
+const e="/zh-cn/assets/cover-c17c52cc.png",s="/zh-cn/assets/image1-0dff4570.png",c="/zh-cn/assets/image2-e09cfdc8.png",o="/zh-cn/assets/image3-2b589463.png",p="/zh-cn/assets/image4-5841c9d6.png",a="/zh-cn/assets/image5-92344f1d.png",d="/zh-cn/assets/image6-b429f851.png",r="/zh-cn/assets/image7-97920b5a.png",t="/zh-cn/assets/image8-ecf5c6f3.png",i="/zh-cn/assets/image9-f47bad66.png",n="/zh-cn/assets/image10-b50adc27.png",l="/zh-cn/assets/image11-99ec2a51.png",m=[e,s,c,o,p,a,d,r,t,i,n,l],h={label:"从数学角度思考程序与验证正确性",description:"本文旨在为没有接触过形式化方法的读者提供一种新的视角看待计算机系统与算法，而非形式化方法或 TLA+ 教程。因此本文的重点是如何从数学角度思考程序，不会使用大篇幅讲解 TLA+ 的语法。",cover:"./cover.png",location:"中国香港",author:["田野"],tags:["Xline"],date:"2023-03-02",title:"Thinking about programs mathematically and verifying correctness"},g=[{label:"我们该如何写出正确的程序？",level:2},{label:"程序中会有什么样错误？",level:3},{label:"经验",level:3},{label:"形式化方法",level:3},{label:"TLA+",level:2},{label:"简单的例子",level:3},{label:"Two-Phase Commit",level:2},{label:"总结",level:2},{label:"我们的项目：Xline",level:2}],A=`<p><img src="${e}" alt="封面"></p>
 <p>本文旨在为没有接触过形式化方法的读者提供一种新的视角看待计算机系统与算法，而非形式化方法或 TLA+ 教程。因此本文的重点是如何从数学角度思考程序，不会使用大篇幅讲解 TLA+ 的语法。</p>
 <h2 id="我们该如何写出正确的程序？">我们该如何写出正确的程序？</h2>
 <p>程序设计的目标永远是写出正确的程序。随着时间的推移，我们的程序越来越复杂，其中可能存在的错误也越来越多。想要写出正确的程序，首先应该了解程序中可能出现的错误有哪些。</p>
@@ -105,7 +105,7 @@ Next 用于定义状态转换关系。</p>
 <li>变量 <code>msgs</code> 作为消息池，用于记录所有正在传输的消息，初始值是一个空集。</li>
 </ul>
 <p>下面我们来定义系统做可能发生的动作。</p>
-<p><img src="${i}" alt="图片"></p>
+<p><img src="${r}" alt="图片"></p>
 <ul>
 <li>TLA+ 中可以用上述方式定义类似于其它编程语言中"函数"概念的表达式，这样就无需对每一个 Resource Manager 都定义一个表达式了。</li>
 <li><code>[type → "prepare", rm → r]</code> 是一个 TLA+ 中的 record，类似于其它编程语言中的 struct。</li>
@@ -114,7 +114,7 @@ Next 用于定义状态转换关系。</p>
 <p>当 <code>TM</code> 的状态为 <code>init</code>，且在消息池中存在来自 <code>r</code> 的 <code>Prepared</code> 消息，<code>tmPrepared</code> 在下一个状态的值会是 <code>tmPrepared</code> 和 <code>{r}</code> 的并集。</p>
 <p><img src="${t}" alt="图片"></p>
 <p>上面的两个动作分别是 Transaction Manager 进行 Commit 与 Abort。</p>
-<p><img src="${r}" alt="图片"></p>
+<p><img src="${i}" alt="图片"></p>
 <p>上述 4 个 Resource Manager 动作分别是 Resource Manager 选择 Prepare 与 Abort，以及处理由 Transaction Manager 决定的 Commit 与 Abort。</p>
 <p>其中，存在语法如 <code>rmState' = [rmState except ![r] = "prepared"]</code>，意为"在下一个状态中，<code>rmState[r]</code> 的值变为 <code>prepared</code>，其它部分不变"。</p>
 <p>如果我们用形如 <code>rmState[r]' = "prepared"</code> 的形式来表示，我们并没有显式地说明 <code>rmState</code> 的其它部分在下一个状态的值，因此是不正确的。</p>

zh-cn/assets/index-79ed8f2a.js → zh-cn/assets/index-0b4fd2ad.js

@@ -1,4 +1,4 @@
-const p="/zh-cn/assets/cover-9e502538.png",n="/zh-cn/assets/image1-09ca1c97.jpg",s="/zh-cn/assets/image2-f93efd4a.jpg",t="/zh-cn/assets/image3-50beaba8.png",r=[p,n,s,t],o={label:"SpinalHDL的使用和开发经验研讨会",description:"SpinalHDL始于2014年，最初是作为VHDL/Verilog的替代而做的创新尝试，伴随着数年来开源硬件设计的蓬勃发展，基于开源技术的硬件设计方法和范式逐渐受到业界的关注。",cover:"./cover.png",location:"中国香港",date:"2023-07-03",title:"SpinalHDL usage and development experience workshop"},a=[],g=`<p>SpinalHDL 始于 2014 年，最初是作为 VHDL/Verilog 的替代而做的创新尝试，伴随着数年来开源硬件设计的蓬勃发展，基于开源技术的硬件设计方法和范式逐渐受到业界的关注。</p>
+const p="/zh-cn/assets/cover-9e502538.png",n="/zh-cn/assets/image1-09ca1c97.jpg",s="/zh-cn/assets/image2-f93efd4a.jpg",t="/zh-cn/assets/image1-50beaba8.png",a=[p,n,s,t],o={label:"SpinalHDL的使用和开发经验研讨会",description:"SpinalHDL始于2014年，最初是作为VHDL/Verilog的替代而做的创新尝试，伴随着数年来开源硬件设计的蓬勃发展，基于开源技术的硬件设计方法和范式逐渐受到业界的关注。",cover:"./cover.png",location:"中国香港",date:"2023-07-03",title:"SpinalHDL usage and development experience workshop"},r=[],g=`<p>SpinalHDL 始于 2014 年，最初是作为 VHDL/Verilog 的替代而做的创新尝试，伴随着数年来开源硬件设计的蓬勃发展，基于开源技术的硬件设计方法和范式逐渐受到业界的关注。</p>
 <p><strong>达坦科技（DatenLord）</strong> 致力于打造高性能跨云存储，其通过软硬件深度融合的方式打破云之间的壁垒，实现高性能跨云数据访问，提供海量异地、异构数据的统一存储访问机制，为云上应用提供高性能安全存储支持。</p>
 <p>达坦科技采用硬件加速提升存储性能，目前采用 FPGA、ASIC 实现存储相关场景的性能加速。SpinalHDL 是达坦科技在产品中使用的硬件描述语言之一，达坦科技也一直热心于推广 SpinalHDL 在业界的落地应用。在 2022 年 12 月，达坦科技曾联合 SpinalHDL 社区举办一场题为《SpinalHDL 应用前景探索》的线上研讨会，收获海内外 SpinalHDL 爱好者的欢迎。</p>
 <p>而在北京时间 <strong>2023 年 7 月 7 日下午 14:00-17:00</strong>，达坦科技将联合 SpinalHDL 社区，以及四川芯测电子技术有限公司举办一场题为 <strong>SpinalHDL 的使用和开发经验研讨会</strong>，旨在和大家分享 SpinalHDL 最新的实践、挑战和经验的分享。</p>
@@ -13,4 +13,4 @@ const p="/zh-cn/assets/cover-9e502538.png",n="/zh-cn/assets/image1-09ca1c97.jpg"
 474-6575-9473</p>
 <p><img src="${s}" alt="图片"></p>
 <p>对开源硬件感兴趣的朋友，可以添加小助手微信，加入<strong>达坦科技硬件群</strong>。</p>
-<p><img src="${t}" alt="图片"></p>`;export{r as assetURLs,g as default,o as metadata,a as toc};
+<p><img src="${t}" alt="图片"></p>`;export{a as assetURLs,g as default,o as metadata,r as toc};

zh-cn/assets/index-047539e4.js → zh-cn/assets/index-12a2a854.js

@@ -1,4 +1,4 @@
-const o="/zh-cn/assets/cover-9c53ea5f.png",t="/zh-cn/assets/imgae1-084eb861.jpg",e=[o,t],n={label:"硬件敏捷开发与验证方法学研讨",description:"作为2022年第二届RISC-V中国峰会的同期活动，8月27日下午，达坦科技将在线上举办硬件敏捷开发与验证方法学研讨。",cover:"./cover.png",location:"新加坡",date:"2022-08-23",title:"Hardware Agile Development and Verification Methodology Workshop"},s=[],l=`<p>作为 <strong>2022 年第二届 RISC-V 中国峰会</strong>的同期活动，8 月 27 日下午，达坦科技将在线上举办硬件敏捷开发与验证方法学研讨。</p>
+const o="/zh-cn/assets/cover-9c53ea5f.png",t="/zh-cn/assets/imgae1-084eb861.jpg",e=[o,t],n={label:"硬件敏捷开发与验证方法学研讨",description:"作为2022年第二届RISC-V中国峰会的同期活动，8月27日下午，达坦科技将在线上举办硬件敏捷开发与验证方法学研讨。",cover:"./cover.png",location:"新加坡",date:"2022-08-23",title:"Hardware Agile Development and Verification Methodology Workshop"},s=[],r=`<p>作为 <strong>2022 年第二届 RISC-V 中国峰会</strong>的同期活动，8 月 27 日下午，达坦科技将在线上举办硬件敏捷开发与验证方法学研讨。</p>
 <p>如何提升数字芯片的开发和验证效率一直是业界关注的焦点。近年来随着 Chisel、SpinalHDL 等等一众新一代 HDL 的推出，业界逐步感受到新一代 HDL 在数字芯片设计效率方面的提升。相比 Verilog 和 VHDL，这些新一代 HDL 在语法表达能力、代码简洁程度、错误检查等方面有不小的提升；相比高阶综合 HLS，这些新一代 HDL 支持 RTL 级描述能力，在芯片性能的把控方面远超 HLS。此外，基于 Python，以 Cocotb 和 pyuvm 为代表的新一代验证框架的推出，使得验证的周期得到一定程度的缩减，特别是基于 Python 的验证框架可以复用 Python 生态丰富的已有工具和模型，大大减少了 Golden Reference 的工作量。</p>
 <p>更重要的是，这些新一代 HDL 打开了全新的数字芯片敏捷设计和验证的方法学大门。本次研讨将邀请业界多位专家分享他们在各自领域的<strong>硬件敏捷开发与验证实践经验</strong>，为业界提供一次深入探讨和交流的机会，促进硬件敏捷开发与验证方法学的发展与落地。</p>
 <p>参与本次研讨的听众可以深入了解业界关于硬件敏捷开发与验证的最前沿探索，诸如：</p>
@@ -11,4 +11,4 @@ const o="/zh-cn/assets/cover-9c53ea5f.png",t="/zh-cn/assets/imgae1-084eb861.jpg"
 <p>活动时间：8 月 27 日，13:15-17:15<br>
 活动链接：<a href="https://t.elecfans.com/live/2113.html">https://t.elecfans.com/live/2113.html</a><br>
 感兴趣的听众可以添加海报中的群主二维码加入讨论群，添加时请注明硬件敏捷开发和验证方法学研讨。</p>
-<p><img src="${t}" alt="图片"></p>`;export{e as assetURLs,l as default,n as metadata,s as toc};
+<p><img src="${t}" alt="图片"></p>`;export{e as assetURLs,r as default,n as metadata,s as toc};