Ishan Bhanuka

Initial implementation for Raft

2

This a first draft of Raft on DPC. I raised this PR to get some initial feedback on this implementation. ### TODOs There's still some subtlety to be added. Mostly...

Hi, I encountered a number of a issues in trying to build and install the binaries. Still there are a few issues in getting it to work. This is a...

## 📖 Documentation I faced this small issue as a newcomer to `fp-ts`. Data types (e.g. Maybe, Option) and type classes (e.g. Functor, Monoid) live at the same hierarchical level...

DynamoDB paginator fails when partition key is of type number

9

**Describe the bug** [Pagination](https://boto3.amazonaws.com/v1/documentation/api/latest/guide/paginators.html) for dynamodb fails when the partition key is of type number. This happens because the returned LastEvaluatedKey is of type `Decimal` and it cannot be json...

Docker image for making TLA+ tooling easily accessible

6

I've followed the [TLA+ video course](http://lamport.azurewebsites.net/video/videos.html) and gotten a chance to attend a TLA+ workshop conducted by @lemmy. The video course recommended installing the standard TLA+ toolbox which was good...

Porting persistence layer to Rust

6

This issue is to track the discussion and PRs for this large-ish port of the persistence layer into Rust. ## Parquet layer In the parquet layer, the key component here...

[feature] Directly integrate tldraw diagram into markdown file by exporting many figures as images

1

This is a rather bulky feature request for a convenient workflow and may not fit well with tldraw's minimalist theme (which I really like btw). Still I'll share my use...

[dynamodb] Query input parameter validation error with paginator

3

## Describe the bug The query input is working when using just the client but failing for paginator. ``` TypeError: Cannot read property '0' of undefined at Object.AttributeValue.visit (./node_modules/@aws-sdk/client-dynamodb/models/models_0.ts:6296:36) at...

### What's the feature? I noticed that this issue from the v1 repo was "closed as completed" recently - https://github.com/tldraw/tldraw-v1/issues/104. The idea is to make it easy to integrate tldraw...

### Discussed in https://github.com/tokio-rs/tracing/discussions/2676 Originally posted by **twitu** August 7, 2023 I'm trying to filter for events that have a given field value pair irrespective of their target and span...