Viewing profile — lpage

WFQueue isn't handing out &T, so Send is sufficient: unsafe impl Sync for WFQueue {} unsafe impl Send for WFQueue {}

https://archive.is/mGsFm

As an auction theorist who's biased towards putting things in auctions and as an operator who's been through the venture investment process several times, I'm biased in wanting a m…

Your mention of Futamura Projections was a nice reminder of how very mathy/theoretical foundations underpin Nice Things in high-level languages, like Hindley–Milner inspired type s…

Maelstrom [1], a workbench for learning distributed systems from the creator of Jepsen, includes a simple (model-checked) implementation of Raft and an excellent tutorial on implem…

This thread [1] covering the 2020 Prize in Economic Sciences, awarded to Paul Milgrom and Bob Wilson for their improvement of auction theory, is a good read. Vickery Auctions are o…

Joshua Bloch did a great post [1] on how nearly all standard library binary searches and mergesorts were broken (as of 2006) due to this exact issue. The punchline is that the bugs…

Imandra [1] has an excellent literate programming walkthrough that hits on the same issues and plugs the holes one by one using formal methods, ultimately proving merge sort correc…

The source itself is commercial AGPL v3.0. I'm guessing that this was an accident so I opened https://github.com/quickwit-oss/chitchat/issues/42 to clarify.

> let's say hypothetically you create a market for "+100 FB shares, -500 SNAP shares". If everyone is competing on price to quote that combination, that creates the most competitiv…

> Congrats on the launch! What are the main benefits of this approach compared to creating additional combo (multi-leg) products on existing exchanges? Thanks! There are two main d…

> Are you expecting to only support institutional investors or retail order flow as well? We don't segment the market at all or exclude subscribers (beyond requiring that they're F…

Thanks! We found that the "UX" aspect of fitting squarely into existing workflows to disrupt without disrupting is key—as is how we message the product. Both our focus on solving s…

This is a significant tailwind for the next wave of electronification that we're hoping to advance. US swap dealers, for example, now have a SEF reporting requirement, but most of …

> How do you deal with best execution obligations for the "legs" of your trades? Excellent question. Each leg of the trade comes in as an individual limit order with a price/quanti…

Thanks! We're quite fortunate in that we always knew roughly where we needed to get to from a technical, business, and regulatory standpoint, so actually getting there was just a l…

Thanks! I'll say that a key design goal of ours is to make it so that PMs/asset managers/execution traders running complex books don't have to think about microstructure. Today's m…

Anything involving the phrase "better price" is a regulatory sensitivity, so please forgive the specificity of this answer. It's possible but not guaranteed that both the buyer and…

Thanks, and with you 100%. That's why we've invested heavily in a more technically challenging for us but better for the end-user approach to Expressive Bidding. It's also worth no…

To clarify, 1T isn't what we're claiming as our revenue opportunity; it's what traders are missing out on annually in the form of portfolio returns due to market friction and misse…