最新

Lefts 是一种用于应用机器学习建模的领域特定语言。它面向所有以构建预测模型为生，并希望专注于模型行为推理和构建创新架构，而不是构建训练/测试管道或担心数据泄露的人群。 它简单但功能强大——我在自己的工作中一直使用它来探索新的建模方法（可以查看几何模型教程！），并轻松应对机器学习工程师工作中那些最不有趣的环节。它在底层也运用了一些很酷的函数式编程特性（可以查看设计理念！）。

我一直在做一个项目，已经有几天（或者说几个月）了，它叫做 Wyzer（意为“更聪明”）。它是一种静态类型、编译型、面向资源的编程语言，通过编舞式编程和 Perceus 内存模型集成分布式安全。我开始这个项目的原因是对 Rust 的不满。你看，Rust 通过严格的类型检查来保证内存安全，但它不能保证防止分布式死锁，这基本上是几个独立的节点或服务永久等待彼此持有的资源或消息，形成循环等待。其他问题还包括跨服务正确性和协议不匹配。具体来说，Wyzer 主要致力于在高层编程语言中推广编舞式编程的概念，因为这是解决这些安全漏洞的为数不多的尝试之一。Wyzer 没有借用检查器和生命周期，而是采用了线性的/仿射的类型和 Perceus 引用计数，这对语言服务器（LSP）来说在计算上要简单得多。 经过 5 个月的研究和几周的开发，我即将发布它的 0.1.0 版本。如果你想为它做出贡献，非常欢迎！

我原本计划创建一个应用程序并在市场上发布，但在研究过程中，我偶然发现了“零工招聘”（fractional hiring）这个概念。您对此有什么看法？