-
I am using https://github.com/SofusA/roslyn-language-server (which basically wraps the microsoft roslyn lsp server since sublime lsp doesn't support named pipes yet) for C# but there are no diagnostic…
-
### Is your feature request related to a problem? Please describe
Youtube doesn't let you choose the default audio language for videos, so, despite you know the original language of the video, it def…
-
Add a screen and route for a screen displaying Janka hardness values.
-
if file name is toto.titi.tutu.extension the HTML link will be /toto instead of toto.titi.tutu
-
### Is your feature request related to a problem?
The definition of `List.rev` in the standard library is quadratic :
```Coq
Fixpoint rev (l:list A) : list A :=
match l with
| [] => []…
-
Add notive in README, that this code might look not well written to people better aware of rust. I am still learning it and may have the same look at my code in two years.
-
### Output of `bubblejail --version`
0.9.3
### Your distro name and version
arch
### Description
Hello!
I noticed that every sandbox can always access X, even when it shouldn't. By creating a …
-
In [`89458eb`](https://github.com/Woomymy/status/commit/89458ebfac8844575d48600a64e6076d92fee04c
), FreshRSS (https://rss.woomy.be) was **down**:
- HTTP code: 0
- Response time: 0 ms
-
In [`c7b9206`](https://github.com/Woomymy/status/commit/c7b9206ff04bbd0f0b9b9dab4aef60042c9a1db8
), Bitwarden (https://bitwarden.woomy.be) was **down**:
- HTTP code: 0
- Response time: 0 ms
-
In [`04a272e`](https://github.com/Woomymy/status/commit/04a272ef5de1fb9aacd65d3e70b2c995a3666d89
), Gitea (https://gitea.woomy.be) was **down**:
- HTTP code: 0
- Response time: 0 ms