Johannes Rosenberger
Johannes Rosenberger
Hi! I am excited to see a formal proof lib for information theory! If I manage to find the time, I will try to apply it to some proofs about...
As far as I see, there exist no client applications apart from the frontend javascript app. I am thinking about self-hosting a cryptpad, it looks like what the world needs,...
pdftotext (https://www.xpdfreader.com/pdftotext-man.html, https://pypi.org/project/pdftotext/) could be used for PDF text extraction. I don't know whether the latter wraps the former or is something else. Also for many formats [pandoc](https://pandoc.org/) could be...
* papis version 0.10 Papis should handle the case where no config file exists correctly. Also, it should handle the exception that the library does not exist and not annoy...
It would be really handy if astroid allowed to give a query on the command line. If the query is a message id (`id:*`/`mid:*`) or a `file:*` it should then...
According to (and config.cc), astroid does not use Maildir properly: E.g., thou shalt NEVER inject a message into /cur/! A message shall be written to /tmp, then moved to /new....
In https://github.com/Uberspace/lab/pull/1196#issuecomment-1103807417, @nichtmax announces that the LibreOffice guide might eventually be removed because it is complex and causes much support load. When I created the guide, it had been requested...
Solves #3 and #16 as good as dune allows: Dune doesn't give access to the install prefix itself (see, e.g., ocaml/dune#1534). This PR makes the install prefix configurable 1. via...
Or can every patoline document do everything any ocaml code can do? Unrestricted I/O is a security risk. Was this considered and regarded as of minor importance? If yes, why?
Hi, great project! knowing almost nothing about the code stucture, yet, I would like links to the function definitions in the docs, e.g. as in the [nixpkgs manual](https://nixos.org/manual/nixpkgs/stable/#chap-functions). I feel...