What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

1

Hello everyone and welcome to the NetLdn fediverse / Mastodon account!

This account will be primarily automatically cross-posting whatever is posted on bluesky

If you don't need to know NetLdn, come down and meet us on typically the second Thursday of every month, before going you should go and check the website https://netldn.uk to see where we are, and what is being presented!

0
0
0
0
0
0
0
1
1

For some reason I am going to find out tomorrow, my about-to-be 16-year son asked me to explain this paper to him:

Round-Based Public Transit Routing
microsoft.com/en-us/research/w

Of course I don't understand this paper because I haven't read it yet.

I promised to have a look at it together tomorrow (it is 10pm now).

But we had a preliminary look together.

For instance, there is a definition in Section 2, preliminaries, of a certain 5-tuple. I tried to begin explaining to him what all that means, and this worked to some extent with him, but we will continue tomorrow when I have a clearer head earlier in the day.

In any case, I want to say this. If my Computer Science students learning Agda manage to write down in Agda the definition given in the first paragraph of Section 2 (preliminaries) precisely, I will be very happy.

(I will be even happier if they can reason with it in their head and/or Agda, even more with respect the algorithms described rigorously in that paper.)

0
0

Street Art Utopia shared the below article:

Made It Funny Again (8 Photos)

STREET ART UTOPIA @streetartutopia@streetartutopia.com

Life is better when you have a reason to giggle. These 8 pieces of art show that a little imagination can turn a boring sidewalk into a playground. Street art does not always need to be deep or serious. Sometimes the best art is the kind that makes you stop and smile. We have collected 8 funny and creative artworks that prove the world is full of surprises if you just look down. More: Funny Signs (20 Photos) 🦖 1. Mailbox Monster — Damon Belanger in California Even the mail deserves a […]

Read more →
0

Hello everyone and welcome to the NetLdn fediverse / Mastodon account!

This account will be primarily automatically cross-posting whatever is posted on bluesky

If you don't need to know NetLdn, come down and meet us on typically the second Thursday of every month, before going you should go and check the website https://netldn.uk to see where we are, and what is being presented!

0
0
1
1
0

Made It Funny Again (8 Photos)

STREET ART UTOPIA @streetartutopia@streetartutopia.com

Life is better when you have a reason to giggle. These 8 pieces of art show that a little imagination can turn a boring sidewalk into a playground. Street art does not always need to be deep or serious. Sometimes the best art is the kind that makes you stop and smile. We have collected 8 funny and creative artworks that prove the world is full of surprises if you just look down. More: Funny Signs (20 Photos) 🦖 1. Mailbox Monster — Damon Belanger in California Even the mail deserves a […]

Read more →
0
1
1
0
0
0
1
1
Wie ein Schatten im Schnee. 🖤
Ein schwarzes Pferd im tiefen Schnee ist der Inbegriff von Eleganz. Schwarz auf Weiß ist ein Kontrast, der keine Worte braucht, um zu beeindrucken.

  #Nature #pferd #horse #animal #schwarzweiss
#bnw  #monochrome  #schwarzweissfotografie   #blackandwhite #Outdoors #minimalism #minimal
#black #white  #bw #bnwmood  #germany #winter
#landschaftsfotografie #fotografie #photography
0
1
1
0
0
0
0
3
0
0
0
0
0
0
0
0
0
1
2
0
0
0
0

Moved instance, so time for a new !

I'm Alex and I have a PDA problem.

In 2018, after 16 years of using various portables, I decided to try my hand at developing hardware and software for my beloved Series 3c to help me with journalling and creative writing.

6 years and repeated sidequests later, I've ended up doing a lot of research into the SIBO/EPOC16 platform, and done my best to document it when I can. I've also nudged former developers into open sourcing their old Psion apps.

My current main projects are:

  • , an -based USB drive for SIBO SSDs.
  • Rewriting the Psion SIBO (16-bit 8086) C SDK, including updating the docs (with ) and rewriting the original DOS tools as FOSS apps. I'm currently using to create a drop-in replacement for , the Psion OO C preprocessor. (I want to eventually write a new compiler targeting EPOC16. Eventually.)
  • Anything else that tickles my bouncy brain.

Outside of , I'm your common-or-garden British nerd. I'm a Linux user - mostly Arch, but I dabble with others. I also like a bit of and I'm planning on giving a go very soon.

I used to be a senior computer monkey, specialising in on-prem SME infrastructure (I lament the loss of vSphere). Now I train others to become computer monkeys (for better or worse). As a result, sometimes you'll see me wrestling with old Cisco ASAs, Ubiquiti APs, or modded kit running .

Generally, I like making things do stuff, especially if it's stuff that the thing wasn't originally designed to do.

Photo of a fully constructed PsiDrive 0.0.1, including a Raspberry Pi Pico mounted on top. There is a SIBO solid state disk (SSD) plugged into the 6 SIBO-SP pins. A microUSB cable is plugged into the Pico. To the left of the PsiDrive is 128K Flash Psion SSD.A photo of my stand at the Festival of Portable Computing (early 2024) at the Centre for Computing History, Cambridge, UK. On the table is a selection of Psion devices, including various SIBO/EPOC16 devices (Series 3/3a/3c/3mx, Workabout, Siena, MC400), a few EPOC32 devices (Series 5/5mx), a few PsiDrive boards, many SIBO SSDs, some boxed software. There is also an Amstrad NC100, a Microwriter MW4, an Acer netbook and a 2009 iMac. The Acer and iMac are running Haiku. The iMac is running the MAME-based Psion SIBO emulator.A screenshot of a KDE Plasma desktop, running on Arch Linux. The main window in the background is Konsole running an SSH session to a Haiku box, which is running tmux. In the foreground is a Remmina window, connected a VNC session on the Haiku box. On the Haiku desktop, three copies of the MAME-based Psion emulator are running - a Series 3, a Siena and a Series 3mx. The 3mx is running the game "Horace In THe Mystic Woods."A screenshot of KDE Plasma running on Arch Linux. The background window is Kitty running tmux. In the main tmux pane is NeoVim showing some CTRAN-ng source code, written in Object Pascal. In the smaller pane on the right is CTRAN-ng's help output. In the foreground is a copy of DOSBox Staging, also showing CTRAN-ng's help output. Both have been compiled with Free Pascal.
0
0
0
0
0
0
0