💾 Archived View for gemlog.blue › users › jiaming › 1607617734.gmi captured on 2022-04-28 at 20:04:26. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
10/12/2020 (Things i learned)
- stdout and stderr are separate streams! redirect both.
- familiarise with components which make a server work
- got https://tupaiapi.site running!
- plan short term TO-DO (primrec and metamath)