热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Yu Feng
UCSB 的 CS 教授和 @nubit_org 上尉。我在程序验证和区块链方面进行实践研究。
我在加州大学圣巴巴拉分校获得了终身教职！ 🎉
12年前，我几乎对编程语言（PL）一无所知。感谢我的超级顾问Isil教会我如何进行真正的研究（并陪我度过那些从日出到日落的10小时预PLDI会议）。我们几乎在所有事情上都是最佳搭档。
我也非常幸运地得到了地球上最优秀的编程语言专家的指导，Alex Aiken、Ras Bodik和Emina Torlak，他们塑造了我的研究品味。
致我那些了不起的学生——Yanju、Junrui、Hongbo、@trackoor、Bryan、Nicholas，以及许多其他人——你们是这份工作的最佳部分。
致我的合作者——Osbert Bastani、Ruben Martins、Yuan Tian、Chenglong Wang、Yuepeng Wang、Xinyu Wang、@lukejdpearson（也是我的投资者，哈哈）——感谢你们让研究变得如此愉快。
致我的UCSB同事和匿名信件作者——感谢你们的精彩话语和对我的信任。
还有我的妻子——感谢你在那些艰难的岁月和每一个疯狂的决定中支持我。
没有你们，我无法做到这一切。祝下一个篇章顺利。 🚀
26.13K
感谢我们的支持者和我出色的团队。
到目前为止，我们所做的只是一个开始。
2025年7月9日
Thunderbolt Station：第一阶段正式结束
承诺价值 900,000,000 美元。⚡️
2.27K
当$BTC遇到$USD1时会发生什么。为我的团队感到非常自豪，这仅仅是个开始。🙌⚡️
2025年6月16日
您现在可以通过 @worldlibertyfi 将 USD1 桥接到 Bitcoin Thunderbolt。
最有原则的稳定币与更快的比特币相遇。
1.14K
根据我的财务团队的说法，到2025年6月，我们有超过70个月的资金周转期。没有马戏表演，没有拉高出货的把戏——这些游戏会破坏信任。我们在这里是为了构建具有现实世界实用性的比特币基础设施，并坚持下去以实现规模化。让我们继续前进。⚡️
2025年6月10日
比特币雷电现已获得学术验证。⚡️
我们关于 Tessel 的论文，这是一种为比特币雷电提供支持的新编译器，已被 SBC'25 接收，这是全球顶级区块链会议之一，由 @Stanford、@initc3org 和 @UCBerkeley 主办。
八月在加利福尼亚州伯克利见！
6.26K
加州制造
2025年5月23日
从10,000 BTC到5,130聪。
用真实的比特币支付，实时完成。
比特币闪电。
今年的比特币披萨日与众不同。🍕⚡️
5.25K
热门
排行
收藏