Tarun Chitra

Tarun Chitra

60,913 Twitter followers

Follow

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

Posts

excited to share @wafer_ai's seed round led by @fiftyyears with participation from @Liquid2V, @ycombinator, and many amazing angels! we started wafer with a simple idea: maximize intelligence per watt. we’ve since been building agents to optimize kernels, inference engines, and the full stack of ai systems -pushing hardware closer to its limits. today we're launching wafer pass - a high-limit, fast api for running agents on the fastest open models, without managing your own infra. http:/wafer.ai/pass

Our friends at @mathematics_inc forked Hermes Agent to build an incredible autoformalization agent harness twitter.com/NousResearch/statu...

Privy and Gauntlet Partner to Offer Onchain Yield in Smart Wallets Builders that use @privy_io infrastructure can offer earn programs directly in the wallet. Users earn yield on their idle balances when applications integrate our yield strategies on @Morpho and @kamino.

In an era where generation is cheap, verification becomes the foundation of trust. Autoformalization is accelerating fast, but bringing all known mathematics within reach still demands frontier research. That's the mission we're building towards at Math Inc.! twitter.com/minimario1729/stat...

Humanity advances when individuals gain the capacity to verify truth for themselves, without institutional permission. We're thrilled to partner with @robotventures on our mission to scale autoformalization, create verified superintelligence, and set the truth free. twitter.com/mathematics_inc/st...

Weeks ago: everyone got excited about the autoformalization of Erdös problems Now: Graduated a few orders of magnitude to the autoformalization of multiple Fields Medal results with generated code that is ~10% (!) of the size of mathlib RH will be solved in my lifetime 😀

@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,

Share prosperity that compounds with Red Envelopes🧧 by Gauntlet. The quants wish you a Happy Chinese New Year and good fortune in the markets to come.

we built a dashboard to shed light on ADL mechanics on HIP3 markets, esp with the silver crash end of jan liquidation on HIP3 is different than regular HL markets. HIP3 has no backstop liquidator vault, so if book liquidity is depleted in the liquidation process, it goes straight to ADL -- now HIP3 traders can calculate rank in the ADL queue for each position - how many people get ADL'd before you - how much notional the other users have (blue line) see what price might trigger an ADL - estimate how much liquidation can the orderbook absorb - evaluate the excess hits the ADL (red line)

Knowing both @theyisun and @vnovakovski for the better part of two decades, it isn't surprising they worked together on truly non-trivial improvements to trading infra that doesn't trade off verifiability to concurrently support low latency (sync) and high bandwidth (async) apps twitter.com/tarunchitra/status...

I’ve been in crypto a long time. I’ve never worked harder on anything. A year with @gregthegreek, @tarunchitra, and @mdcieri37 building credit rails for machines. This is the play of the decade.

Loading..