Tarun Chitra

Tarun Chitra

60,913명의 트위터 팔로워

팔로우하기

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

포스팅

@faftyyears가 주도하고 @Liquid2V, @ycombinator 및 여러 훌륭한 엔젤 투자자들이 참여한 @wafer_ai의 시드 라운드 투자를 유치하게 되어 매우 기쁩니다! 저희는 '와트당 지능을 극대화한다'는 단순한 아이디어에서 Wafer를 시작했습니다. 그 이후로 커널, 추론 엔진, 그리고 AI 시스템의 전체 스택을 최적화하는 에이전트를 개발하여 하드웨어의 한계를 뛰어넘어 왔습니다. 오늘 저희는 자체 인프라 관리 없이 가장 빠른 오픈 모델에서 에이전트를 실행할 수 있는 고성능의 고속 API인 Wafer Pass를 출시합니다.

저희 친구인 @mathematics_inc가 Hermes Agent를 포크하여 놀라운 자동 형식화 에이전트 도구를 개발했습니다. twitter.com/NousResearch/statu...

Privy와 Gauntlet, 스마트 지갑에서 온체인 수익 창출 프로그램 제공 위해 파트너십 체결 @privy_io 인프라를 사용하는 개발자는 지갑에서 직접 수익 창출 프로그램을 제공할 수 있습니다. 애플리케이션이 @Morpho 및 @kamino에서 당사의 수익 창출 전략을 통합하면 사용자는 유휴 잔액에 대해 수익을 얻을 수 있습니다.

생성 비용이 저렴한 시대에 검증은 신뢰의 기반이 됩니다. 자동 형식화는 빠르게 가속화되고 있지만, 알려진 모든 수학을 누구나 접근할 수 있도록 하려면 여전히 최첨단 연구가 필요합니다. Math Inc.는 바로 이러한 목표를 향해 나아가고 있습니다! twitter.com/minimario1729/stat...

개인이 제도적 허가 없이 스스로 진실을 검증할 수 있는 능력을 갖게 될 때 인류는 발전합니다. 저희는 자동 형식화 확장, 검증된 초지능 창조, 그리고 진실의 자유를 향한 사명을 위해 @robotventures와 협력하게 되어 매우 기쁩니다. twitter.com/mathematics_inc/st...

몇 주 전: 모두가 에르되시 문제의 자동 형식화에 열광했죠. 지금: 몇 자릿수 더 발전해서 필즈상 수상작들을 자동 형식화하는 단계에 이르렀는데, 생성된 코드는 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 시장의 ADL 작동 방식, 특히 1월 말 실버 세대 가격 폭락 현상을 밝히기 위한 대시보드를 구축했습니다. HIP3에서의 청산 일반 HL 시장과 다릅니다. HIP3에는 안전장치 역할을 하는 청산 금고가 없으므로, 청산 과정에서 주문 유동성이 고갈되면 해당 물량은 곧바로 ADL로 이관됩니다. -- 이제 HIP3 거래자들은 각 위치에 대한 ADL 대기열 순위를 계산합니다. - 당신보다 먼저 ADL 검사를 받는 사람이 몇 명이나 되나요? - 다른 사용자들이 보유한 가상 자산의 규모 (파란색 선) 어떤 가격이 ADL을 발생시킬지 확인해 보세요. - 주문량이 얼마나 많은 청산 감당할 수 있는지 추정 - ADL에 대한 과도한 타격 횟수(빨간색 선)를 평가합니다.

@theyisun과 @vnovakovski를 거의 20년 동안 알고 지냈기에, 그들이 검증 가능성을 희생하지 않고 저지연(동기) 및 고대역폭(비동기) 앱을 동시에 지원하는 거래 인프라의 진정으로 중요한 개선 사항에 대해 협력했다는 사실은 놀랍지 않습니다. twitter.com/tarunchitra/status...

저는 암호화폐 업계에 오래 몸담았습니다. 하지만 그 어떤 일보다도 더 열심히 일했습니다. @gregthegreek, @tarunchitra, @mdcieri37과 함께 1년 동안 기계를 위한 신용 시스템을 구축했습니다. 이것은 10년 만에 최고의 투자입니다.

Loading..