London, UK


PhD student at the Smart Robotics Lab in Imperial College London.


Last active 6 months ago


Last active 6 months ago


Last active 6 months ago


Last active 1 year, 11 months ago
View more

Recent activity

[PATCH harelang.org] style: uppercase must 2 months ago

From Sotiris Papatheodorou to ~sircmpwn/hare-dev

Signed-off-by: Sotiris Papatheodorou <sotiris@papatheodorou.xyz>
 content/style.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/style.md b/content/style.md
index 85f769e..69c8757 100644
--- a/content/style.md
+++ b/content/style.md
@@ -300,7 +300,7 @@ type my_union = (...my_results | ...my_errors);

1. Tuple types may be specified in either a single-line or multi-line style. If
   the type would fit on a single line within 80 columns, the single-line style
   must be used.
[message trimmed]

[PATCH harelang.org] intro: fix typo in slices continued 2 months ago

From Sotiris Papatheodorou to ~sircmpwn/hare-dev

Corrected "with the with `..` operator" to "with the `..` operator" and
reformatted the text.

Signed-off-by: Sotiris Papatheodorou <sotiris@papatheodorou.xyz>
 content/tutorials/introduction.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/content/tutorials/introduction.md b/content/tutorials/introduction.md
index e2c89bf..fe0922f 100644
--- a/content/tutorials/introduction.md
+++ b/content/tutorials/introduction.md
@@ -429,11 +429,11 @@ sections:
[message trimmed]

[pages.sr.ht] Support for the finger protocol 5 months ago

From Sotiris Papatheodorou to ~sircmpwn/sr.ht-discuss

Would support for the Finger protocol be a desirable feature for 
Sourcehut pages? Users could upload a tarball containing a single text 
file which would then be available on finger://USERNAME.srht.site

[content] Good non technical capsules? 10 months ago

From Sotiris Papatheodorou to ~adnano/gemini

On 16 Sep 2021, Andrew Thorp wrote:
>While I like a good technical blog as much as the next software
>engineer, does anyone know of
>some good non-technical capsules ? In particular I enjoy reading about
>hiking, gardening, and
>photography. I don't mind if the capsule contains technical content,
>but it's nice to read something
>softer. Technical content is especially okay if it's low-power or
>off-grid tech :)

[users] Gemini client for the Kindle 4 NT 11 months ago

From Sotiris Papatheodorou to ~adnano/gemini

Hi all,

I have released my hacked-together Gemini client for the Kindle 4 
non-touch. It uses a modified version of the Gneto proxy to allow 
browsing Gemini from the Kindle's built-in browser. Get it from here:


I've been using it regularly for a couple of months without issues. 
Client certificates work too. The main issue is the setup which is 
somewhat involved but I plan to release a Kindle update package later 
which will be much more straightforward to use.

Best regards,

[request][retro] Gemini clients for windows 95, DOS, etc 1 year, 2 days ago

From Sotiris Papatheodorou to ~adnano/gemini

I just realized my reply was only sent to Luke and not to the list. 
Posting here for future reference.

On 06 Aug 2021, Alex // nytpu wrote:
> Possibly wouldn't be too hard to port to a kindlet for jailbroken 
> Kindles or something?

I tried creating a Gemini browser as a Kindle Java app (Kindlet) but
turns out Kindlets can only make HTTP and HTTPS requests. Requests to 
any other port are blocked. The SSL/TLS libraries are also rather old so 
I doubt they will work with most Gemini servers. Most HTTPS websites 
can't be accessed. The only solution seems to be running a proxy on the 
Kindle, in which case you might as well use its browser for rendering.

(f)eLinks, Gemini and The XML Bookmark Exchange Language (XBEL) 1 year, 1 month ago

From Sotiris Papatheodorou to ~adnano/gemini

Hi Jonathan,

On 29 Jun 2021, Jonathan McHugh wrote:
> However, are there any people in the Gemini community currently:
> * Absorbing a lot of XML data in order to generate .gmi content?
> * Grapping .gmi content and extracting it into XML.

Amfora [1] uses XBEL to store bookmarks but that's where its usage of 
XML ends as far as I know. Not sure whether this is what you're looking 
for though.

[1] https://github.com/makeworld-the-better-one/amfora

> I would assert that migrating data from HTML centric bookmarking to 

[PATCH] Add microwave omelet recipe 1 year, 4 months ago

From Sotiris Papatheodorou to ~martijnbraam/fathub

 recipes/sotirisp/microwave_omelet.yml | 66 +++++++++++++++++++++++++++
 1 file changed, 66 insertions(+)
 create mode 100644 recipes/sotirisp/microwave_omelet.yml

diff --git a/recipes/sotirisp/microwave_omelet.yml b/recipes/sotirisp/microwave_omelet.yml
new file mode 100644
index 0000000..3ed7288
--- /dev/null
+++ b/recipes/sotirisp/microwave_omelet.yml
@@ -0,0 +1,66 @@
name: Microwave omelet
author: Sotiris Papatheodorou <sotirisp@protonmail.com>
created: 2021-04-08
[message trimmed]

[PATCH] Demonstrate that I can use git send-email! 1 year, 10 months ago

From Sotiris Papatheodorou to ~sircmpwn/email-test-drive

 sotiris | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 sotiris

diff --git a/sotiris b/sotiris
new file mode 100644
index 0000000..b4380e4
--- /dev/null
+++ b/sotiris
@@ -0,0 +1 @@
I'm about to try git send-email!
[message trimmed]