Web3 极客日报 #1571

本地的大模型门户

https://github.com/exo-explore/exo

董-村民: 4000个星星了。Iphone也可以用它跑8B的llama3.1本地模型，因为是集群，本地的硬件都可以用起来

Xapian: 开源搜索引擎库

https://xapian.org/

Harry: Xapian 是一个用 C++ 编写的开源搜索引擎库，可绑定多种语言，允许开发人员为其应用程序添加高级搜索功能。它是一个多功能工具包，内置了对加权模型和布尔查询操作符的支持，并可进行扩展以满足特定需求。

BitVM bridges

https://bitvm.org/bitvm_bridge.pdf

Harry: 通过 BitVM Bridge 协议，减少了信任假设，仅需一个理性的操作员即可保证活性，任何用户都可以作为挑战者，促进协议的无权限验证。