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

4

## 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...

Update docs to reflect official stack support for arm64

1

https://hub.docker.com/_/haskell/ and the README both assure that stack+arm64 are not yet supported, but the issues they reference look to be all resolved. Is it time to update the docs to...

add Dockerfile

9

Closes #962 Here's what I hacked up - some tests fail, is that a known issue? I was thinking about a simple GH action to build + test the image,...

Dockerfile (as an alternative to web demo)

1

Currently, it seems the main [playground link](https://flux.programming.systems/) doesn't work :( I was planning to try out flux for a project and since I use docker or nix for dev envs...