Some congruences related to a congruence of Van Hamme

We establish some supercongruences related to a supercongruence of Van Hamme, such as \begin{align*} \sum_{k=0}^{(p+1)/2} (-1)^k (4k-1)\frac{(-\frac{1}{2})k^3}{k!^3} &\equiv p(-1)^{(p+1)/2}+p^3(2-E{p-3})\pmod{p^{4}},\ \sum_{k=0}^{(p+1)/2} (4k-1)^5 \frac{(-\frac{1}{2})_k^4}{k!^4} &\equiv 16p\pmod{p^{4}}, \end{align*} where $p$ is an odd prime and $E_{p-3}$ is the $(p-3)$-th Euler number. Our proof uses some congruences of Z.-W. Sun, the Wilf–Zeilberger method, Whipple’s ${}_7{F}_6$ transformation, and the software package {\tt Sigma} developed by Schneider. We also put forward two related conjectures.