Profpatsch

Results 462 comments of Profpatsch

Whoa, I’m not even using vim anymore. :P

We took over maintainership and the new repo is at: https://github.com/rss2email/rss2email

I feel like the best solution here would be to wrap every `inSpan` function in `withFrozenCallStack` and just use the frozen call stack directly here. No weird heuristics necessary if...

I did that in https://github.com/iand675/hs-opentelemetry/pull/139 (WIP) and it looks like it leads to better results.

> Do you have a problematic case in mind? https://github.com/iand675/hs-opentelemetry/blob/967ba859169978add5c6c82b6ab39ff789fbedd8/api/src/OpenTelemetry/Trace/Monad.hs#L60-L86 These provide another layer of wrapping, which kinda breaks the “upwards counting” of `callerAttributes`. Update: now that I look at...

Wow, such an important feature and the only way to solve it is via an undocumented hack. Why not just use a json object printed on one line, which can...

> As I recall, the IDE engine is more duct tape around the status quo. As long as IDE engine provides a consistent API on what editors can expect (that...

> You can think of SLURP as an authoritative URL-shortening service for packages. No, please. This implies moving from a single point of failure with high pressure for availability (hackage)...

> If lorry makes the shell update to the new `coqc`, then it will produce `.vo` files that I can’t read from `coqide`. So now I am forced to close...