Thi Thu Ha Doan
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Peter Thiemannonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The State of Compilation Database in Bazel | BazelCon 2024 | 2024-10-14 |
Compares four concrete ways to produce compile_commands.json for Bazel: running a capture tool like Bear (requires client mode or disabling sandbox and a real… | ||
| A Typed Programmatic Interface to Contracts on the Blockchain | APLAS 2021 | 2021-10-17 |
Defines a concrete, type-safe interaction between OCaml programs and Tezos contracts and proves preservation and progress for that execution model. Provides a… | ||
| nothing matches | ||