Dwarf Quant

Watching the world through the spread of orderbook

[Math, Inc. @mathematics_inc]

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:

[Marini @GyaruGlow]

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

[Dwarf Quant @DwarfQuant]

@OctopusTakopi Thank you ser

[Dwarf Quant @DwarfQuant]

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

[Dwarf Quant @DwarfQuant]

@OctopusTakopi This is running on generic mode I presumed?

[Dwarf Quant @DwarfQuant]

@brainrotpostig @sasuke___420 yo senpai look at this

[Dwarf Quant @DwarfQuant]

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

[Dwarf Quant @DwarfQuant]

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

[Dwarf Quant @DwarfQuant]

@OctopusTakopi Oh that makes sense! Thanks senpai.

[Hudson River Trading @WeAreHRT]

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: https://t.co/UNSXtrCkXD

[Dwarf Quant @DwarfQuant]

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

[Dwarf Quant @DwarfQuant]

@yvbbrjdr @rayguo17 感谢

[Dwarf Quant @DwarfQuant]

@cryptotriv Come have sex with CEX buddies

[Dwarf Quant @DwarfQuant]

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

[Dwarf Quant @DwarfQuant]

@sasuke___420 Chinese metal is what ser

[Lewis Campbell @LewisCTech]

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.

https://t.co/yph6pLlAPe

[Dwarf Quant @DwarfQuant]

@OctopusTakopi Thank you very much!

[Dwarf Quant @DwarfQuant]

@OctopusTakopi Different timescale? What about Rust :> ?

Golang cgo interface seems added on a lot of latency when calling C