CaptainLazarusTeams. And stuffTLDR : A few notes on what I think make good teams5 min read·Dec 10, 2023----
CaptainLazarusRevenge of the deadTLDR : I hate windows (OS, not ventilation). It hates me. And it just twisted the knife.4 min read·Jul 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).3 min read·Nov 13, 2022----
CaptainLazarusGetting Agda up and runningTLDR : Agda + VSCode for HoTT summer school.4 min read·Jul 8, 2022----
CaptainLazarusGetting a website up on VultrTLDR : Or any VPS really. Digital Ocean too.3 min read·Jun 8, 2022----
CaptainLazarusLanguages and CountingTLDR : How do different languages count? (Atleast the ones I know)2 min read·May 23, 2022----
CaptainLazarusHistory PrimerTLDR : A (very) brief look at a bunch of events in history2 min read·May 23, 2022----
CaptainLazarusFreecodecamp, Firefox, ReactTLDR : God hates me. Also, don’t use firefox with freecodecamp.2 min read·May 19, 2022----