Simon Cruanes

icon indicating a website link https://simon.cedeela.fr icon indicating an email [email protected]

icon company Imandra (@imandra-ai) icon location washington DC icon location Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Results 235 issues of Simon Cruanes

use protoc with presence

This should be more compact on the wire, because presence tracking lets us know which fields were not set explicitly so we can avoid writing them entirely. It's also more...

global knob to reduce the number of domains in domain pool

see https://github.com/c-cube/moonpool/issues/41#issuecomment-3517156401 : we might still have to share domains with other libraries, or be on a system where `Domain.recommended_domain_count()` is just wrong. The only way to deal with that...

enhancement

add the `lwt_direct` package, for direct-style control flow

4 comment

This is a WIP, it needs testing, but the fundamentals are here.

using a precursor to lwt_direct for an async backend

this uses a tiny effect-based task scheduler that lives inside of `Lwt_main`/`Lwt_engine` (see [lwt_direct](https://github.com/ocsigen/lwt/pull/1060) for the real deal). A basic benchmark on the trivial `/hello` endpoint: ``` $ wrk -c...

eio backend, second attempt

2 comment

this simply adds a Eio backend to tiny_httpd, for cooperative concurrency.