返回首页
24小时热榜
一个基于MIT许可的人性化JSON扩展,具有生活质量的改进(如注释、尾随逗号、未加引号的键),额外的数据类型(元组、字节、原始字符串)和语义标识符(类似类型注解)。<p>该扩展使用Rust构建,提供Python和WebAssembly的绑定,并在VSCode中支持语法高亮。我为像我一样手动编辑JSON的人制作了这个工具,希望能带来一些新鲜感。<p>目前这个项目已经达到一个不错的阶段,我觉得可以分享出来,但我还有很多想要改进的地方!具体来说,我想添加(真正的)Node支持,制作一个合适的语言服务器协议(LSP)并实现自动格式化,在开始考虑稳定性之前将其发布出去。
当我在编程相关的子版块中评论人工智能对我来说是一个生产力提升的工具时,得到了如此负面的反应,我感到非常惊讶。我开始在该子版块中寻找一些与人工智能相关的讨论,结果发现整体情绪非常消极。此外,在整个Reddit平台上,情绪似乎也很负面。是否存在某种现象导致像Reddit这样的社区对人工智能不太接受,而像Hacker News这样的地方则更为开放(或者至少持开放态度)呢?
我非常喜欢麻省理工学院的“缺失的学期”计算机科学课程。有没有人遇到过类似的数学课程?
我需要通过同一条115 kbaud的线路在只有8 kB闪存剩余的Cortex-M0+上传输两倍的遥测数据。<p>Micro-RLE是我能想到的最小的即插即用方案:264字节的Thumb代码,36字节的状态,不使用malloc,最坏情况下每字节14个周期,并且对每种8位模式都能无损压缩。<p>在常见的传感器数据流(ADC、IMU、GPS)中,它比原始输出小33%到70%,并且启动时间小于600微秒,因此你可以在PLL锁定之前从main()函数中直接调用。<p>代码库是一个单独的.c文件和一个包含3个函数的API——只需用你的UART / DMA / 环形缓冲区替换掉弱的emit()钩子,就完成了。<p>大小证明:arm-none-eabi-size micro_rle.o
文本 数据 bss
264 0 36<p>采用MIT许可证,链接在代码库中。很高兴听到这个方案还适合其他哪些地方!
嗨,HN,
在过去的几个月里,我一直在构建 UnisonDB——一个以日志为基础的数据库,其中的写前日志(WAL)不仅仅是一个恢复机制,而是数据库的核心。
我之所以开始这个项目,是因为每当我需要数据流动——从核心到边缘,或在数据中心之间——我总是不得不将一个 KV 数据库、变更数据捕获(CDC)和 Kafka 拼凑在一起。
虽然这样做有效,但总感觉有些过于复杂:即使是小型工作负载也有太多的组件,且缺乏确定性。
它是什么?
UnisonDB 将存储和流处理统一为一个基于日志的核心。
每次写入都是:
• 持久的(附加到 WAL 中),
• 有序的(为安全性进行全局排序),
• 可流式传输的(实时提供给任何跟随者)。
它结合了 B+树存储(可预测的读取,没有 LSM 压缩风暴)和基于 WAL 的复制(在不到一秒内扩展到 100 多个节点)。
关键理念:
1. 存储 + 流处理 = 一个系统——没有 CDC,没有 Kafka,没有侧车管道
2. 基于 B+树——可预测的读取,零压缩开销
3. 多模型——在一个原子事务中支持 KV、宽列和大对象(LOB)
4. 原生复制——通过 gRPC 进行 WAL 流;跟随者实时跟进
5. 设计上是反应式的——每次写入都会发出 ZeroMQ 通知
6. 边缘友好——副本可以离线并即时重新同步
性能与权衡:
1. 写入吞吐量低于纯 LSM 存储(例如 BadgerDB)——因为写入是为了复制安全而进行全局排序。
这是一个故意的权衡:一致性 > 原始写入速度。
2. 启用复制时仍然比 BoltDB 快约 2 倍。
技术细节:
使用 Go 编写
使用 FlatBuffers 进行零拷贝序列化
使用 gRPC 进行流式复制
GitHub: [https://github.com/ankur-anand/unisondb](https://github.com/ankur-anand/unisondb)
通过将基础设施封装在一个可扩展的单一代码库中——在运行时通过 Git 子模块递归解析——Proxmox-GitOps 为整个自动化的基于容器的基础设施提供了全面的基础设施即代码(IaC)抽象。
核心概念:
- 递归自管理:控制平面通过将其单一代码库推送到本地引导实例来实现自我控制,触发一个管道,递归地将控制平面配置到 PVE 上。
- 单一代码库:将基础设施集中为全面的 IaC 工件(用于镜像,例如项目本身在 GitHub 上)并使用子模块进行模块化组合。
- 唯一真实来源:Git 代表所需的基础设施状态。
- 松耦合:容器与控制平面解耦,允许在运行时进行替换和独立操作。
- 开源,无限制,无需账户
- 在同一局域网内的传输速度类似于LocalSend,通过互联网传输的速度取决于互联网服务提供商(ISP)。
我们正在组建Sarphir Intelligence:欧洲对Palantir/Oracle在主权人工智能、安全和财富管理领域的回应。我们正在寻找创始工程师、产品设计师、独立开发者和有远见的人士(无论地点和背景)来共同攻克主权数据、监管智能和下一代韧性领域的最难技术。
无需简历。只需私信或分享你的GitHub、作品集或LinkedIn。我们提供丰厚的股权和真正的技术权力。
如果你热爱构建和设计,并相信下一个人工智能独角兽可以在硅谷之外诞生——让我们聊聊吧。
欢迎提问、反馈或冷门合作!
我一直在思考我们如何管理人工智能代理的身份,并且对其他人的做法感到好奇。
从我所看到的情况来看,许多人将代理视为微服务,赋予它们应用程序风格的身份,但我觉得这并不合适。这个模型源于Web2应用程序身份系统,我不确定它是否适合我们即将进入的新环境。
随着我们迈入人工智能时代,我怀疑我们需要专门为代理设计的新型身份和授权形式,尤其是考虑到现有框架如OIDC存在一些明显的局限性。
我很想听听你的想法,或者看看其他人正在进行的实验。