/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 shibumi.dev
New Caddyfile and more
| | btxx.org
Hosting Multiple Websites Under One NearlyFreeSpeech Site
1.9 parsecs away

Travel
| |
| | www.tumfatig.net
TuM'Fatig - Self-Hosted SearXNG instance on OpenBSD
2.3 parsecs away

Travel
| | Some time ago, I discovered and used searx on OpenBSD . This worked quite well but there were a few annoying bugs that I couldn't solve. Mainly using OpenSearch with Firefox and timeouts with some Big Tech search engines. After struggling enough, I decided to switch to SearXNG . It has some cons compared to SearX but, regarding my needs and beliefs, the pros win.
| | tricht.eu
Migrating Caddy v1 to v2 using Caddyfile
2.1 parsecs away

Travel
| | I like using Caddy as a HTTPS server with automatic SSL certificates using Let's Encrypt. With a few configuration lines you can get up and running in no time. Recently I switched VPS providers and ended up having to migrate Caddy from v1 to v2. The documentation for Caddy is wonderful and chockful with emojis. The getting started tutorial starts by telling you how a Caddyfile looks like in v2, where my confusion started. As I mostly need reverse proxies, the very first example there looks like this:
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. ยท GitHub
3.5 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.