Harry

1. Understanding Jolt: Clarifications and reflections https://a16zcrypto.com/posts/article/understanding-jolt-clarifications-and-reflections/ @Dream:这里面提到 lookup singularity ， impressive，似乎所有的约束都可以用lookup了， 尤其是多变量bit 矩阵的构造，sum check 等...

1. zkTLS 介绍 https://x.com/YashasEdu/status/1830863460839891461 @Harry:zkTLS 允许用户证明他们已经从网站收到了某些数据，而无需透露这些数据的全部内容。例如，你想证明你已年满 21 岁可以访问某项服务，但不想透露确切出生日期。 zkTLS 可以证明你符合年龄要求，而无需暴露你的完整个人信息。   2. 启动协议型社区的 5 个经验 https://x.com/nickmartitsch/status/1829206571718693208...

1. .git 内部一探 https://jvns.ca/blog/2024/01/26/inside-git/ @Harry:对 .git 目录中每个部分作用的解释。   2. CPU 原理解释 https://cpu.land/ @Harry:想知道在电脑上运行程序时到底会发生什么？阅读本文，你将了解多进程如何工作、系统调用到底是什么、计算机如何利用硬件中断管理内存，以及 Linux 如何加载可执行文件。  ...

1. Discrete mathematics 4th 发布啦 https://discrete.openmathbooks.org/dmoi4.html @Amagi:《离散数学：开放导论》第四版现已发布，并在Runestone Academy上线。新版本带来了许多改进和新的内容组织，首先介绍逻辑和证明，然后通过图论进行证明练习。书的后半部分涵盖计数（新增“概率应用”部分）和序列。这样的安排据说能帮助学生更好地学习。此外，书中更加强调离散结构，对计算机科学专业的学生更有用，同时仍然注重数学概念的理解。书中增加了更多互动练习和一些Sage和Python代码，供学生探索。PDF版本即将推出，印刷版将于明年由CRC Press发布。在线版本将永久免费提供，并以创作共用许可证发布，但增加了非商业用途限制。   2. 针对 OpenSSH 几起后门事件的思考 https://blog.isosceles.com/openssh-backdoors/ @Harry:这篇文章讨论了OpenSSH的后门事件，并将其与2002年的类似事件进行了比较。文章强调了供应链攻击的风险及其演变，指出在开源开发中需要改进安全措施。...

1. 本地的大模型门户 https://github.com/exo-explore/exo @董-村民:4000个星星了。Iphone也可以用它跑8B的llama3.1本地模型，因为是集群，本地的硬件都可以用起来   2. Xapian: 开源搜索引擎库 https://xapian.org/ @Harry:Xapian 是一个用 C++ 编写的开源搜索引擎库，可绑定多种语言，允许开发人员为其应用程序添加高级搜索功能。它是一个多功能工具包，内置了对加权模型和布尔查询操作符的支持，并可进行扩展以满足特定需求。   3. BitVM...

1. Triton VM https://github.com/TritonVM/triton-vm @饭卡:写brainfuck STARK教程的团队实现的递归zkvm，结合他们团队的Tip5论文以及Triton VM文档，很容易明白该zkvm是如何设计实现的。   2. 无数据库的高可用性 Web 服务 https://github.com/bknr-datastore/bknr-datastore @Zisu:一种基于 CLOS 的内存数据存储，构建无数据库的高可用性...

1. Mactop https://github.com/context-labs/mactop @shooter:专为苹果芯片打造的 Mac 性能监控工具。该项目用不到 1k 行的 Go 代码，实现了一个类似 top 命令的工具。它可以实时显示 Apple M 系列芯片的性能指标，包括 CPU、GPU...

1. gpu.cpp：解放任何设备的GPU能力 https://github.com/AnswerDotAI/gpu.cpp @饭卡:在过去如果想用GPU做一些并行计算，往往需要使用Nvidia的支持CUDA专门GPU。现在随着webGPU的标准逐渐统一，任何支持 Vulkan, Metal 和 DirectX 的硬件都可以使用GPU做并行计算而不需要专门的Nvidia硬件和CUDA编程。gpu.cpp解开了webGPU和浏览器绑定的束缚，你可以在任意c++程序里调用gpu.cpp，利用webGPU来对你的程序做并行计算。   2. Llama as a System https://github.com/meta-llama/llama-agentic-system...

1. Stanford Blockchain Accelerator https://docs.google.com/forms/d/e/1FAIpQLSdancJtfb1rgi1kDwtnlKq_n-Vp1JJu8TLwjBh873dVr1M-WA/viewform @Harry:斯坦福区块链加速器第六期的申请, 截止时间 7.31, 五个月时间, 团队内必须有一个技术成员. 硅谷的资源还是很不错的.   2. lambda class版zk-stark https://github.com/lambdaclass/lambdaworks/tree/main/provers/stark...

1. 管理 Github star 项目的 web 应用 https://starflare.app/ @Caos:一个管理 Github star 项目的 web 应用, 方便针对 star...

1. 个人任务管理工具 todoist https://todoist.com/ @Harry：todoist 这个任务管理工具我用了三年了，总体感觉还是很好的，免费的就够用了，支持多端同步，非常适合个人的任务管理。   2. 一种文本管理to do list的方式 https://orgmode.org/ @樊金辉：推荐一种文本方式管理todolist的方式，就是emacs的orgmod，官网orgmode.org。 有对应的手机客户端可用，比如ios的beorgapp，android的Orgzly，以及跨平台的orgro。 比如ios上使用beorgapp可以直接在ios端编辑todolist，并以文本方式同步到icloud。 Mac端则可配合Emacs或Obsidian的orgmod插件等任何文本工具直接编辑orgmode，计划todolist。...

1. Oh My Zsh 的主题列表 https://www.slant.co/topics/7553/~theme-for-oh-my-zsh#8 @Harry：这个网页列出了 Oh My Zsh 的主题，有将近 100 个。我现在对于这些主题没啥追求了，推荐给需要的同学吧。   2. a16z的加密创业课程...

1. awk线上版本 https://awk.js.org/ @shooter：awk是一个强大的文本分析工具，简单来说awk就是把文件逐行的读入，以空格为默认分隔符将每行切片，切开的部分再进行各种分析处理。   2. 使用linux内核技术eBPF追踪btc节点的网络状态 https://github.com/0xB10C/bitcoind-observer @shooter：基于 Linux 系统的观测工具中，eBPF 有着得天独厚的优势，高效、安全且内置于内核中，特别的可以在内核中完成数据分析聚合比如直方图， 与将数据发送到用户空间分析聚合相比，能够节省大量的数据复制传递带来的 CPU 消耗。bitcoin 源码中最近支持了使用...

1. 历史地图集 http://timespace-china.fudan.edu.cn @Frozen：复旦大学开放了历史地图库供大家查阅，能够看到各个历史时期的地图，其中美国为中国绘制的地图颇有知名度   2. 网页端发送 HTTP 请求 https://www.hurlit.com/ @Harry：通过这个网站，可以发送 HTTP 请求，发送前可以添加认证信息、headers 和其它参数   3....