I am looking into possible alternatives to Netlify and saw Grebedoc. That looks interesting, but the one single thing I do with Netlify beyond hosting static pages is having a contact form with a honeypot. It is really simple: "fill out these fields and it will send me an email".
Does anyone have any suggestions or am I locked into Netlify?
check out how quickly #GitPages (and #Grebedoc) can check out a giant git repository without any changes!
if supported by the server, it retrieves only a single tree from git (no other branches, no tags, no history, no file contents), backfills it from the existing site contents, and then pulls in any missing files from the git server on-demand
this lets you publish very large repositories as static sites without straining network and compute (for compression, etc) resources!
This week I revived an old github project and migrated it to codeberg: https://codeberg.org/jepler/ProvenDelights
Long ago I had hoped to write "proofs" for many of the programs in the book Hacker's Delight using cbmc. I only got a few done and archived the project.
cbmc is neat for this because, when it CAN prove a result, it proves it about a C program with full C semantics not just (for instance) abstractly on the integers.
A few days ago a friend nerd-sniped me into writing a certain function and I wanted to make sure it was correct. ProvenDelights had all the infrastructure to help me do that so I dusted it off and added two new proofs. Then I went ahead and migrated it from github pages to grebedoc as well, and transitioned from asciidoc to asciidoctor. tl;dr now the small set of proofs can be read at https://jepler.grebedoc.dev/ProvenDelights/
(2/3) For those curious about the technical side: we are using #MkDocs to build the website inside #WoodpeckerCI on #Codeberg and push the resulting HTML to #Grebedoc.
We want to thank all the developers of these tools and we want to thank @Codeberg and @whitequark for the hosting of code and website.
As always in this #FOSS world: we build on the work of others to get much further much faster than we could have gone alone and we are so grateful for the FOSS community for making this possible!
I've moved another project of mine to codeberg, and also I'm hosting its pages using grebedoc.
It's an anagram helper that can run in your web browser. Live version: https://jepler.grebedoc.dev/anagram/ Source: https://codeberg.org/jepler/anagram
Paul Rosen
✧✦Catherine✦✧
Stylus
Izzy