Tarun Chitra

Tarun Chitra

60,913个推特粉丝

关注

ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris

动态

我们的朋友 @mathematics_inc 对 Hermes Agent 进行了 fork，建立了一个强大的自动形式化代理框架。 twitter.com/NousResearch/statu...

Privy 与 Gauntlet 合作，在智慧钱包中提供链上收益使用 @privy_io 基础设施的开发者可以直接在钱包中提供收益计划。当应用程式在 @Morpho 和 @kamino 上整合我们的收益策略时，用户即可从闲置余额中获得收益。

在生成成本低廉的时代，验证成为信任的基石。自动形式化正在快速发展，但要将所有已知的数学知识纳入其中，仍然需要前沿研究。这正是 Math Inc. 的使命所在！ twitter.com/minimario1729/stat...

当个人无需机构许可即可自行验证真相时，人类才能进步。我们很高兴能与 @robotventures 合作，共同致力于扩大自动形式化规模、创造可验证的超级智能，并让真相自由传播。 twitter.com/mathematics_inc/st...

几周前：大家都在为 Erdös 议题的自动形式化而兴奋不已现在：已经取得了几个数量级的进步，用仅相当于 mathlib 10% 左右大小的程式码实现了多个菲尔兹奖结果的自动形式化 RH 在我有生之年一定会被解决 😀

@mathematics_inc

We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24. This is the only Fields Medal-winning result from this century to be completely formalized,

透过 Gauntlet 的红包🧧分享财富，共创繁荣。量化分析师祝您新年快乐，并祝福您在未来的市场中好运连连。

我们构建了一个仪表盘，旨在阐明 HIP3 市场上的自动清算机制，尤其是在 1 月底白银暴跌之后。 HIP3 的清算机制与常规 HL 市场不同。HIP3 没有备用清算金库，因此如果清算过程中账面流动性耗尽，则会直接进入自动清算系统 (ADL)。 -- 现在，HIP3 交易者可以：计算每个仓位在 ADL 队列中的排名 - 在你之前有多少人被 ADL 清算 - 其他用户的名义资金量（蓝线）查看可能触发 ADL 的价格 - 估算订单簿可以吸收多少清算 - 评估超出 ADL 范围的交易量（红线）

认识 @theyisun 和 @vnovakovski 近二十年了，他们合作改进交易基础设施，在不牺牲可验证性的前提下，同时支持低延迟（同步）和高带宽（异步）应用，这并不令人意外。 twitter.com/tarunchitra/status...

我涉足加密货币领域很久了。我从未在任何事情上如此拼命。与 @gregthegreek、@tarunchitra 和 @mdcieri37 一起，花了一年时间构建机器信用体系。这是十年一遇的佳作。

顺便一提，我们在这个播客里稍微聊了聊犯过的错误以及仍然正确的部分。想了解我正在努力修复的问题（感谢 @danrobinson / @0xnagu 的帮助），请参阅： 1. github.com/thogiti/thogiti.git...… 2. github.com/thogiti/WritingExtr...…

A small, low-leverage @gauntlet_xyz test strategy got ADL’d on Hyperliquid during the 10/10 crash. @tarunchitra asked why, then wrote 95 pages exposing how crypto exchange ADL systems are unfair 🧠 "...this is a systematic failure."

Loading..