Kuba Migdał

Race condition when running two elixir scripts in the same unix pipeline

7

### Elixir and Erlang/OTP versions ```console root@13f3f753ab50:/workspace/membrane/mix_cache_mre:λ> elixir -v Erlang/OTP 26 [erts-14.2.1] [source] [64-bit] [smp:5:5] [ds:5:5:10] [async-threads:1] [jit] Elixir 1.15.7 (compiled with Erlang/OTP 24) ``` ### Operating system Debian 12...

Different tools do not share a GHCup installation

1

My use case is I want to use HLS with Stack simultaneously, but it is recommended for HLS to be installed via GHCup rather than Stack, hence my issue when...

[pyreverse] updated docs for filter-mode

3

## Type of Changes | | Type | | --- | ---------------------- | | | :bug: Bug fix | | | :sparkles: New feature | | | :hammer: Refactoring |...

[pyreverse] Dunder methods in diagrams

1

### Current problem I'm using pyreverse to visualize the structure of sympy which is a fairly large project, with a lot of relations modelled by classes, but also some functionality...

Recently developed software that makes use of refinement types?

2

Hi, I think it's safe to mark this issue as [question] I was wondering if a list of projects utilising `liquidhaskell` is maintained anywhere, I am really curious about how...