Josias @josias@theres.life

Announcement:
Kingdompod.com (the Matrix homeserver), has been taken down indefinitely due to data corruption and will likely never be started up again.

However, I am still interested in hosting a Matrix homeserver, so you may be able to get a theres.life Matrix account sometime. 😉

Sorry for the inconvenience.

#TheresLife

More work on #Heb12 today. We are now working on the new design. We don't have much at the moment, but here's a picture to demonstrate.

The new Bible format for #Heb12 should make it possible to distribute higher quality copies of the Bible in various translation.

I am considering setting up an email server for #TheresLife. If I did, it would be invite-only, requiring you to ask for an account first.

You'd be able to get a @theres.life or @kingdompod.com address.

Does anyone like that idea?

Working on a new Bible format for Heb12.

https://code.heb12.com/heb12/bibleformat

The link is broken. Sorry about that. Here is the fixed one: https://josias.dev/posts/quarantine-day/

Quarantine Day - a day to remember the struggles of social isolation.

https://josias.dev/quarantine-day/

#COVID19 #corona #quarantine #SocialDistancing

I just realized the implications of having over 5000 characters at my disposal for toots on #TheresLife...

You can get a *lot* in 5000 characters. Including the new blog post I am writing.

I've been helping out writing some Rust code for the Conduit Matrix server.

https://conduit.rs

https://codeberg.org is a great git-hosting website. Thanks so much for hosting it @codeberg!

Is there such a thing as "Login with Mastodon"? It would be pretty easy to make I think.

I am taking it one step at a time. Right now I am figuring out the logic of the game itself. Then I will have to connect it to a database and provide an API. Then comes the front end (which won't be written in Haskell of course).

I am making an online card game in Haskell. I am still a beginner in the language, so I have a pretty steep learning curve ahead of me.

I am starting to study literate programming, and am using a tool called enTangleD for it.

Basically literate programming is where you explain your program for a human rather than a computer. You have text files that have code snippets that are "tangled" into a file for the computer to use.

Here is some literate code I just wrote:
https://codeberg.org/josias/rccat/src/branch/master/rccat.md

This has some more good information on the subject: https://entangled.github.io

The Chosen is a new series about the live of Jesus. It is very good so far. I would recommend watching the first episode to see how you like it.

https://invidio.us/watch?v=Vyv1W-hsmx8

#Jitsi has been trending for a while now. I guess everybody is enjoying talking about some of the best user-respecting video conference software. 🙂

Learning Haskell.

https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours/

I have been working on setting up a Matrix homeserver. I will reuse the kingdompod.com domain for that. I am sure that will be useful to both my friends and family and those on theres.life

#Jami is working very well for audio/video calls. I highly recommend it.

I just did an online Bible study with it and it worked smoothly for the most part.

Good day! How is everyone?