English
Introduction to Git: Mastering Version Control
A text version of my one-hour DCE'23 workshop on Git for PhD students, researchers, and developers.
Ideas, observations & working notes
The logbook.
Things I’m learning, building and thinking about.
English
Porto Space Team: lessons from leading E-42
A retrospective on coordinating INVICTUS’s software and computer engineering work: telemetry, simulation, dependable systems and the knowledge a student team leaves behind.
English
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,…
Português
Conhecer a Casa da Música
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.
English
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.
English
GPG Primer
A practical primer on GnuPG: sensible defaults, key management, subkeys, and the agent configuration I actually use.
English
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.
Português
Talk - IndieWeb and Decentralised Social Networks
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.
English
HaP Seminar - A Tour of ActivityPub
A Tour of ActivityPub at Talks@DCC, with slides and notes on the Fediverse, OStatus, WebFinger, ActivityStreams and the Actor model.
English
Participating in EBEC Porto 2019
My team, Eliseu Amaro, Hugo Sales, Yuanxiao Ye, and I have participated on BEST's EBEC Porto 2019!
English
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 …
English
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 …
English
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-administrat…
English
Self-Hosting a Small Production Stack: Linux, Backups, Hardening and Recovery
A technical overview of how I operate my personal infrastructure as a small production stack: Linux services, reverse proxying, encrypted storage, backups, recovery testing, monitoring, automation and hardening.
No notes match your search.