0xquant | 🔛⛓️

Quant. HFT, Prob ML, HoTT. I'm into fast, complex & formal stuff. be(at) the market.🦇🔊

[0xquant | 🔛⛓️ @mevquant]

code for the animation:

https://t.co/jfOawxydpu

[0xquant | 🔛⛓️ @mevquant]

𝕄anim + @Uniswap arch 🦄

[0xquant | 🔛⛓️ @mevquant]

0x4) what?

[0xquant | 🔛⛓️ @mevquant]

@SagivMooly repo:

https://t.co/nsmilr8Lea

[0xquant | 🔛⛓️ @mevquant]

📑 new paper! (v2)

> formal verification will become inevitable
> advances in refuting conjectures & Erdős problems are just the beginning
> we propose a general framework to understand the math behind this important field applied to finance

https://t.co/AmbAHYF9df

[0xquant | 🔛⛓️ @mevquant]

📑 new paper!

> llms produce more code & maths
> rapidly outpacing human review
> they hallucinate and reward-hack tests, basic evaluation isn't enough
> formal methods are needed to mathematically verify their outputs

https://t.co/EIQoZgNMPk

https://t.co/4i8wTfNBcq

wip

[0xquant | 🔛⛓️ @mevquant]

quote is somewhat of a midpoint between @SagivMooly's and Thanos

[Dan Robinson @danrobinson]

The models are increasingly good at Erdos problems, but some experts like @Qiaoqiao2001 seem to have exceptional skill at prompting

We sponsored him to see how far he could go

He solved six this week, including one that had been studied by Terence Tao

Here’s how he did it:

[whocareslol @whocareslo4730]

@DmitryRybin1 that chat

[Marcel Rød @marcelroed]

Introducing the world's fastest tokenizer implementation, Gigatoken!

Gigatoken is ~500-1000x faster than HuggingFace, and ~100x faster than OpenAI's tiktoken for most tokenizer definitions on most machines.

These baselines are already multithreaded Rust implementations! 🧵

[0xquant | 🔛⛓️ @mevquant]

@Gsnchez https://t.co/lC1gXx2M9b

[0xquant | 🔛⛓️ @mevquant]

📑 new paper!

> llms produce more code & maths
> rapidly outpacing human review
> they hallucinate and reward-hack tests, basic evaluation isn't enough
> formal methods are needed to mathematically verify their outputs

https://t.co/EIQoZgNMPk

https://t.co/4i8wTfNBcq

wip

[0xquant | 🔛⛓️ @mevquant]

@Gsnchez preparando algo que te va a ser muy útil...

[0xquant | 🔛⛓️ @mevquant]

📑 new paper!

> llms produce more code & maths
> rapidly outpacing human review
> they hallucinate and reward-hack tests, basic evaluation isn't enough
> formal methods are needed to mathematically verify their outputs

https://t.co/EIQoZgNMPk

https://t.co/4i8wTfNBcq

wip

[0xquant | 🔛⛓️ @mevquant]

@SagivMooly this is great, congrats to the team!

[0xquant | 🔛⛓️ @mevquant]

@yume_arasaki been limit testing so price has not been that much of a concern (yet), but yes, the intuition is absolutely right.

Council planning on higher thinking models, implementation on cheaper ones, gated by ponytail YAGNI.

Optional, delegation.max_concurrent_children=5 on config.yaml

[0xquant | 🔛⛓️ @mevquant]

current stack:

> https://t.co/xddchhXENP
> https://t.co/fn4tbEKGjA
> https://t.co/7Z4BovYCHW
> https://t.co/3qn66xNrUK
> https://t.co/8DEMjgB9Yn

[0xquant | 🔛⛓️ @mevquant]

@_HMPhysics_

[0xquant | 🔛⛓️ @mevquant]

> The HoTTest Axiom of math: https://t.co/va6Oq51D2Q
> Proofs are Programs: https://t.co/mHRm1kkoJy
> Proof Theory Impressionism: Blurring the Curry-Howard Line by Dan Pittman: https://t.co/KNqGl8QUlS
> Categories for the Working Hacker by Philip Wadler: https://t.co/zyLU2zEbXM

[0xquant | 🔛⛓️ @mevquant]

gem alert
https://t.co/o16XXgBOr0

[Alexandre TL @AlexandreTL2]

So I have been busy these last few months! Happy to present : The Little Book of Reinforcement Learning

[0xquant | 🔛⛓️ @mevquant]

@_HMPhysics_ https://t.co/9BMBv2IoQZ por si te puede ser útil, gratis, estoy justo añadiendo más brainteasers justo hoy y trading games🫡

[0xquant | 🔛⛓️ @mevquant]

@diegoalvarezmgl you can just build stuff, fun times

[0xquant | 🔛⛓️ @mevquant]

📆 xpatcal: A free calendar for expats.

🔗 https://t.co/zUhbUZehiT

> free. forever.
> data stays in your gdrive (no s3, gcs, d1).
> upload receipts, plane tickets, proof of country.
> dashboard with summary & alerts.
> easy browsing.

for xpats, by xpats!

[0xquant | 🔛⛓️ @mevquant]

if enough people use it / want to contribute might be able to add per-country regulations and more granular alerting