💾 Archived View for gemlog.blue › users › jiaming › 1607617734.gmi captured on 2021-12-04 at 18:04:22. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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)