CaptainLazarusTeams. And stuffTLDR : A few notes on what I think make good teamsDec 10, 2023Dec 10, 2023
CaptainLazarusRevenge of the deadTLDR : I hate windows (OS, not ventilation). It hates me. And it just twisted the knife.Jul 28, 2023Jul 28, 2023
CaptainLazarusA relatively interesting dayNote: This is my personal experience and I arrived 45 minutes late to the event. (Imma blame the traffic and the rain. Is funnier).Nov 13, 2022Nov 13, 2022
CaptainLazarusGetting Agda up and runningTLDR : Agda + VSCode for HoTT summer school.Jul 8, 2022Jul 8, 2022
CaptainLazarusGetting a website up on VultrTLDR : Or any VPS really. Digital Ocean too.Jun 8, 2022Jun 8, 2022
CaptainLazarusLanguages and CountingTLDR : How do different languages count? (Atleast the ones I know)May 23, 2022May 23, 2022
CaptainLazarusHistory PrimerTLDR : A (very) brief look at a bunch of events in historyMay 23, 2022May 23, 2022
CaptainLazarusFreecodecamp, Firefox, ReactTLDR : God hates me. Also, don’t use firefox with freecodecamp.May 19, 2022May 19, 2022