8天前
OpenAI 模型发现波及数百万网站编程语言漏洞
OpenAI 的模型被用于发现一个潜在灾难性的网络安全漏洞，漏洞存在于一种支撑数百万网站和应用程序运行的编程语言中。OpenAI 总裁 Greg Brockman 与 Cloudflare CEO Matthew Prince 在 Bloomberg Tech 节目中谈到，AI 正同时提升网络防御者与攻击者的能力。Cloudflare 还在漏洞公开披露前协助保护相关网站。
450
13天前
Charles Hoskinson称正为Cardano开发支持意图与PCD的新语言
Cardano 创始人 Charles Hoskinson 表示，他正在为 Cardano 开发一种新编程语言，可通过 Groth16 证明处理意图和证明携带数据。Hoskinson 称，这将是首个支持意图与 PCD 的编程语言，但暂未披露名称、技术规格和发布时间表。此前，他还提到隐私侧链 Midnight 将带来一个用例，试图解决加密货币领域的大部分问题。
480
3个月前
Vitalik谈新型高级编程语言设想：可编译为Lean或HOL
Vitalik 在 X 平台表示，一种值得尝试的新型“高级编程语言”可以编译为 Lean 或 HOL 等形式系统，重点应放在让人类更容易阅读定义和定理，而非证明本身。他称，证明只要正确即可，关键在于定义和定理；其设想用途之一，是让 AI 生成大段证明后，读者仍能较轻松地看清其中究竟证明了哪些精确主张。
1960
3个月前
编程语言多样性：比特币客户端开发的未来之路？
本文探讨比特币客户端（如Bitcoin Core和XT）仅支持单一编程语言的局限性，提出借鉴以太坊的多语言客户端模式，以促进开发者参与和技术改进。
460
3个月前
比特币现金迎新智能合约语言Spedn，C语言风格简化开发
Spedn是为比特币现金（BCH）设计的高阶智能合约语言，采用C-like语法、静态类型和纯函数式编程，旨在提高安全性和显性度。开发者Tendo Pein已发布文档和示例，包括零确认罚没和链上赌博协议。项目尚处早期，欢迎社区贡献。
2040
3个月前
BCH迎来Spedn智能合约语言：C语言语法，高安全性，已支持零确认与Chainbet
开发者Tendo Pein推出Spedn——一种专为比特币现金设计的智能合约编程语言。语法类似C、纯函数式、静态类型，旨在提升安全性和可读性。目前已提供零确认交易和Chainbet协议的示例。
2130
