@PuercoPop Also kudos go to rme for managing the whole thing from the maintenance point of view, and to Matt Kaufmann for testing the changes against ACL2 that he helps maintain.
@PuercoPop It's not just me - pfdietz also did his share of work by extending https://github.com/phoe/package-local-nicknames-tests to help test implementations in general.
Once upon a time, FOSS enthusiasts were so concerned about Microsoft, that they recommended everyone use GMail and Google Apps.
Today the same crowd hates Google, so they recommend $SERVICE instead...
As long as $SERVICE is a provider in the cloud, on somebody else's computer, I'm shaking my head.
Many of the things being recommended are even more proprietary and locked-down than Google's stuff is!
Fighting monopolies is good. But don't lie to yourself that this helps software freedom.
Dumping Common Lisp streams
Idea for how to set up your own personal pastebin:
1. Make /var/www/pastes/ on server.
2. Points paste.yourdomain.com at server.
3. Have nginx serve content of /var/www/pastes/.
4. alias paste=$'ssh paste.yourdomain.com \'cat > paste && mv paste /var/www/pastes/`sha1sum paste | cut -d" " -f1`\''
That's it that's the pastebin.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!