Dwarf Quant

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

Retroforgelab made an Asuka custom DS Lite and I NEED THAT 😭

@OctopusTakopi Thank you ser

@DwarfQuant yea, XDP generic

rustls not bad at all (ignore the ex -> nic, not tuned)

@OctopusTakopi My bad, I thought this was XDP related until I look at your repo more carefully. I meant XDP native / generic mode

@DwarfQuant what generic mode, if u mean generic kernel, yes, this is not bench on RT kernel.

@brainrotpostig @sasuke___420 yo senpai look at this

@OctopusTakopi ps again thanks for the advice. THink i can vibe it out and see how it works as well.

@OctopusTakopi 🫣 oh that is on my very last thing on my bucket list. I am doing CEXes for now

Binance L3 Order Book Estimator It uses L2 data changes to estimate L3 microstructure in real-time. now features K-means clustering! Now we can see different types of market participants' movements in the order book clearly. Check it out: > github.com/OctopusTakopi/…

@OctopusTakopi Oh that makes sense! Thanks senpai.

@DwarfQuant for the top of ob(top 20), that is correct, for the rest of ob, which needs pre-positioning of the price level, which normally will reduce the utilization rate of funds, not much ppl will do it.

We just open-sourced ‘slang-server’, a SystemVerilog language server that we built for intelligent code navigation and linting across hardware codebases. Our latest blog post breaks down how we work with open source at HRT, and more broadly invest in developer efficiency. It also includes technical breakdowns of how we used the Slang library to build the language server, and how a series of targeted optimizations led to sub-second indexing across thousands of files. Check it out on the HRT Beat: hudsonrivertrading.com/hrtbeat/design…

@OctopusTakopi I thought even for HFT traders too wish their orders sit at the head of the queue. They can bet on their infra and cancel faster than others, therefore it defeats your assumption. Or I am simply wrong.

@DwarfQuant that is just my personal assumption: high-freq trader tend to cancel orders frequently, while low-freq traders don’t adjust their orders as often. In other words, canceled orders are usually more deliberate and strategically placed behind the queue -

@OctopusTakopi Yes I am researching your code. It is just random toilet moment which leads me to post my doubt here.

@DwarfQuant u can adjust the estimation algorithm, my repo is just a demo written in a single day

@yvbbrjdr @rayguo17 感谢

@rayguo17 我可以写一篇article来分析不同viral项目的pattern（

如果你像我一样无聊，开始分析起openclaw爆火那一阵子它的github仓库每小时新增星星的数量，你会得出这样的结论：这完全是机器人刷星的pattern，20万星里面大部分星星其实都是假的。

@cryptotriv Come have sex with CEX buddies

No matter how fast I am, I can never compete with these bundling andies

@sasuke___420 If you want to ~~get rid of him~~ hostile takeover tell him to watch those NGE movies.

i told my cofounder to watch NGE so he can get depression before some sales calls

@sasuke___420 Chinese metal is what ser

i asked in qq for chinese metal and saw this work of art

Hringas, my pure rust io_uring bindings have been published! No libc, no_std - no problem. I've gone ahead and added "safety comments" with what I hope are rust best practices. Eyeballs/feedback/pull requests welcome. docs.rs/hringas/latest…

@OctopusTakopi Thank you very much!

@OctopusTakopi Different timescale? What about Rust :> ? Golang cgo interface seems added on a lot of latency when calling C