Diogo Peralta Cordeiro

Logbook

Notes worth keeping.

Technical writing on software, systems, open standards and applied research, with the occasional note from elsewhere.

Atom feedWork archive

2023

  • Introduction to Git: Mastering Version Control

    A text version of my one-hour DCE'23 workshop on Git for PhD students, researchers, and developers.

  • Dependable Computing: How to Build Systems That Can Be Trusted

    An introduction to dependable computing: how to design software and embedded systems that remain trustworthy under faults, timing constraints, degraded conditions, and real-world uncertainty. Covers real-time guarantees, RAMS, FMECA, FDIR, redundancy, safe modes, memory, observability, testing, and engineering discipline.

2022

  • Getting to know the Casa da Música

    The following is a portfolio of reflections I wrote for the course Music and Society by Casa da Música and U.Porto/FEUP.

  • Conhecer a Casa da Música

    pt

    Este documento é uma compilação das reflexões que escrevi para o curso Música e Sociedade pela Casa da Música e U.Porto/FEUP.

2021

  • GPG Primer

    A practical primer on GnuPG: sensible defaults, key management, subkeys, and the agent configuration I actually use.

  • SoulMate Roulette

    For Competitive Programming (CC3036) at the University of Porto I got to write a few problems, and this one — SoulMate Roulette — is my favourite.

  • Talk - IndieWeb and Decentralised Social Networks

    pt

    Nesta palestra vamos introduzir a IndieWeb e os seus princípios chave. Será dado aqui um foco especial às redes sociais descentralizadas e distribuídas.

2019

  • HaP Seminar - A Tour of ActivityPub

    The seminar went well and the resources used are now available at: https://www.diogo.site/projects/ActivityPubseminar/ Some photos of the seminar: https://hackersatporto.com/seminars/a-tour-of-activitypub/details.html

  • Participating in EBEC Porto 2019

    My team, Eliseu Amaro, Hugo Sales, Yuanxiao Ye, and I have participated on BEST's EBEC Porto 2019!

  • What is the Fediverse?

    The fediverse, a portmanteau of "federation" and "universe", is part of the IndieWeb and consists of a decentralised social network that started with GNU social. Nowadays there are various pieces of software, other than GNU social, in the fediverse, like Pleroma and Mastodon, …

2018

  • GSoC 2018

    While searching about self-hosting services and some kind of distributed social network I found GNU social, a federated social network. GNU social wasn't in its most active year and I thought about helping them out as I had some experience with PHP! I had also recently read ab…

  • UNIX

    In this document, a overview of modern Unix-like systems is presented. These are my study notes when learning about Linux, they are largely based on https://documentation.suse.com/sles/15-SP4/single-html/SLES-administration/ and https://www.cl.cam.ac.uk/teaching/2122/UnixTools/.

2010