Michael Nedokushev

proof2' doesn't pass type checking

2

Hi, I've been starting to read the book, and I can't get a code working: ``` agda proof₂′ : (A : Set) → A → A proof₂′ _ x =...

The latest version of Nuget

8

Hi, I've encountered the problem with installing System.Security.Claims >= 4.0.0 because it requires Nuget >= 3.0. So, I'm wondering why there is no the latest (3.4.4.1321 - the latest for...

PR to address the issue: https://github.com/zio/zio-telemetry/issues/585 # Changes - `opencencus` and `opentracing` have been migrated to module pattern 2.0 (`opentelemetry` was migrated in https://github.com/zio/zio-telemetry/pull/578) - Migrated examples - Added `Trace`...

I think there left a few things to improve to fully migrate to module pattern 2.0: - make in the next version all accessors deprecated in all modules - migrate...

Ember and Blaze backends suffer from sudden response time spikes along with broken timeout

6

We've noticed a strange behavior on our stage environment under regular performance tests. Suddenly a bunch of requests hangs up for a significantly long time (bigger than configured timeouts and...

Use zio-theseus as a reference to integrate zio-opentelemetry with a doobie, kafka, grpc, etc.

8

The library: https://github.com/pierangeloc/zio-theseus Related issues: - https://github.com/zio/zio-telemetry/issues/744 - https://github.com/zio/zio-telemetry/issues/739 - https://github.com/zio/zio-telemetry/issues/728 - https://github.com/zio/zio-telemetry/issues/722 - https://github.com/zio/zio-telemetry/issues/751

OpenTelemetry: DataDog all-in-one example

4

Currently we provide an example of Jaeger tracer usage in `opentelemetry-example`. There is a demand to add the example of DataDog tracer usage too. It would be good to make...

- [ ] ZIO log annotations to OTEL metrics attributes - [ ] ZIO metrics to OTEL metrics Part of #558

Related: - https://github.com/zio/zio-telemetry/issues/714 The following comment contains an example of how to initialize gRPC auto instrumentation: https://github.com/scalapb/zio-grpc/issues/544#issuecomment-1683982246